C++类模板特化时友元函数未被识别的原因排查

问题本质 #

你在类模板中声明的友元f，和后续特化的模板函数f是完全独立的两个实体：

• 类模板内的friend void f(const myClass& c);声明的是非模板函数。每实例化一个myClass<N>（比如myClass<1>），编译器会为该类生成专属的非模板友元函数f，它只对这个特定的myClass<N>实例有访问权限。
• 你后续定义的template<int N> void f(...)是一个独立的函数模板，它和类里的非模板友元f没有关联。对应的特化版本f<1>自然也不是myClass<1>的友元，因此无法访问protected成员a。

解决方法 #

方法一：将函数模板的特定实例声明为友元 #

先提前声明类模板和函数模板，再在类中明确指定函数模板的对应实例为友元：

// 提前声明类模板与函数模板
template<int N> class myClass;
template<int N> void f(const myClass<N>& c);

template<int N> class myClass{
public:
    // 绑定函数模板的N号实例为当前myClass<N>的友元
    friend void f<N>(const myClass<N>& c);
protected:
    int a;
};

// 函数模板通用实现
template<int N> void f(const myClass<N>& c){
    std::cout << c.a;
};

// 特化版本
template<> void f<1>(const myClass<1>& c){
    std::cout << c.a;
};

方法二：将整个函数模板声明为友元 #

如果需要函数模板的所有实例都能访问类模板的protected成员，可以直接把整个函数模板声明为友元：

template<int N> class myClass;
template<int N> void f(const myClass<N>& c);

template<int N> class myClass{
public:
    // 让整个函数模板成为友元
    template<int M> friend void f(const myClass<M>& c);
protected:
    int a;
};

// 函数模板通用实现
template<int N> void f(const myClass<N>& c){
    std::cout << c.a;
};

// 特化版本
template<> void f<1>(const myClass<1>& c){
    std::cout << c.a;
};

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