如何在类模板之外定义重载运算符？ [复制]

Question

我想在我的模板类中重载

using namespace std;

template <class T> class Child {

    public:
        
    friend ostream &operator << (ostream &Output, const Child &Object);

};

// What can I change to make my code work?
ostream &operator << (ostream &Output, const Child <T> &Object) {

}

如您所见，我不知道正确的语法是什么，这样我的代码才能正常运行。我的 C++ 书没有这么深入。这真的让我很沮丧，所以我会很感激任何帮助。谢谢你:)

Answer 1

如果您要让它接受模板类型 (const Child<T> &Object)，它必须是函数模板。所以试试：

template <class T>
std::ostream &operator << (std::ostream &Output, const Child<T> &Object)
{ ... }

这应该会让你走得更远。

Answer 2

最干净的方法是：

template <class T>
class Child {
   void print(std::ostream& os)const;
public:       
  friend std::ostream &operator << (std::ostream &Output, const Child &Object){
    Object.print(Output);
    return Output;
  }
};
// implement Child<T>::print here

朋友运算符中的“胶水”内联的最小量，转发到带有肉的传统方法。

这使得语法对读者来说显而易见，而且我发现模板的非模板朋友比其他替代方案更理智（例如模板类型的模板朋友）。

Answer 3

首先，由于类模板通常需要在标头中定义（以便从多个源文件中有效地使用它们）删除using namespace std 并将ostream 引用为std::ostream。快速搜索会发现很多解释为什么最好在头文件中避免使用 using 指令（如 using namespace std）。

这意味着将类定义更改为

template <class T> class Child
{

    public:
    
    friend std::ostream &operator << (std::ostream &Output, const Child &Object);

};

函数的定义（在类定义之外）可以更改为

template<class T> std::ostream &operator << (std::ostream &Output, const Child <T> &Object)
{
      // presumably operations that stream members of Object to Output in some way

      return Output;
}