運營商矩陣類代理[]錯誤

Question

所以，我有這樣的類：Matrix和Matrix_Proxy。兩者都應該檢查範圍是否有效，但在這裏我忽略了，因爲這不是問題。

只要對象是非常量的，就沒有問題，但這是行不通的。通過const&發送功能參數是有效的做法，因此它在這裏失敗。

代碼（簡化）：

#include <vector> 
#include <cstdlib> 
#include <iostream> 

template <typename T> 
class Matrix_Proxy 
{ 
public: 
    Matrix_Proxy(std::vector<T>& _ref, size_t _size) : ref(_ref), size(_size) 
    {} 
    T& operator[](int i) 
    { 
     return ref[i]; 
    } 

    const T& operator[](int i) const 
    { 
     return ref[i]; 
    } 

private: 
    std::vector<T>& ref; 
    size_t size; 

}; 

template <typename T> 
class Matrix 
{ 
public: 
    Matrix(size_t x) : values(x), size(x) 
    { 
     for(auto&& y : values) 
     { 
      y.resize(x); 
      for(auto&& x : y) 
       x = 0; 
     } 
    } 

    Matrix_Proxy<T> operator [] (int i) 
    { 
     return Matrix_Proxy<T>(values[i],size); 
    } 

    const Matrix_Proxy<T> operator [] (int i) const 
    { 
     return Matrix_Proxy<T>(values[i],size); 
    } 

private: 
    std::vector<std::vector<T>> values; 
    size_t size; 
}; 

int main() 
{ 
    Matrix<int> intMat(5);     //FINE 
    std::cout << intMat[2][2] << std::endl; //FINE 

    const Matrix<int> cintMat(5);    //FINE 
    std::cout << cintMat[2][2] << std::endl; //ERROR 

    _Exit(EXIT_SUCCESS); 
} 

錯誤：

no matching function for call to 'Matrix_Proxy<int>::Matrix_Proxy(const value_type&, const size_t&)' 
     return Matrix_Proxy<T>(values[i],size); 
              ^

任何想法如何解決這個問題？

Answer 1

問題的根本原因是您的代理允許非常量訪問，即使通過const運算符生成代理本身。換句話說，你的代碼，如果它可以編譯，將允許這樣的：

const Matrix<int> cintMat(5); 
cintMat[2][2] = 2; // Does not compile 

這是因爲從operator [] const生產Matrix_Proxy既有operator [] const和operator []非const。您的Matrix_Proxy不知道它是通過const運營商生產的！

要解決這個問題，引入另一個代理，並從const操作[]回吧：

template <typename T> 
class Matrix_Proxy_Const 
{ 
public: 
    Matrix_Proxy_Const(const std::vector<T>& _ref, size_t _size) : ref(_ref), size(_size) 
    {} 
    const T& operator[](int i) const { 
     return ref[i]; 
    } 
private: 
    const std::vector<T>& ref; 
    size_t size; 
}; 

在Matrix類改變const符實現：

const Matrix_Proxy_Const<T> operator [] (int i) const { 
    return Matrix_Proxy_Const<T>(values[i],size); 
} 

Demo.