ostream << 带有模板类的运算符，不能访问私有成员

Question

我按照我在stackoverflow上找到的说明来实现链表模板类，我做了如下：

template<typename T> class List;
template<typename T> std::ostream& operator<<(std::ostream&, const List<T>&);

template<typename T>
class List {
private:
    struct Item {
        T value;
        Item *next;
        Item *prev;

        Item(const T &value, Item *next, Item *prev)
                : value(value), next(next), prev(prev) {
        }
    };

    Item *head;
    Item *tail;
    int size;
public:
    List();    
    ~List();    
    List(const List&) = delete;    
    List& operator=(const List &) = delete;    
    friend std::ostream& operator<< <>(std::ostream&, const List<T>&);
};

template <typename T>
std::ostream& operator<<(std::ostream& os, const List<T>& list) {
    Item* p = list.head;
    while (p != NULL) {
        os << p->value << " ";
        p = p->next;
    }
    return os;
}

但是我得到一个错误

error: 'Item' was not declared in this scope

我不知道它是如何加好友的，所以我应该可以访问所有私人成员，对吧？

Answer 1

Item 是 List 的每个类模板特化的成员，无法在 全局函数（模板）operator<< 中找到。您需要typename List<T>::Item 才能在List<T> 类中查找名称Item。

template <typename T>
std::ostream& operator<<(std::ostream& os, const List<T>& list) {
    typename List<T>::Item* p = list.head; // <- here
    while (p != NULL) {
        os << p->value << " ";
        p = p->next;
    }
    return os;
}