重载<<和>>作为模板类的外部成员函数[重复]

Question

我正在尝试像这样在类外定义我的运算符重载：

template <typename Type>
class myClass
{
    ...
    friend std::ostream& operator << (std::ostream&, const myClass&);
    friend std::istream& operator >> (std::istream&, myClass&);
    ...
}

template <typename Type>
std::ostream& myClass<Type> :: operator << (std::ostream& out, const myClass<Type>& other) { ... }

template <typename Type>
std::istream& myClass<Type> :: operator >> (std::istream& in, myClass<Type>& other) { ... }

我的问题是我收到一条错误消息，说“类模板 class 没有成员 operator”，我不明白这是如何发生的或为什么会发生.

Answer 1

对于初学者来说，友元函数不是它们被贴花的类的成员函数。

所以这些声明无论如何都是不正确的。

template <typename Type>
std::ostream& myClass<Type> :: operator << (std::ostream& out, const myClass<Type>& other) { ... }

template <typename Type>
std::istream& myClass<Type> :: operator >> (std::istream& in, myClass<Type>& other) { ... } 

其次，在类定义中，您声明了非模板友元函数。

您需要在类定义中提供它们的定义。或者对于类的每个潜在模板参数，您必须在类之外定义友元函数。

这是一个演示程序，展示了如何在类模板定义中定义一个非模板友元函数。

#include <iostream>

template <typename T>
class A
{
private:
    T t;

public:
    A( const T &t ) : t( t ) {}

    friend std::ostream &operator <<( std::ostream &os, const A &a )
    {
        return os << a.t;
    }
};


int main()
{
    std::cout << A<int>( 10 ) << '\n';
    std::cout << A<const char *>( "Hello" ) << '\n';
}

程序输出是

10
Hello

这里有一个演示程序，展示了如何在类模板定义之外定义友元函数。也就是说，对于每个使用的类模板特化，您需要定义非模板友元函数。

#include <iostream>

template <typename T>
class A
{
private:
    T t;

public:
    A( const T &t ) : t( t ) {}

    friend std::ostream &operator <<( std::ostream &os, const A &a );
};


std::ostream &operator <<( std::ostream &os, const A<int> &a )
{
    return os << a.t;
}

std::ostream &operator <<( std::ostream &os, const A<const char *> &a )
{
    return os << a.t;
}

int main()
{
    std::cout << A<int>( 10 ) << '\n';
    std::cout << A<const char *>( "Hello" ) << '\n';
}

另一种方法是声明模板友元函数。例如

#include <iostream>

template <typename T>
class A
{
private:
    T t;

public:
    A( const T &t ) : t( t ) {}

    template <typename T>
    friend std::ostream &operator <<( std::ostream &os, const A<T> &a );
};

template <typename T>
std::ostream &operator <<( std::ostream &os, const A<T> &a )
{
    return os << a.t;
}

int main()
{
    std::cout << A<int>( 10 ) << '\n';
    std::cout << A<const char *>( "Hello" ) << '\n';
}