为什么C++存在显式实例化忽略成员访问限定符的规则？

C++标准规定，显式实例化定义在处理模板实参时，会忽略类成员的访问限定符，允许将私有类型或私有成员作为模板实参使用。这一规则的设计初衷并非为了破坏封装，而是为了给模板库的实现提供灵活性：比如某些模板需要访问类的内部细节，但类的设计者希望通过显式实例化主动控制模板的实例化时机和可见范围，而非完全禁止这类场景。

但这一规则确实可以被用来在合法语法范围内突破类的封装，以下是两种典型实现：

C++11 实现 #

#include <iostream>

class A {
 public:
  A() = default;
 private:
  int data_ = 0;
};

template < int A::*Member >
class Access {
 public:
   friend int GetPrivateData(A& obj) {
     return obj.*Member;
  }
};

template class Access<&A::data_>; // 显式实例化

int GetPrivateData(A& );


int main() {
  A obj;
  GetPrivateData(obj);

  return 0;
}

该实现借助显式实例化的访问规则，将私有成员指针&A::data_作为模板实参传入Access类，再通过友元函数GetPrivateData间接获取私有成员的值。这种写法在早期C++标准中存在争议，可视为利用链接阶段的符号解析漏洞。

C++17 实现 #

class A {
 public:
  A(int num) : data_(num) {};
 private:
  int data_ = 0;
};

template <typename PtrType>
class Access {
 public:
 inline static PtrType ptr;
};

template <auto T>
struct PtrTaker {
    struct Transferer {
        Transferer() {
            Access<decltype(T)>::ptr = T;
        }
    };
    inline static Transferer tr;
};

template class PtrTaker<&A::data_>; // 显式实例化

int main() {
  A a{10};

  int b = a.*Access<int A::*>::ptr;
  
  return 0;
}

C++17引入auto模板参数后，这种写法完全符合标准。显式实例化PtrTaker<&A::data_>时，编译器允许访问私有成员指针作为模板实参；随后通过静态成员Transferer的初始化，将该指针传递到公共可见的Access类中，从而合法获取私有成员的访问权。

这类封装突破手段的检测难度很高：由于项目中存在大量用于控制代码生成、减少编译时间的正常显式实例化，无法通过简单的关键词搜索来区分合法用法与恶意突破。

内容的提问来源于stack exchange，提问作者余国良