Исключение для шаблона

@Linzman · Регистрация: 31.10.2012

Author24 — интернет-сервис помощи студентам

Здравствуйте ! У меня следующий вопрос : Есть база данных, написан шаблон ввода для нее

C++

template <typename T>
        friend std::ostream& operator<<( std::ostream& os, Array<T>& cont){//
            for(int i=0;i<cont.len();i++){
                    os<<cont.get(i)<<"\t";
                os<<'\n';
            }
        return os;
        };
        template <typename T>
        friend std::istream& operator>>( std::istream& is, Array<T>& cont){
            int m;
            std::cout<<"Insert Array length";
            T a;
            std::cin>>m;
            delete[] cont.data;
            cont.data=new T [m];
            for(int i=0;i<m;i++){
                std::cout<<"Insert"<<i<<"element";
                is>>a;
                cont.set(i,a);
            }
            return is;
        };

Охото сделать исключение для шаблона в случае когда T == char , т.е. когда база имен. Просто имена удобнее вводить не посимвольно а целиком. Заранее спасибо

@gray_fox · 05.05.2013, 13:40

Перегрузка?

C++

1 2	std::ostream& operator<<( std::ostream& os, Array<char> const& cont) { /* ... / } std::istream& operator>>( std::istream& is, Array<char>& cont){ / ... */ }

@Linzman · 05.05.2013, 14:20 **[ТС]**

gray_fox, Пробовал. Тогда почему то ругается при вводе нечарового типа

C++ (Qt)

template <typename T>
        friend std::istream& operator>>( std::istream& is, Array<T>& cont){
            int m;
            std::cout<<"Insert Array length";
            T a;
            std::cin>>m;
            delete[] cont.data;
            cont.data=new T [m];
            for(int i=0;i<m;i++){
                std::cout<<"Insert"<<i<<"element";
                is>>a;
                cont.set(i,a);
            }
            return is;
        };
        friend std::ostream& operator<<( std::ostream& os, Array<char>& cont){//
            for(int i=0;i<cont.len();i++){
                    os<<cont.get(i);
                os<<'\n';
            }
        return os;
        };
        friend std::istream& operator>>( std::istream& is, Array<char>& cont){
            int m;
            std::cout<<"Insert Name length";
            char a;
            std::cin>>m;
            delete[] cont.data;
            cont.data=new char [m];
            for(int i=0;i<m;i++){
                //std::cout<<"Insert"<<i<<"element";
                is>>a;
                cont.set(i,a);
            }
            return is;
        };

error C2995: std::ostream &operator <<(std::ostream &,Array<A> &): шаблон функции уже определен

@gray_fox · 05.05.2013, 14:33

Linzman, прямо в шаблоне класса друзей определяешь? Возможно в этом проблема. Вот синтетический пример:

C++

#include <iostream>
 
 
template<typename>
struct type {
   
   template<typename T>
   friend void f(type<T>);   
};
 
template<typename T>
void f(type<T>) {
   std::cout << "1" << std::endl;
}
 
void f(type<char>) {
   std::cout << "2" << std::endl;
}
 
 
int main() {
   type<int> t1;
   type<char> t2;
   f(t1);
   f(t2);
}

http://ideone.com/8mXE66 .

Jupiter · 05.05.2013, 14:39

gray_fox, эм...специализация шаблона сопровождается пустым template<>

C++

template<typename T>
void f(type<T>) {
   std::cout << "1" << std::endl;
}
 
template<> 
void f(type<char>) {
   std::cout << "2" << std::endl;
}

@gray_fox · 05.05.2013, 14:42

Jupiter, я перегрузку предлагал. Только перегрузку для char надо тоже другом объявить, забыл.

@Linzman · 05.05.2013, 14:43 **[ТС]**

gray_fox,

C++ (Qt)

#pragma once
#include "header.h"
template <typename A> class Array:
    public Container<A>{
    private:
        A* data;
        int length;
    public:
        Array<A>(int n){
        data=new A[n];
        length=n;
        }
        Array<A>(){
            data=new A[0];}
        ~Array<A>(){
        delete[] data;
        }
        void set(int j, A i){
        data[j]=i;
        }
         A get(int j){
        return data[j];
        }
        int len(){
        return length;
        }
        void operator=(Array<A> a){
            delete[] a.data;
            a=Array(length);
            for(int i=0;i<length;i++)
                a.data[i]=data[i];
        }
        Array<A> add(A a,int n){//adds a new A Element to the n position
 
        }
        int find(A a){//returns position and counts of elements inclsions
 
        }
        template <typename T> //Шаблоны работают но если T==char то имена посимвольно вводить неудобно
        friend std::ostream& operator<<( std::ostream& os, Array<T>& cont);
        template <typename T>
        friend std::istream& operator>>( std::istream& is, Array<T>& cont);
        friend std::ostream& operator<<( std::ostream& os, Array<char>& cont);
        friend std::istream& operator>>( std::istream& is, Array<char>& cont);
};
    /*class Group{
    private:
         Array<char>* name;
         Array<char>* last_name;
         int length;
    public:
        void SortByName(){}
        void SortByLastName(){}
        Array<char> GetMember(int n){}
        void SetMember(int n,char* a,char* b){}
        Array<char> ChangeMember(int n,char* a,char* b){}
    }*/
    std::ostream& operator<<( std::ostream& os, Array<char>& cont){//
            for(int i=0;i<cont.len();i++){
                    os<<cont.get(i);
                os<<'\n';
            }
        return os;
        };
    std::istream& operator>>( std::istream& is, Array<char>& cont){
            int m;
            std::cout<<"Insert Name length";
            char a;
            std::cin>>m;
            delete[] cont.data;
            cont.data=new char [m];
            for(int i=0;i<m;i++){
                //std::cout<<"Insert"<<i<<"element";
                is>>a;
                cont.set(i,a);
            }
            return is;
        };
     template <typename T> 
      std::ostream& operator<<( std::ostream& os, Array<T>& cont){//
            for(int i=0;i<cont.len();i++){
                    os<<cont.get(i)<<"\t";
                os<<'\n';
            }
        return os;
        };
     template <typename T>
       std::istream& operator>>( std::istream& is, Array<T>& cont){
            int m;
            std::cout<<"Insert Array length";
            T a;
            std::cin>>m;
            delete[] cont.data;
            cont.data=new T [m];
            for(int i=0;i<m;i++){
                std::cout<<"Insert"<<i<<"element";
                is>>a;
                cont.set(i,a);
            }
            return is;
        };

Теперь компилятор ругается "обнаружен многократно определенный символ - один или более"

@gray_fox · 05.05.2013, 14:57

Linzman, сделать ф-ии с char inline или вынести их реализацию в файл с исходным кодом, если это на стадии компановки.

Добавлено через 7 минут
Вообще, зачем объявлять operator << другом, ведь get и len публичные методы?

Добавлено через 2 минуты
+ перегрузка operator << вроде и не нужна совсем - код идентичный.

@Linzman · 05.05.2013, 16:03 **[ТС]**

gray_fox,
Jupiter, Спасибо. Я сделал все как вы говорили. Теперь все выглядит так

C++ (Qt)

class Blabla{
 public:
template <typename T>
friend std::ostream& operator<<( std::ostream& os, Array<T>& cont)
template <typename T>
        friend std::istream& operator>>( std::istream& is, Array<T>& cont)
                       template <>
        friend std::ostream& operator<<( std::ostream& os, Array<char>& cont);
        template <>
        friend std::istream& operator>>( std::istream& is, Array<char>& cont);
}
template <typename T> 
        std::ostream& operator<<( std::ostream& os, Array<T>& cont){//
            for(int i=0;i<cont.len();i++){
                    os<<cont.get(i)<<"\t";
                os<<'\n';
            }
        return os;
        };
template <typename T>
        std::istream& operator>>( std::istream& is, Array<T>& cont){
            int m;
            std::cout<<"Insert Array length";
            T a;
            std::cin>>m;
            delete[] cont.data;
            cont.data=new T [m];
            for(int i=0;i<m;i++){
                std::cout<<"Insert"<<i<<"element";
                is>>a;
                cont.set(i,a);
            }
            return is;
        };
template <>
        std::ostream& operator<<( std::ostream& os, Array<char>& cont){//
            for(int i=0;i<cont.len();i++){
                    os<<cont.get(i);
                os<<'\n';
            }
        return os;
        };
        template <>
    std::istream& operator>>( std::istream& is, Array<char>& cont){
            int m;
            std::cout<<"Insert Name length";
            char a;
            std::cin>>m;
            delete[] cont.data;
            cont.data=new char [m];
            for(int i=0;i<m;i++){
                //std::cout<<"Insert"<<i<<"element";
                is>>a;
                cont.set(i,a);
            }
            return is;
        };

Студия пишет ошибку "operator <<: определение дружественной функции не может быть специализацией функции шаблон". Жду вашего совета

@gray_fox · 05.05.2013, 16:09

Сообщение от Linzman

C++

class Blabla {
// ...
   template <>
   friend std::ostream& operator<<( std::ostream& os, Array<char>& cont);
   template <>
   friend std::istream& operator>>( std::istream& is, Array<char>& cont);
// ...
};

Это лишнее.

@Linzman · 05.05.2013, 16:24 **[ТС]**

gray_fox,Убрал эти две строки в классе тогда в описании вне класса оператора std::ostream& operator<<( std::ostream& os, Array<char>& cont) компилятор ругается на то что этот оператор не друг

@gray_fox · 05.05.2013, 16:28

Linzman, эмм. Вот я делаю

C++

#include <iostream>
 
 
template<typename>
class type {
   
   void _f() {}
   
   // объявление друга
   template<typename T>
   friend void f(type<T>);   
};
 
// шаблон ф-ии
template<typename T>
void f(type<T> t) {
   t._f();
   std::cout << "1" << std::endl;
}
 
// специализация шаблона ф-ии
template<>
void f(type<char> t) {
   t._f();
   std::cout << "2" << std::endl;
}
 
 
int main() {
   type<int> t1;
   type<char> t2;
   f(t1);
   f(t2);
}

http://ideone.com/qfyRnO
и вроде всё нормально, доступ к закрытым полям объекта есть.

@Linzman · 05.05.2013, 16:40 **[ТС]**

gray_fox, поставил template<> перед перегруженными операторами, теперь мой код полностью идентичен вашему. Студия ругается что "обнаружен многократно определенный символ - один или более"

@gray_fox · 05.05.2013, 16:49

Linzman, сделать специализации inline, или выносить реализацию в исходный файл. С inline

C++

#include <iostream>
 
 
template<typename>
class type {
   
   void _f() {}
   
   // объявление друга
   template<typename T>
   friend void f(type<T>);   
};
 
// шаблон ф-ии
template<typename T>
void f(type<T> t) {
   t._f();
   std::cout << "1" << std::endl;
}
 
// специализация шаблона ф-ии
template<>
inline void f(type<char> t) {
   t._f();
   std::cout << "2" << std::endl;
}
 
 
int main() {
   type<int> t1;
   type<char> t2;
   f(t1);
   f(t2);
}

@Linzman 0 / 0 / 0 Регистрация: 31.10.2012 Сообщений: 48
	05.05.2013, 16:24 [ТС]	11
	gray_fox,Убрал эти две строки в классе тогда в описании вне класса оператора std::ostream& operator<<( std::ostream& os, Array<char>& cont) компилятор ругается на то что этот оператор не друг 0

@gray_fox What a waste! 1608 / 1300 / 180 Регистрация: 21.04.2012 Сообщений: 2,729
	05.05.2013, 14:42	6
	Jupiter, я перегрузку предлагал. Только перегрузку для char надо тоже другом объявить, забыл. 0

@gray_fox What a waste! 1608 / 1300 / 180 Регистрация: 21.04.2012 Сообщений: 2,729
	05.05.2013, 14:57	8
	Linzman, сделать ф-ии с char inline или вынести их реализацию в файл с исходным кодом, если это на стадии компановки. Добавлено через 7 минут Вообще, зачем объявлять operator << другом, ведь get и len публичные методы? Добавлено через 2 минуты + перегрузка operator << вроде и не нужна совсем - код идентичный. 0

@Linzman 0 / 0 / 0 Регистрация: 31.10.2012 Сообщений: 48
	05.05.2013, 16:40 [ТС]	13
	gray_fox, поставил template<> перед перегруженными операторами, теперь мой код полностью идентичен вашему. Студия ругается что "обнаружен многократно определенный символ - один или более" 0