模板类声明为友元引发编译错误的技术问题咨询

问题本质 #

你的代码存在两个核心问题：

• 当在A<T>里写friend class B;时，编译器会默认把B当成非模板类，但后面你又定义了模板类B<T>，这就造成了命名冲突，触发C2989错误。
• 改成friend class B<T>;时，由于模板B还没被前置声明，编译器根本不知道B是模板，会把<当成语法错误，后续声明模板B时，又会和之前被误判的非模板B冲突，引发连锁报错。

修复方案 #

根据你想要的友元范围，有两种修复方式：

1. 让A<T>成为所有B<U>（任意类型参数U）的友元 #

先前置声明模板B，然后在A的友元声明里明确B是模板：

// 前置声明模板类B，告诉编译器B是个模板
template <typename T>
class B;

template <typename T>
class A {
public:
    // 声明所有B<U>实例都是A<T>的友元
    template <typename U>
    friend class B;
};

template <typename T>
class B {};

int main() {
    A<int> a;
    B<int> b;
    return 0;
}

2. 让A<T>仅成为同类型参数的B<T>的友元 #

同样需要前置声明B，然后直接指定B<T>为友元：

// 前置声明模板类B
template <typename T>
class B;

template <typename T>
class A {
public:
    // 只让同参数的B<T>成为友元
    friend class B<T>;
};

template <typename T>
class B {};

int main() {
    A<int> a;
    B<int> b;
    return 0;
}

为什么之前的修改没用？ #

你直接写friend class B<T>;时，没有提前告诉编译器B是模板类，编译器在解析A的定义阶段，会把B当成普通类，<>就成了非法语法；等后面你声明模板B时，编译器又会认为之前已经有一个非模板的B存在，所以抛出“已被声明为非模板”的错误。

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