如何在类中声明模板的友元函数并在类外实现该友元函数？

Question

好吧，我正在尝试在我的第一个 C++ 堆栈上实现 copy_and_swap 习惯用法，因为我需要创建一个交换函数，并且这个交换函数需要是一个友元函数，我尝试通过这种方式来实现：

template <class T>
class Stack {
    private:
        int top;
        T* a;
        int MAX;

    public:
        Stack(int MAX);
        Stack(Stack<T>& s);
        bool push(T x);
        bool pop();
        T peek();
        bool isEmpty();
        friend void swap(Stack<T>& f, Stack<T>& s);
        ~Stack();
};

template <class T>
void Stack<T>::swap(Stack<T>& f, Stack<T>& s){
//I will put something where yet.
}

但是，VSCode 对交换功能这么说：类模型“Stack”没有“swap”成员（我翻译成英文，我的 VSCode 用葡萄牙语运行）。

如何在不收到此错误的情况下做到这一点？

Answer 1

你的朋友函数不是模板，所以要在外面定义，你必须为每种类型定义非模板函数（这似乎不切实际）：

void swap(Stack<int>& lhs, Stack<int>& rhs){/*..*/}
void swap(Stack<char>& lhs, Stack<char>& rhs){/*..*/}
void swap(Stack<MyType>& lhs, Stack<MyType>& rhs){/*..*/}

更简单（更好的 IMO）是在类内部定义。

template <class T>
class Stack {
// ...
    friend void swap(Stack& lhs, Stack& rhs) { /*..*/ };
};

另一种方法是制作朋友功能模板：

template <class T> class Stack;
template <class T> void swap(Stack<T>&, Stack<T>&);

template <class T>
class Stack {
// ...
    friend void swap<>(Stack& f, Stack& s); // Only the specialization is friend
};

template <class T>
void swap(Stack<T>& lhs, Stack<T>& rhs){ /**/ }