C++：访问模板参数不同的模板结构体的protected成员

你遇到的核心问题是：不同尺寸的Matrix模板实例是完全不同的类类型，比如Matrix<T, r, c>和Matrix<T, r, c2>不属于同一个类，因此默认情况下无法互相访问对方的protected成员。你之前的友元声明因为签名不匹配导致报错，下面给出两种可行的解决方案：

方案1：让所有Matrix模板实例互相成为友元（最简单直接） #

在Matrix结构体内部添加一个友元声明，允许任意模板参数的Matrix实例访问当前类的protected/private成员。这种方式非常适合矩阵类的场景，因为矩阵之间的操作（比如乘法、转置等）经常需要互相访问内部数据。

修改后的完整代码：

#include <cstddef>

template<typename T, std::size_t r, std::size_t c>
struct Matrix {
    // 声明所有Matrix模板实例为友元
    template<typename U, std::size_t R, std::size_t C>
    friend struct Matrix;

    template<std::size_t c2>
    Matrix<T, r, c2> operator*(const Matrix<T, c, c2>& rhs);

protected:
    int test;
};

template<typename T, std::size_t r, std::size_t c>
template<std::size_t c2>
Matrix<T, r, c2> Matrix<T, r, c>::operator*(const Matrix<T, c, c2>& rhs) {
    Matrix<T, r, c2> retMat;
    retMat.test; // 现在可以正常访问protected成员
    return retMat;
}

这样修改后，Matrix<T, r, c>的operator*就能毫无障碍地访问Matrix<T, r, c2>的test成员了。

方案2：精确声明operator*为友元（更严格的权限控制） #

如果你不想让所有Matrix实例都成为友元，只想让operator*成员函数拥有访问权限，需要修正之前错误的友元声明。你之前的声明签名和实际operator*的签名不匹配，导致编译器报错C2245。

正确的友元声明需要匹配operator*的模板参数和返回类型，步骤如下：

1. 先提前声明Matrix模板；
2. 在Matrix内部声明正确的友元模板。

完整代码示例：

#include <cstddef>

// 提前声明Matrix模板
template<typename T, std::size_t r, std::size_t c>
struct Matrix;

// 提前声明operator*成员函数模板
template<typename T, std::size_t r, std::size_t c, std::size_t c2>
Matrix<T, r, c2> operator*(const Matrix<T, r, c>& lhs, const Matrix<T, c, c2>& rhs);

template<typename T, std::size_t r, std::size_t c>
struct Matrix {
    template<std::size_t c2>
    Matrix<T, r, c2> operator*(const Matrix<T, c, c2>& rhs);

protected:
    int test;

    // 精确声明operator*为友元
    template<typename U, std::size_t R, std::size_t C, std::size_t C2>
    friend Matrix<U, R, C2> Matrix<U, R, C>::operator*(const Matrix<U, C, C2>& rhs);
};

template<typename T, std::size_t r, std::size_t c>
template<std::size_t c2>
Matrix<T, r, c2> Matrix<T, r, c>::operator*(const Matrix<T, c, c2>& rhs) {
    Matrix<T, r, c2> retMat;
    retMat.test; // 可以正常访问
    return retMat;
}

这种方式严格限制了友元的范围，但代码相对繁琐，不如方案1简洁。

为什么你之前的友元声明会报错？ #

你之前的友元声明：

template<std::size_t c2>
friend Matrix<T, r, c> Matrix<T, r, c2>::operator*(const Matrix<T, c2, c>& rhs);

存在两个关键问题：

• 返回类型错误：实际operator*的返回类型是Matrix<T, r, c2>，但你声明的是Matrix<T, r, c>；
• 参数顺序错误：右操作数的模板参数应该是c和c2（对应左操作数的列数和结果的列数），但你写反了。

这两个错误导致编译器找不到匹配的成员函数，因此抛出C2245错误。

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