友元模板重载运算符

Question

我对这个错误有意见

错误LNK2019未解析的外部符号"类std::basic_ostream

现在，< code>post所做的就是调用< code >操作符

宣言

namespace rob {     

template < typename T> class Stack {
    friend std::ostream& operator<< (std::ostream& os, const Stack<T>& a);
    void print(std::ostream& os, char ofc = ' ') const;
private:
    std::vector<T> arr;
};

定义

template < typename T>
inline std::ostream & rob::operator<<(std::ostream & os, const Stack<T>& a)                {     
    return a.print(os, ' ');
}
template<typename T>
inline void rob::Stack<T>::print(std::ostream & os, char c) const
{
    for (int i = 0; i != arr.size(); i++)
    {
        os << c << arr[i];
    }
    os << '\n';
}

它们分别位于. h文件和. hpp中，我要求运算符不是成员函数（用于赋值）。

Answer 1

除了@LibertyPaul的答案之外，您还需要添加模板

namespace rob {

   template <typename T> class Stack {
        friend std::ostream& operator<< (std::ostream& os, const Stack<T>& a) {
              return a.arr.print(os, ' ');
        }
   };

}

Answer 2

您还应该在它实际所属的Rob命名空间中声明函数签名：

namespace rob {
template <typename T>
class Stack {
    friend std::ostream& operator<< (std::ostream& os, const Stack<T>& a);
};

template < typename T>
std::ostream& operator<< (std::ostream& os, const Stack<T>& a){
    ...
}

Answer 3

代码示例的问题;

template <typename T>
class Stack {
    friend std::ostream& operator<< (std::ostream& os, const Stack<T>& a);
    void print(std::ostream& os, char ofc = ' ') const;
    // ...
};

那是< code >运算符吗

std::ostream& operator<< (std::ostream& os, const Stack<int>& a) {/*...*/}

由于它没有实现，链接器无法找到它并导致您得到的错误。

作为旁注；gcc对此发出如下警告

< code >警告:友元声明' std::ostream

注意：（如果这不是您的意图，请确保函数模板已经声明并添加

这可能不是预期的，每个实例都有自己的实现。

要纠正这一点，您可以在＜code＞堆栈＜/code＞类型之前声明模板运算符，然后将其声明为友元，即实例化。语法看起来有点笨拙，但实际上如下所示；

// forward declare the Stack
template <typename>
class Stack;

// forward declare the operator <<
template <typename T>
std::ostream& operator<<(std::ostream&, const Stack<T>&);

template <typename T>
class Stack {
    friend std::ostream& operator<< <>(std::ostream& os, const Stack<T>& a);
    // note the required <>        ^^^^
    void print(std::ostream& os, char ofc = ' ') const;
    // ...
};

template <typename T>
std::ostream& operator<<(std::ostream&, const Stack<T>&)
{
  // ... implement the operator
}

上述代码将运算符的友谊限制为堆栈的相应实例化，即运算符

备选方案包括允许友谊扩展到模板的所有实例；

template <typename T>
class Stack {
    template <typename T1>
    friend std::ostream& operator<<(std::ostream& os, const Stack<T1>& a);
    // ...
};

< code >运算符的实现