C++ operator overloading：matrix类+运算符直接输出加法结果失败

• 你当前重载的<<运算符形参为非const左值引用，函数要求传入的参数是拥有持久身份、可修改的左值对象，C++标准规则中，这类引用不允许绑定临时生成的右值对象。
• A+B的返回值是没有具名的临时右值矩阵：这个对象由operator+在函数内部创建，表达式执行完成后就会被立即销毁，因此编译器会直接判定传入operator<<的类型不匹配，抛出编译错误，根本不会进入输出逻辑。
• 拆分赋值再输出的流程能正常运行，本质是临时右值的内容被复制到了具名的左值变量C上，传入输出函数的是完全符合形参要求的左值对象，这个过程和加法逻辑本身的正确性没有关联。

要支持直接输出矩阵加法的临时结果，需要按照C++的引用绑定规则调整代码，让输出函数可以合法接收临时对象，同时保持语义上的const正确性：

• 修改<<运算符的形参属性：把类中的友元声明、函数实现里的矩阵形参从matrix &M调整为const matrix &M。const修饰的左值引用支持绑定到右值，且输出操作本身不需要修改矩阵内容，这个调整完全匹配输出函数的定位。
• 为element()成员函数补充const重载：const修饰的矩阵对象只能调用同样带const属性的成员函数，原有的非const版本element()会因为可能修改对象状态被编译器拦截。因此需要新增一个const版本的element()函数，返回const double&，专门支持const矩阵、临时右值矩阵的元素读取场景。
• （规范优化）调整operator+的参数配置：把加法运算符的形参也改为const matrix &M，同时给成员函数本身加上const修饰（加法操作不会修改当前矩阵的内容），避免后续传入临时对象做加法时出现同类的绑定错误。

关键修改后的代码片段如下：

class matrix {
    // 调整友元声明，增加const修饰
    friend std::ostream & operator<<(std::ostream &os, const matrix &M);
private:
    int rows{}, columns{};
    double *array {nullptr};
public:
    matrix(int rows, int columns);
    ~matrix() {}

    // 原有非const版本，用于可修改的左值矩阵
    double & element(int r, int c);
    // 新增const重载，用于const矩阵、临时右值矩阵
    const double & element(int r, int c) const;

    // 调整operator+的形参与成员const属性
    matrix operator+(const matrix &M) const
    {
        matrix N(rows, columns);
        if (M.rows!=rows || M.columns!=columns){
            std::cout << "ERROR: DIMENSIONS OF MATRICES DO NOT MATCH" << std::endl;
        }
        else{
            for (int i{1}; i<=M.rows; i++)
            for (int j{1}; j<=M.columns; j++){
                N.element(i,j) = element(i,j) + M.element(i,j);
            }
        }
        return N;
    }
};

// 新增const版本的element实现
const double & matrix::element(int i, int j) const
{
    int loc{(j-1) + (i-1)*columns};
    return array[loc];
}

// 修改后的operator<<实现
std::ostream & operator<<(std::ostream &os, const matrix &M)
{
    for (int i{1}; i<=M.rows; i++){
        os << "[ ";
        for (int j{1}; j<=M.columns; j++){
            os << M.element(i,j) << " "; 
        }
        os << "] \n";
    }
    return os;
}

完成以上调整后，std::cout << A+B << std::endl;就可以直接正常运行，不需要把加法结果先赋值给具名变量再输出。

补充提示：当前类使用裸指针管理堆内存，但未自定义拷贝构造、拷贝赋值函数与完整的析构函数，后续使用过程中会出现浅拷贝导致的重复释放内存的问题，可在当前输出功能调试完成后，补充实现对应深拷贝逻辑保证内存安全。

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