C++常量规则？

Question

我正在构建一个矩阵类来强化我的 C++ 知识。然而，我的重载 == 运算符不断返回“丢弃限定符”错误，我认为这在某种程度上违反了 const 规则，但我不知道如何执行。

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 (data[i][j] != secondary_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& 返回。或按价值。

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];
}

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