从“Matrix”类型的右值对“Matrix&”类型的非常量引用进行无效初始化

Question

我只是没有看到我的错误。关于此错误消息有很多问题，或者答案不适用，或者我看不到它们适用。也许应该改进错误消息？

Matrix a = Matrix(3, 4);
// fill a with values
Matrix c = Matrix(4, 4);
// fill c with values
a *= c - c; //this is where the compile error occurs

当我将行更改为 a *= c 时，它可以工作。所以我想 *= 运算符没有什么问题。

这是 Matrix *= 运算符：

Matrix &Matrix::operator *=(Matrix &B)
{
    Matrix M(rows(), B.cols());
    for (int i = 0; i<rows(); i++)
    {
        for (int j=0; j<B.cols(); j++)
        {
            for (int k=0; k<cols(); k++)
            {
                M(i,j) = M(i,j) + (*this)(i,k) * B(k,j);
            }
        }
    }
    return M;
}

这是 - 运算符：

Matrix operator -(Matrix &A, Matrix &B)
{
    //TODO: Check if matrices have same dimensions, exception else
    Matrix M(A.rows(), A.cols());
    for(int i=0; i<A.rows(); i++)
    {
        for(int j=0; j<A.cols(); j++)
        {
            M(i,j) = A(i,j)-B(i,j);
        }
    }
    return M;
}

Answer 1

通过c - c 命令，您可以通过operator- 生成一个新矩阵并将其返回。接下来，operator*= 引用一个矩阵，这就是编译器抱怨的地方。这样做是为了防止您发现底层对象将在您想要使用它时过期。

尝试将Matrix& 更改为Matrix const&。这将延长对象的生命周期，直到函数结束。另外，从 const 正确性的角度来看，它也更合适。

此外，您应该从您的operator*= 返回*this，并更改包含的矩阵。 （感谢@CoryKramer 指点，急于回答错过了）。

所以你的操作符基本上应该是这样的（只是基本概念，根本没有优化）：

Matrix &Matrix::operator *=(Matrix const& B)
{
    Matrix M(rows(), B.cols());

    for (int i = 0; i<rows(); i++)
    {
        for (int j=0; j<B.cols(); j++)
        {
            for (int k=0; k<cols(); k++)
            {
                M(i,j) += (*this)(i,k) * B(k,j);
            }
        }
    }

    //copy -- or better move -- the temporary matrix into *this
    operator=(std::move(M));
    return *this;
}

Answer 2

解决方案是从

更改操作员签名

Matrix operator -(Matrix &A, Matrix &B);

到

Matrix operator -(const Matrix &A, const Matrix &B)

适用于所有运营商。我还必须添加一个新的运算符const double & operator ()(int row, int column) const;，否则语句B(k,j) 将不起作用。 除此之外，我做了 davidhigh 建议的操作并返回 *this 而不是临时 Matrix 对象。

发生错误的语句是a *= c-c。

首先，c-c 将创建一个 临时 对象。然后这个临时对象通过引用传递给*= 操作符。 C++ 只允许将临时值传递给 const 引用、值或右值。

感谢大家帮助我。