C++：在命名空间定义使用私有类型的类成员模板报错如何解决？

问题背景 #

我希望在命名空间作用域中定义C++类的成员模板。该成员类模板及其模板参数所用的类型，均在包含模板声明的类中被声明为私有，但编译器会因模板参数类型为私有而报错。

使用g++（GCC）13.2.0编译temp.cc中的代码：

// 以下类定义通常放在独立头文件中
class A {
public: // 我不想将struct S声明为public
private:
  struct N;
  template<const N* K> struct S; // 我不想在这里定义struct S!
};
// 以下定义放在单独的源文件中
template<const A::N* K> struct A::S {
};

得到编译错误：

g++ temp.cc
temp.cc:9:19: error: ‘struct A::N’ is private within this context
    9 | template<const A::N* K> struct A::S {
      |                   ^
temp.cc:5:10: note: declared private here
    5 |   struct N;
      |          ^

疑问 #

请问是否存在无需将struct N声明为public即可解决编译错误的方法？

注意，在class A的私有作用域内定义struct S可正常编译：

class A {
public:
private:
  struct N;
  template<const N* K> struct S {}; // 无编译错误!
};

因此问题在于：struct A::S在class A作用域内定义时可使用struct N*作为模板参数，但在命名空间作用域定义时则不行，这是为什么？

解决方案 #

无需暴露N为public，可以通过友元声明授权模板定义代码访问私有成员：

class A {
public:
private:
  struct N;
  // 声明成员模板S
  template<const N* K> struct S;
  // 将S的模板定义声明为友元，允许外部定义时访问私有类型N
  template<const N* K> friend struct S;
};

// 现在可在命名空间作用域正常定义A::S
template<const A::N* K> struct A::S {
};

行为差异的原因 #

这并非编译器行为不一致，而是C++访问控制规则的正常逻辑：

• 在A的内部作用域定义S时，代码本身属于A的成员范畴，天然拥有访问A所有私有成员的权限，因此可以直接使用N作为模板参数。
• 在命名空间作用域定义A::S时，定义代码处于A的外部，模板参数列表中的A::N属于对私有成员的直接外部引用，编译器会严格检查访问权限，若无显式授权（如友元）则报错。

简单来说，类内部代码默认拥有全权限，而外部代码（即使是类成员的定义）需要明确的权限许可才能访问私有成员。

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