错误：从“const int*”到“int*”的转换无效

Question

我想创建一个简单的3x3矩阵类，并能够通过下标操作符访问其内容。代码如下：

// Matrix.h
class Matrix {
private:
    int matrix[3][3];
public:
    int* operator[](const int index) const;
};

// Matrix.cpp
int* Matrix::operator[](const int index) const {
    return this->matrix[index];
}

我希望能够访问数组的元素，无论矩阵的对象是常量还是非常量。但我从编译器中得到以下错误：

错误：从“const int*”到“int*”的转换无效[-fpermissive]

我做了一些研究，我有一个假设：也许，因为我已经将这个成员函数声明为const函数，在它的定义中，编译器将对象的所有不可变成员视为const成员（它掩盖了），所以这就是编译器说它是从“const int*”到“int*”的无效转换的原因。我的问题：这个假设正确吗？如果不是，为什么会发生这种情况？我认为这是有意义的，并且将是确保“const Matrix*this”对象的常量的好方法。

编译器信息：gcc 5.3.0从公式下载。com公司

Answer 1

int* Matrix::operator[](const int index) const {
    return this->matrix[index]; }

这里您可以说，您不需要通过将函数指定为const来修改对象的状态。

但您正在返回一个指向实例变量的指针，通过该指针可以更改类的实例变量的值（从而更改状态）。

因此，您可以创建该运算符的非常量版本以避免该问题。

Answer 2

当您声明一个类方法（运算符是类方法）时，这意味着您只能在类的字段上调用const方法，并且只能返回指向类字段的指针或引用。为了进行编译，您需要下定决心：

const int* Matrix::operator[](const int index) const { return this->matrix[index]; }

或

int* Matrix::operator[](const int index) { return this->matrix[index]; }

或者两者兼而有之。

Answer 3

关于出现错误的原因，您完全正确：在标记为const的成员函数中，编译器会隐式处理类的所有数据成员，就像它们是用const限定符声明的一样。

修复非常简单-您可以覆盖同一个操作符两次，提供常量和非常量版本：

class Matrix {
private:
    int matrix[3][3];
public:
    const int* operator[](const int index) const;
    int* operator[](const int index);
};

// Matrix.cpp
const int* Matrix::operator[](const int index) const {
    return this->matrix[index];
}
int* Matrix::operator[](const int index) {
    return this->matrix[index];
}

编译器将根据上下文确定要调用哪个重载。如果矩阵本身是常量，则调用常量版本，否则调用非常量版本。