c++ - 为什么模板类型不能成为 C++ 中的友元类？

Question

template<typename T>
class A
{
    friend class T;
    int n;
};

struct B
{
    B()
    {
        A<B>{}.n; 
        // error : 'n' is a private member of 'A<B>'
    }
};

为什么模板类型不能成为 C++ 中的友元类？

Answer 1

通过使用关键字class，您可以向前声明一个名为T 的新类型；它不引用模板参数 T。 (它实际上隐藏了模板参数 T。)

只需删除关键字class，友元声明就不会转发声明新类型。

template<typename T>
class A
{
    friend T;
    int n;
};

This usage (friend simple-type-specifier; friend typename-specifier;) 从 C++11 开始引入。