私有结构体的公有方法为何可访问？C++代码编译疑问

这段代码能编译运行的核心原因是C++的模板机制和类型可见性规则共同作用，绕过了对私有类型的直接访问限制，具体拆解成几个关键点：

• 私有类型通过public别名“泄露”了类型信息
  Foo类里的SecretStruct是private成员，但Foo公开了TBar = Bar<SecretStruct>这个类型别名。虽然外部不能直接写lib::Foo::SecretStruct，但可以合法使用lib::Foo::TBar——这个别名对应的Bar<SecretStruct>类型是公开可见的，其中包含了SecretStruct作为模板参数的信息。

• 模板特化可以提取模板参数的类型，不受原类型访问权限限制
  自定义的GetSecretImpl模板特化版本，专门处理lib::Bar<T>类型，通过继承std::type_identity<T>来提取出模板参数T。当外部实例化GetSecretImpl<lib::Foo::TBar>时，编译器会自动推导出T就是SecretStruct，这个推导过程不需要访问Foo的private部分——因为TBar本身是公开的，模板参数的类型信息已经包含在这个公开类型里了。

• 公有成员的访问只要求能拿到类型名
  一旦通过GetSecretImpl拿到了SecretT（也就是SecretStruct的类型别名），由于SecretFunc是SecretStruct的public静态方法，根据C++规则：只要你能合法获取到一个类型的名字，就可以访问它的所有公有成员。这里的类型是通过间接方式拿到的，但访问公有成员的权限不受影响。

简单来说，代码没有直接访问Foo的私有类型，而是通过公开的模板类型别名，借助模板特化提取出了私有类型，再调用其公有方法——这完全符合C++的语法规则。

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