c++ - 为什么我不能成为模板参数的 friend ？

Question

在研究问题的答案时(基于 this answer )我尝试执行以下操作:

template <class T>
class friendly {
    friend class T;
};

friendly<string> howdy;

编译失败，出现以下错误:

error: template parameter "T" may not be used in an elaborated type specifier friend class T;

据我从我的好 friend 谷歌那里了解到，这是为了我不会不小心尝试实例化 friendly<int>但是为什么编译模板时会出现错误呢？用无效类型实例化模板时不应该出错吗(比如我写了 int f() { return T::foo(); } )

Answer 1

标准的第 7.1.5.3 节明确将此描述为格式不正确的详细类型说明符的示例。

可以找到有关该主题的讨论 here .