Question

我实现了一个MyMatrix类，它包含一个指向抽象类Matrix的指针（指针是_matrix）。 operator + =调用方法add并添加_matrix变量。因此，作为类变量的_matrix被更改，因此+ =运算符不能是常量，但由于某种原因，编译器允许我将其设置为const，并且没有例外。那是为什么？

const MyMatrix& MyMatrix::operator +=(const MyMatrix& other) const
{
    _matrix->add(*other._matrix);
    return *this;
}

这是补充：

void add(Matrix &other)
{
    for (int i = 0; i < other.getSize(); i++)
    {
        Pair indexPair = other.getCurrentIndex();
        double value = other.getValue(indexPair);
        pair<Pair, double> pairToAdd(indexPair, value);
        other.next();
        if (pairToAdd.second != 0)
        {
            setValue(pairToAdd.first, getValue(pairToAdd.first) + pairToAdd.second);
        }
    }
    initializeIterator();
}

Answer 1

operator+=被允许为const，因为很可能你已经将_matrix成员声明为一个简单的指针。因此，operator+=不会更改MyMatrix的状态，因为您没有更改指针，而是指向的对象。

由您来决定将operator+=声明为const是否是个好主意。很可能它甚至不是编译器允许它。它只会混淆你班级的用户。

Answer 2

const方法生成：

Matrix* _matrix;

指针常量采用以下方式：

Matrix* const _matrix;

不是那样的：

const Matrix* _matrix;

也就是说，指针是const，而不是指针。因此，您可以在_matrix上调用非const方法。

如果要在const方法中强制使用指针的constness，请使用this SO answer.中的技巧

运算符不应该是常数，但它可以是

2 个答案: