如何分离类模板的友元函数模板的声明与定义？

你的问题核心是类内友元声明和全局函数模板的绑定不匹配，导致编译器无法关联声明与定义。以下是两种可行的解决方式：

方案一：绑定全局四参数模板（支持声明定义分离） #

这种方式可以将dot的定义放在.cpp文件中，但需要显式实例化所有用到的模板参数组合。

头文件（FixedMatrix.h） #

// 前置声明类模板
template<typename T, std::size_t N, std::size_t M>
class FixedMatrix;

// 前置声明全局友元函数模板
template<typename T, std::size_t N, std::size_t M, std::size_t P>
auto dot(const FixedMatrix<T, N, M>& matrix1, const FixedMatrix<T, M, P>& matrix2) -> FixedMatrix<T, N, P>;

template<typename T, std::size_t N, std::size_t M>
class FixedMatrix {
    // 类成员定义...

    // 友元声明：明确绑定到全局的四参数dot模板
    template<typename U, std::size_t NN, std::size_t MM, std::size_t PP>
    friend auto dot(const FixedMatrix<U, NN, MM>&, const FixedMatrix<U, MM, PP>&) -> FixedMatrix<U, NN, PP>;
};

实现文件（FixedMatrix.cpp） #

#include "FixedMatrix.h"

// 全局dot函数的定义
template<typename T, std::size_t N, std::size_t M, std::size_t P>
auto dot(const FixedMatrix<T, N, M>& matrix1, const FixedMatrix<T, M, P>& matrix2) -> FixedMatrix<T, N, P> {
    // 矩阵点乘实现逻辑...
}

// 显式实例化所有需要用到的dot版本
// 示例：实例化std::complex<double>类型、2x2与2x3矩阵的点乘
template auto dot(const FixedMatrix<std::complex<double>, 2, 2>&, const FixedMatrix<std::complex<double>, 2, 3>&) -> FixedMatrix<std::complex<double>, 2, 3>;
// 根据业务需求添加其他实例化组合

方案二：类内声明专属友元模板（仅支持定义放头文件） #

如果不需要分离声明与定义，可以让每个FixedMatrix<T,N,M>实例仅和对应T,N,M的dot<T,N,M,P>模板成为友元，这种方式无需前置声明全局模板，但定义必须放在头文件中。

头文件（FixedMatrix.h） #

template<typename T, std::size_t N, std::size_t M>
class FixedMatrix {
    // 类成员定义...

    // 为当前T,N,M声明所有P的dot为友元
    template<std::size_t P>
    friend auto dot(const FixedMatrix<T, N, M>& matrix1, const FixedMatrix<T, M, P>& matrix2) -> FixedMatrix<T, N, P>;
};

// 必须将dot的定义放在头文件中，编译器才能按需生成代码
template<typename T, std::size_t N, std::size_t M, std::size_t P>
auto dot(const FixedMatrix<T, N, M>& matrix1, const FixedMatrix<T, M, P>& matrix2) -> FixedMatrix<T, N, P> {
    // 矩阵点乘实现逻辑...
}

为什么你的原有写法出错？ #

1. 最初的类内友元声明template<std::size_t P> friend auto dot(...)是为每个FixedMatrix<T,N,M>实例创建了一套独立的单参数模板，和全局的四参数dot模板并非同一实体，因此编译器无法找到对应的定义。
2. 添加dot<>的写法错误：C++不允许在友元声明中使用模板id进行部分特化，这种语法本身不符合标准。

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