Question

我编写了一个模板链接列表（在.h文件中），我收到链接错误。

template <typename T>
class LinkedList
{
private:
    Node<T>* head;
    Node<T>* tail;
    int size;

public:
    LinkedList();
    ~LinkedList();
    inline T* Front() {return &(this->head);};
    inline const T* Front() const {return (const T*)this->head;};
    void InsertFirst(const T&);
    void InsertLast(const T&);
    void RemoveFirst();
    void RemoveLast ();
    void RemoveItem (const T&);
    void Sort();
    void Clear();
    inline bool Exists(const T&) const;
    bool Empty() const {return this->size==0 ? true : false;};
    inline int Size() const {return this->size;};
    T* At(const int index);
    const T* At(int index) const; 
    friend ostream& operator << (ostream& out, const LinkedList<T>& that);
    T* operator[](const int);
    const T* operator[](const int) const;   
};
.
.
.

template <typename T>
ostream& operator << (ostream& out, const LinkedList<T>& that)
{
    if (!that.Empty())
        for(Node<T>* seeker=that.head; seeker; seeker=seeker->next)
            out<<seeker->info<<endl;
    return out;
}

由于某种原因，当我在类中的friend函数的声明中写入时，链接错误消失了：

template <typename T> friend ostream& operator << (ostream& out, const LinkedList<T>& that);

Answer 1

这就是事情：你声明的朋友不是模板，所以你的＆lt;＆lt;＆lt;＆lt;＆lt;＆lt;＆lt;＆lt;模板不是您声明的朋友。

如果您宣布这样的朋友

template <typename U> //or T, doesn't matter
friend ostream& operator << (ostream& out, const LinkedList<U>& that);

然后operator << <int>将成为LinkedList<float>的朋友。如果这是不可取的，那就有这个解决方案：

friend ostream& operator <<<T> (ostream& out, const LinkedList<T>& that);

在这种情况下，只有模板的特定实例化才是您的朋友，这可能就是您所需要的。

This article详细解释了该主题

Answer 2

因为类外的operator<<的定义实际上是一个函数模板，而类中的友元声明不是函数模板。

friend声明是一个非模板函数，其参数相对于类模板是固定的。

例如，如果使用int实例化类模板，则friend会变为：

friend ostream& operator << (ostream& out, const LinkedList<int>& that);

告诉编译器“我是这个类的朋友，我也是一个非模板函数，你会在课堂外找到我的定义，完全具有相同的签名。”。您可以看到参数已修复。

但是当你做这样的事情时：

template <typename U>
friend ostream& operator << (ostream& out, const LinkedList<U>& that);

它对编译器有意义，因为它与类外的operator<<的定义一致，它也是一个函数模板。但是有一个问题：它使函数模板的每个特化都成为类的朋友;表示在U=float时，operator<<也可以访问LinkedList<int>的私有成员，此时它应该只能访问LinkedList<float>的私有成员。所以你看，这就是问题所在。

更好的解决方案是：不要将其作为功能模板，并在类本身内定义朋友。

template<typename T>
class LinkedList
{
  public:


  friend ostream& operator << (ostream& out, const LinkedList<T>& that)
  {
      //definition 
  }
};

在模板链表中使用友元函数时链接错误

2 个答案: