为何C++中显式实例化setptr<&S::i>不违反访问控制？

这问题问得特别精准，咱们先从你的代码入手，再结合C++标准的规则慢慢理清楚：

先回顾你的核心代码 #

首先把你写的工具代码和使用示例整理清楚，方便后续分析：

绕开访问控制的核心模板 #

template<typename T> inline T memptr{};
template<auto Val> struct setptr {
    struct setter {
        setter() { memptr<decltype(Val)> = Val; }
    };
    static setter s;
};
template<auto Val> typename setptr<Val>::setter setptr<Val>::s{};

实际使用示例 #

class S { int i; };
// 重点疑问：这行显式实例化为什么能通过访问检查？
template struct setptr<&S::i>;
auto no_privacy(S& s) { return s.*memptr<int S::*>; }

核心原因：显式实例化的访问控制例外 #

你提到的[class.access]规则确实说“访问控制统一应用于所有名称，无论名称从声明还是表达式引用”，但C++标准在模板显式实例化的规则里，有个关键的特殊处理：

根据C++标准[temp.explicit]章节的规定：

通常的访问检查规则不适用于显式实例化或显式特化声明中的名称，除了模板实参列表中的名称，以及类模板特化/类成员特化的函数体、默认参数等场景中使用的名称。

但这里的关键点在于：当模板实参是一个指向成员的指针表达式时，访问检查的逻辑和普通的名称引用不一样。

指向成员的指针的特殊规则 #

对于非类型模板参数是指向成员的指针的情况，标准[temp.arg.nontype]补充了：

指向成员的指针的访问检查，就像整个指向成员的表达式是在模板实例化的上下文中求值一样。

翻译成大白话就是：当你把&S::i作为模板实参传递时，编译器不会在你写显式实例化的全局作用域检查你是否有权访问S::i——因为显式实例化本身并没有“访问”私有成员的内容，只是传递了一个编译期的指针常量。而[class.access]的规则，本质上是阻止你通过名称去读取/修改成员的内容、调用成员函数等操作，而不是阻止你获取一个指向它的指针。

你想，要是直接在全局作用域写auto p = &S::i;，编译器会报错，因为这是在试图“获取私有成员的地址”；但在显式实例化的模板实参里传递这个指针，编译器认为你只是把一个编译期值传给模板，并没有实际触碰私有成员的内容，所以不触发访问控制检查。

为什么[class.access]规则不覆盖显式实例化？ #

你提到“显式实例化也属于声明”，那为什么规则不覆盖它？

因为[class.access]的核心是“禁止未经授权的成员访问行为”，而显式实例化传递指针的行为，并没有构成“访问成员”——它只是传递了一个地址值。后续你的no_privacy函数用这个指针访问成员，才是真正绕开了访问控制，但编译器无法追踪memptr里的指针来源，所以没法拦截。

总结一下 #

• 你的显式实例化语句template struct setptr<&S::i>;能通过，是因为它只是传递了一个指向私有成员的编译期指针，没有实际访问成员的内容，不触发[class.access]的访问检查；
• [class.access]的规则针对的是“通过名称访问成员的内容/行为”，而非仅仅获取指向成员的指针；
• 你的代码巧妙利用了模板静态成员的初始化时机，把私有成员的指针“偷”到全局变量里，从而实现了访问控制绕过。

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