GCC与Clang允许友元函数访问友元类私有成员是否合规？

首先明确问题场景：类模板A<T>中，通过InvT别名让A<T>与A<T const>互为友元，但在A<T>内部定义的友元operator==里，直接访问了A<InvT>实例的私有成员value——按C++友元规则，该operator==仅属于A<T>的友元，并非A<InvT>的友元，本应无法访问后者的私有成员，但GCC和Clang却允许这段代码通过编译。

核心规则分析 #

根据C++标准中友元访问权限的定义：

• 若类X将类Y声明为友元，仅表示Y的成员函数、成员类等可以访问X的私有/保护成员；反之，若Y也将X声明为友元，X的成员同样能访问Y的私有成员。
• 但类X的友元函数（非X的成员函数）仅能访问X的私有成员，除非该函数同时被其他类声明为友元。

在示例代码中：

• 当实例化A<int>时，InvT为const int，A<int>将A<const int>声明为友元，同时定义了友元函数bool operator==(A<int> const&, A<const int> const&)。
• 该operator==仅为A<int>的友元，并未被A<const int>声明为友元，因此理论上无权访问A<const int>的私有成员value。

编译器行为的判定 #

GCC与Clang允许这段代码通过编译的行为不符合C++标准，属于编译器实现上的错误。这类错误通常源于编译器对模板特化间友元关系的过度推断，误将A<T>的友元函数视为A<InvT>的友元，但严格遵循标准的话，该私有成员访问操作应被编译器拒绝。

内容的提问来源于stack exchange，提问作者bitmask