使用类和 int 参数作为模板的 C++ 重载运算符

Question

我不知道这段代码有什么问题：

template <class T = char, int num = 100> class Stack;
template <class T = char, int num1 = 100, int num2 = 100> Stack<T, num1>& operator+=(Stack<T, num1>& s1, const Stack<T, num2>& s2);
template <class T, int num>
class Stack{
template <T, int num1, int num2 > friend  Stack<T, num1>& operator+=(Stack<T, num1>& s1, const Stack<T, num2>& s2);
public:
   ...
private:
   Entry* first;
   class Entry{
      ...
   }
   void append(const Stack& s){
        if(isEmpty()) first = &s;
        else first->last().next = &s;
   }
   ...
};
template <class T, int num1, int num2>
Stack<T, num1>& operator+=(Stack<T, num1>& s1, const Stack<T, num2>& s2){
    s1.append(Stack<T, num2>(s2));
    ...
};

关键是我已经将班级的友谊设置为运营商，我仍然收到error: 'append' is a private member of 'Stack<char, 100>'所以我做错了什么，有人可以检查一下吗？

Answer 1

这个

template <T, int num1, int num2 > friend  Stack<T, num1>& operator+(Stack<T, num1>& s1, const Stack<T, num2>& s2);

声明一个operator+函数模板，它接受一个T类型的值、一个int类型的值和另一个int类型的值作为模板参数作为你的类模板的朋友。请注意，您声明为朋友的函数模板不是您在Stack 定义之上声明的那个。模板参数列表是不同的。在Stack的定义f之上，声明：

template <class T, int num1, int num2>
//           ^ type parameter
Stack<T, num1>& operator+(Stack<T, num1>& s1, const Stack<T, num2>& s2);

但是在你声明的朋友声明中

template <T, int num1, int num2>
//        ^ non-type parameter
Stack<T, num1>& operator+(Stack<T, num1>& s1, const Stack<T, num2>& s2);

你必须写

template <class U, int num1, int num2> friend Stack<U, num1>& operator+(Stack<U, num1>& s1, const Stack<U, num2>& s2);

让你原来的operator+模板成为类模板Stack的朋友...

除此之外，我建议你停下来考虑一下这样的表达是否真的是个好主意

a + b

隐式修改a。如果您真的必须为此使用运算符，operator+= 可能是表达这些语义的更好方法（就个人而言，我可能只是在这里坚持使用 append 函数）。由于operator+= 必须是非静态成员函数，因此您最初的问题也会消失……