Macierz类运算符+重载返回全零数组问题求助

你遇到的问题本质是返回了局部对象的引用，这是C++里典型的未定义行为场景，直接导致了返回后得到全零数组的诡异结果。

问题根源解释 #

在你的operator+函数中，newM是一个局部栈对象，它的生命周期仅限于函数内部。当函数执行到return语句时，这个局部对象会被自动销毁，它占用的栈内存会被系统回收。你返回的引用指向的就是这块已经被释放的无效内存——所以函数内部查看newM的值是对的（因为此时它还活着），但返回后再访问这个引用，就会读取到已经被覆盖或者清空的内存区域，最终得到全零或者其他不可预期的垃圾值。

正确的解决方案 #

operator+的语义是生成一个新的对象来存储两个矩阵相加的结果，所以正确的做法是返回对象本身，而不是返回局部对象的引用。同时我们还可以优化代码的const正确性，让代码更健壮：

// 返回对象而非引用，参数和成员函数都加上const修饰
Macierz operator + (const Macierz &f) const { 
    Macierz newM; 
    for (int i = 0; i < length; i++) 
        for (int j = 0; j < length; j++) 
            newM.macierz[i][j] = macierz[i][j] + f.macierz[i][j]; 
    return newM; 
}

这里的几个关键改进：

• 将参数改为const Macierz&：表明我们不会修改传入的另一个矩阵对象，同时避免拷贝开销
• 将成员函数声明为const：表明这个加法操作不会修改当前对象的状态，符合operator+的语义
• 返回Macierz对象：此时会调用对象的拷贝构造函数（或者C++11及以后的移动构造函数）把局部对象的值转移到函数外，避免了局部对象销毁的问题

额外的优化建议 #

你还可以基于operator+=来实现operator+，这样代码更简洁且符合DRY（Don't Repeat Yourself）原则：

首先实现operator+=（这个运算符是修改当前对象，所以可以返回引用）：

Macierz& operator += (const Macierz &f) { 
    for (int i = 0; i < length; i++) 
        for (int j = 0; j < length; j++) 
            macierz[i][j] += f.macierz[i][j]; 
    return *this; 
}

然后用它来实现operator+：

Macierz operator + (const Macierz &f) const { 
    Macierz newM(*this); // 拷贝当前对象的初始状态
    newM += f; // 调用+=完成相加
    return newM; 
}

这样的写法既减少了重复代码，也让两个运算符的职责更清晰：operator+=负责修改自身，operator+负责生成新对象。

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