C++模板类友元与模板结合的合法性及相关技术咨询

1. 模板化func的写法合法性与是否为部分特化 #

这种写法符合C++标准，但存在旧编译器的作用域查找兼容性问题，并非部分特化：

• 在A<a,T>内部声明的友元模板func会被引入全局作用域，但C20之前，旧版GCC对这类仅在类内声明的友元模板查找规则处理严格——显式指定模板参数调用时（如func<int>(mya, 1)），编译器无法通过常规查找定位该模板，必须依赖参数依赖查找（ADL）；C20调整了友元声明的可见性规则，才解决了这个问题。
• func是独立的全局函数模板，和A模板没有特化关系。部分特化是针对已有类/函数模板的定制版本，而这里的func是全新定义的模板，不属于任何模板的特化分支。

2. 不同编译器允许跨特化访问私有成员的原因 #

本质是编译器对标准规则的实现细节或兼容性处理差异：

• 单参数func版本：理论上，A<a,T>的友元仅能访问自身的私有成员，A<-a,T>是完全独立的特化类，友元关系不会自动传递。但GCC、Clang等编译器在友元函数定义直接放在类内部时，做了非标准的宽松处理——错误地允许该函数访问同模板的其他特化成员，属于实现层面的扩展或bug。
• Clang对模板化func的允许：Clang对友元模板的访问权限判断更宽松，默认认为模板友元的覆盖范围包含同模板的所有特化，这是编译器实现的差异，并非标准强制要求。

3. 访问A其他特化私有成员的可行方法 #

以下是两种符合标准、兼容性更好的方案：

• 声明所有A特化为友元：在A的类模板中添加template<int, typename> friend class A;，让A的任意特化都能互相访问私有成员。你的模板化func作为某一特化的友元，自然就能访问对应反向特化的成员，这种写法在新版GCC和Clang中都能正常工作。
• 改用类内部静态成员模板：把func定义为A的静态成员模板，作为类成员天然能访问所有A特化的私有成员，同时避免友元的作用域问题：

  template<int a, typename T>
  class A{
  private:
      int B=1;
  public:
      template<typename num>
      static A<-a, T> func(A a_in, num num_in){
          A<-a, T> val;
          val.B = 10;
          return val;
      }
  };
  // 调用示例：auto bbb = A<1,int>::func(mya, 1);
  

• 提前声明友元模板：先在全局作用域声明func模板，再在A内部明确将其声明为友元，解决旧版编译器的查找问题：

  template<int a, typename T> class A;
  
  template<typename num, int a, typename T>
  A<-a, T> func(A<a,T> a_in, num num_in);
  
  template<int a, typename T>
  class A{
  private:
      int B=1;
  public:
      template<typename num, int aa, typename TT>
      friend A<-aa, TT> func(A<aa,TT> a_in, num num_in);
  };
  

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