调用操作符（）“函数调用”返回对数组元素的引用

Question

我想我不太了解引用背后的内容，我很乐意多了解这些内容。

我正在写一个数学“矢量”类来做数值模拟的基本线性代数。在我确信不再使用外部库之前，我正在使用Eigen。我的问题很简单：

• 我声明向量并设置其类型Scalar（这些是双打）的3个组件。当我重载操作符时，我可以用我的向量来做数学运算，但这超出了我的问题范围。
• 我想通过函数调用运算符（），因为我是用征来访问我的对象的第i个分量：myVector(0) = 0.0 ;或Scalar d = myVector(0)+1.0 ;

据我引用的了解，这个解决方案应该是工作：

class mtnVector { 
public: 
    typedef double Scalar; 
    Scalar data [3]; 
    (setters, math, etc...) 
    inline Scalar & operator() (const int i) const { 
     return data[i] ; 
    } 
}; 

但G ++说，它不喜欢我实现它的方式和的证明了I S ***在引用： Vector.h:185: error: invalid initialization of reference of type ?double&? from expression of type ?const double?

什从我的观点来看，非常奇怪的是，如果包含数据的数组是动态设置的（Scalar * data）（带有new运算符），则该类代码编译正常。但我没有看到动态设置数据持有者的观点。

我没有得到任何需要const来重载函数调用操作符，但我接受它。

Answer 1

您的operator()宣布为const。这意味着调用函数不应该最终修改对象。该函数通过非const引用返回此对象的成员，这将允许任何称为operator()的人修改对象的内部。显然这会很愚蠢，所以编译器不允许它。如果你要参考从const成员函数返回一个成员，你需要做的是参考const：

inline const Scalar& operator() (const int i) const { 
    return data[i] ; 
} 

您可能需要同时提供const和非const版的功能，其中一个返回const Scalar&，另一个返回Scalar&（这是how the standard library containers do it）。

你很想用operator()来做这件事。您的表达myVector(0)看起来更自然，因为您可以通过重载operator[]代替myVector[0]。

此外，你应该忽略谁说服你，你不应该使用外部库。 Eigen尤其是一个非常成熟和经过彻底测试的图书馆。除非你有充分的理由，否则你应该使用它。