Question

我有一个自定义类，旨在为二维数组提供服务。我已经超载了+运算符，但我得到了一些我没想到的奇怪结果。我在这里有副本和赋值构造函数：

Array<T, ROW, COL>& operator=(const Array<T, ROW, COL> &rhs) {
    if (this != &rhs) {
        // allocate new memory
        T *newData = new T[ROW * COL];
        for (int i = 0; i < ROW; i++) {
            for (int j = 0; j < COL; j++) {
                newData[j*ROW + i] = rhs(i, j);
            }
        }
        data = newData;
    }
    return *this;
}

这是我的重载+运算符：

inline Array<T, ROW, COL> &operator+(const Array<T, ROW, COL> &rhs) {
    for (int i = 0; i < ROW; i++) {
        for (int j = 0; j < COL; j++) {
            this->data[j*ROW + i] += rhs(i,j);
        }
    }
    return *this;
}

以下是main的一部分：

Array<double, 10> ten;
ten.fill(10.0); // fill with tens
Array<double, 10> result = ten + ten + ten + ten;
std::cout << result << std::endl;

Yeilds：

[0]: 80 
[1]: 80 
[2]: 80 
[3]: 80 
[4]: 80 
[5]: 80 
[6]: 80 
[7]: 80 
[8]: 80 
[9]: 80

这对我没有意义。我认为结果将是40一路走来。如果您需要查看它们，我会定义复制和赋值构造函数。

我不理解什么？谢谢！

Answer 1

不要，只是不要。 operator+不应修改其任一操作数的内部状态。正确的原型将是

Array<T, ROW, COL> operator+(Array<T, ROW, COL> lhs, const Array<T, ROW, COL> &rhs)
{
    //logic goes here
    return lhs;
}

如您所见，您返回按值并修改两个原始参数（第一个按值传递，但是因为您要创建它的副本或新对象在函数内部返回它，按值传递它也一样好 - 或者你可以通过const引用传递它。如果你必须把它作为一个成员（我写的那个是免费的运算符），把它原型化为

Array<T, ROW, COL> Array::operator+(const Array<T, ROW, COL> &rhs) const;

请注意const限定符，它告诉您（和读者）this未被修改。

编辑：好的，终于找到了链接 - 阅读this

重载“+”运算符，结果错误？

1 个答案: