类模板中友元函数链接错误：添加模板声明为何生效？

原代码链接错误的原因 #

你在模板类testClass里声明的operator<<友元，本质是针对特定类实例的非模板函数。比如当你实例化testClass<int,3>时，编译器会自动生成一个非模板的友元函数声明：std::ostream& operator<<(std::ostream&, const testClass<int,3>&)，但你后续定义的是一个模板版本的operator<<——这两个不是同一个函数。链接阶段需要找那个非模板函数的定义，但根本没实现它，自然就报链接错误。

添加模板声明的生效逻辑 #

在友元声明前加上template <typename type, int size>，相当于告诉编译器：这个友元是一个函数模板，而不是针对当前类实例的非模板函数。这样当你实例化testClass<int,3>时，编译器会把这个友元声明和你后面定义的函数模板关联起来，生成对应的函数模板实例operator<<<int,3>，链接时就能找到匹配的定义，错误也就解决了。

另外补充一个细节：你原代码里的operator<<模板定义缺少返回值，这会导致未定义行为，记得补上return stream;。

修正后的核心代码片段：

template <typename type, int size>
class testClass
{
    // 声明友元为模板函数
    template <typename T, int S>
    friend std::ostream& operator<< (std::ostream &stream, const testClass<T,S>& test);
    // ... 其他原有代码
};

template<typename type, int size>
std::ostream& operator<< (std::ostream &stream, const testClass<type, size>& test)
{
    for (int i = 0; i < size; i++) {
        stream << test.num[i];
    }
    return stream; // 补上返回值
}

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