如何在 C++ 中的模板 class 中为 mpf_t 数组重载 [] 运算符？

Question

我正在尝试在 C++ 中开发一个自定义class ，它将包含一个mpfr_t数组。
问题是，我不知道如何重载[]运算符来访问数组元素。
请参阅下面的代码：

template <const unsigned int N>
class MyClass<mpfr_t, N> {
 private:
    mpfr_t array[N];
 public:
    mpfr_t& operator[] (const unsigned int i) const {
        assert(0 <= i && i < N);
        return array[i];

上面代码的问题是我不能使用const并返回一个引用； 因为这将允许潜在的价值修改。 在这种情况下通常做的是人们编写[]的两个版本：一个const class 实例返回一个值（ non-const引用），另一个返回引用的非常量。 但是，我无法返回mpfr_t类型——库设计根本不允许这样做：

error: function cannot return array type 'mpfr_t' (aka '__mpfr_struct [1]')

我意识到问题源于将C专用代码包装到严格的C++运算符重载机制中，但我想知道是否有任何破解方法？

Answer 1

你可以通过返回一个常量引用来实现operator[]的const版本，而不是一个非常量引用（就像你在当前版本中所做的那样）：

//-----vvvvvvv-----------------------------------vvvvv--
mpfr_t const & operator[] (const unsigned int i) const {
    assert(0 <= i && i < N);
    return array[i];
}

请注意，您仍然可以拥有非常量重载：

mpfr_t & operator[] (const unsigned int i) {
// ...

如果您的MyClass object 是const ，将选择第一个重载。