C++如何正确重载运算符实现double与自定义Matrix类的左值加法

报错原因 #

你尝试的Matrix double::operator+(const Matrix& B);写法本身不符合C语法规则：*C不允许为double、int这类内置基本类型添加成员函数，也不能重载它们的成员运算符*，因此编译直接抛出类型声明冲突的错误。

正确实现方案 #

要支持1. + A这类标量在左的运算，需要定义全局非成员运算符重载函数，由于加法满足交换律，你可以直接复用已经实现完成的Matrix::operator+(const double c)成员函数，不需要重复写计算逻辑。

步骤1：在Matrix类中添加友元声明 #

由于全局运算符函数需要访问Matrix类的私有成员（行数m、列数n）和保护成员（元素数组data），需要在类的public块中将该函数声明为友元：

class Matrix {
    // 原有类定义保持不变
public:
    // 原有public成员声明保持不变
    // 新增全局加法运算符友元声明
    friend Matrix operator+(const double c, const Matrix& B);
};

步骤2：实现全局运算符函数 #

在Matrix.cc实现文件中添加如下代码：

Matrix operator+(const double c, const Matrix& B) {
    // 加法交换律，直接调用已有的矩阵加标量成员运算符即可
    return B + c;
}

扩展补充 #

如果你还需要支持标量左置的减法、乘法运算，也可以用相同的思路实现：

• 乘法满足交换律，可以直接复用成员运算符：

// 类内添加友元声明
friend Matrix operator*(const double c, const Matrix& B);
// 类外实现
Matrix operator*(const double c, const Matrix& B) {
    return B * c;
}

• 减法不满足交换律，需要单独实现逻辑：

// 类内添加友元声明
friend Matrix operator-(const double c, const Matrix& B);
// 类外实现
Matrix operator-(const double c, const Matrix& B) {
    Matrix res(B.m, B.n);
    for (int i = 0; i < B.m; i++) {
        for (int j = 0; j < B.n; j++) {
            res(i, j) = c - B(i, j);
        }
    }
    return res;
}

小优化建议：你现有的成员运算符如Matrix operator + (const double c)建议添加const修饰，改为Matrix operator + (const double c) const，保证运算过程不会修改原矩阵，同时const修饰的Matrix对象也可以正常调用这些运算符。

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