C++别名模板访问类私有成员的合规性疑问：编译器行为差异与标准解读

咱们来看这个涉及C++模板访问控制的有趣问题：当尝试用别名模板获取类私有成员的类型时，不同编译器出现了明显分歧，甚至在间接访问场景下所有编译器又达成了一致拒绝的共识。咱们一步步拆解分析。

首先看核心代码：

class a {
    int d;
    static const int m, n;
};
template<typename T>
using p = decltype(T::d);

const int a::m = sizeof(p<a>); // Clang接受，GCC/MSVC拒绝

template<typename T>
auto q() -> p<T>;

const int a::n = sizeof(q<a>()); // 所有编译器均拒绝

两种场景的编译器表现差异 #

• 直接实例化别名模板：const int a::m = sizeof(p<a>);
  • Clang：编译通过
  • GCC、MSVC：编译失败，提示访问私有成员a::d无权限
• 通过模板函数间接实例化：const int a::n = sizeof(q<a>());
  • 所有编译器均拒绝，提示访问私有成员无权限

编译器错误信息参考 #

GCC错误信息 #

<source>: In substitution of 'template<class T> using p = decltype (T::d)
[with T = a]':
<source>:8:28:   required from here
    8 | const int a::m = sizeof(p<a>);
      |                            ^
<source>:6:20: error: 'int a::d' is private within this context
    6 | using p = decltype(T::d);
      |                    ^
<source>:2:9: note: declared private here
    2 |     int d;
      |         ^

MSVC错误信息 #

<source>(6): error C2248: 'a::d': cannot access private member declared in
class 'a'
<source>(2): note: see declaration of 'a::d'
<source>(1): note: see declaration of 'a'
<source>(6): note: the template instantiation context (the oldest one first) is
<source>(8): note: see reference to alias template instantiation 'p<a>'
being compiled
<source>(8): error C2938: 'p' : Failed to specialize alias template

标准层面的解读 #

要搞清楚这个问题，核心是理解C++模板实例化过程中的访问控制检查时机与上下文：

1. 模板实例化时的访问控制检查，是在模板被实际使用的上下文（也就是代码中写实例化的地方）执行，而非模板定义的上下文。
2. 第一个场景中，const int a::m = sizeof(p<a>);位于全局作用域——虽然是类a的静态成员定义，但该上下文不属于类a的成员作用域，没有权限访问a的私有成员d。GCC和MSVC的拒绝是符合标准的，Clang的接受属于非标准行为。
3. 第二个场景中，sizeof(q<a>())需要实例化模板函数q<a>，其返回类型依赖p<a>的实例化，同样需要访问a::d，全局作用域的上下文无访问权限，因此所有编译器均拒绝，这是符合标准的正确行为。

结论 #

• Clang接受a::m的定义不符合C++标准，GCC和MSVC的行为才是合规的。
• 所有编译器在第二个场景的一致拒绝，验证了模板实例化时的访问控制规则：只有类的成员作用域或友元上下文，才能合法访问私有成员，全局作用域的模板实例化操作不具备该权限。

备注：内容来源于stack exchange，提问作者303