如何使模板类成为另一模板类的友元？编译报错求解

你的代码编译错误出在Obj2的友元声明语法上，以下是具体分析和修正方案：

原代码与编译错误 #

原代码 #

#include <iostream>
    
template <typename T0, typename T1, typename T2, typename T3>
struct Obj{};
    
template <typename T0, typename T1, typename T2, typename T3>
struct Obj2
{
    template <typename U0, typename U1, typename U2, typename U3> 
    friend Obj<U0, U1, U2, U3>;;
    
    template <typename T> 
    Obj2(Obj<T, T0, T1, T2> const&) {}
};
    
int main() {}

编译错误 #

<source>:10:31: error: expected unqualified-id before ';' token [-Wtemplate-body]
   10 |     friend Obj<U0, U1, U2, U3>;;
      |                               ^
Compiler returned: 1

错误原因 #

C++中声明模板类的特化为友元时，必须明确指定该实体的类型（这里Obj是结构体，需要加上struct关键字），否则编译器无法识别这是一个合法的友元声明。

修正方案 #

有两种合法的方式可以实现你的需求：

方式1：明确指定模板参数的友元声明 #

在friend后添加struct，明确友元是结构体模板的特化：

#include <iostream>

template <typename T0, typename T1, typename T2, typename T3>
struct Obj{};

template <typename T0, typename T1, typename T2, typename T3>
struct Obj2
{
    template <typename U0, typename U1, typename U2, typename U3> 
    friend struct Obj<U0, U1, U2, U3>;

    template <typename T> 
    Obj2(Obj<T, T0, T1, T2> const&) {}
};

int main() {}

方式2：简化的模板友元声明 #

如果要将整个Obj模板的所有特化版本都声明为友元，可以用参数包简化写法：

#include <iostream>

template <typename T0, typename T1, typename T2, typename T3>
struct Obj{};

template <typename T0, typename T1, typename T2, typename T3>
struct Obj2
{
    template<typename...> friend struct Obj;

    template <typename T> 
    Obj2(Obj<T, T0, T1, T2> const&) {}
};

int main() {}

需求可行性 #

你的需求完全可行，修正友元声明的语法后，所有Obj的特化版本都会成为Obj2任意特化版本的友元，能够访问Obj2的私有成员（若存在）。

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