C++常量规则？

Question

我正在构建一个矩阵类来强化我在c++中的知识。然而，我的重载==操作符总是返回一个“放弃限定符”错误，我认为这在某种程度上违反了常量规则，但我不知道是怎么回事。

template <class T, unsigned int rows, unsigned int cols>
bool Matrix<T,rows,cols>::operator==(const Matrix<T,rows,cols>& second_matrix) const{
    if (_rows != second_matrix.getNumRows() || _cols != second_matrix.getNumCols())
        return false;
    else{
        unsigned int i,j;
        for (i = 0; i < rows; i++){
                for (j = 0; j < cols; j++){
                if (data[i][j] != second_matrix(i,j))
                    return false;
            }
        }
    }

    return true;
}

在'if (datai != second_matrix(i，j))‘行返回错误。为了完整起见，下面是我的!=运算符：

template <class T, unsigned int rows, unsigned int cols>
bool Matrix<T,rows,cols>::operator!=(const Matrix<T,rows,cols>& second_matrix) const{
    return !(*this == second_matrix);
}

另外，()运算符：

template <class T, unsigned int rows, unsigned int cols>
T & Matrix<T,rows,cols>::operator()(int row, int col){
    return data[row][col];
}

Answer 1

这是你的()行动。它不是const。不能在const对象上调用非常数函数。创建一个按const或值返回的const版本的()。

Answer 2

template <class T, unsigned int rows, unsigned int cols>
T & Matrix<T,rows,cols>::operator()(int row, int col){
    return data[row][col];
}

是非常数。这本身就很好，但是对于只读访问，您需要重载这个成员函数。然后，编译器将自动选择const重载：

template <class T, unsigned int rows, unsigned int cols>
T & Matrix<T,rows,cols>::operator()(int row, int col){
    return data[row][col];
}
template <class T, unsigned int rows, unsigned int cols>
const T & Matrix<T,rows,cols>::operator()(int row, int col) const{
    return data[row][col];
}

(您还必须在类体中声明第二个版本。)