如何在C++模板类中为mpfr_t数组重载[]运算符？

mpfr_t本质是__mpfr_struct[1]（长度为1的数组类型），C++不允许直接返回数组类型，但可以返回数组的引用，这正是解决问题的关键。你需要为类编写两个版本的operator[]，分别对应const和非const对象，具体实现如下：

正确的代码示例 #

#include <mpfr.h>
#include <cassert>

// 主模板声明
template <typename T, unsigned int N>
class MyClass;

// 针对mpfr_t的类特化
template <unsigned int N>
class MyClass<mpfr_t, N> {
private:
    mpfr_t array[N];

public:
    // 构造函数：初始化每个mpfr_t元素
    MyClass() {
        for (unsigned int i = 0; i < N; ++i) {
            mpfr_init(array[i]);
        }
    }

    // 析构函数：清理每个mpfr_t元素
    ~MyClass() {
        for (unsigned int i = 0; i < N; ++i) {
            mpfr_clear(array[i]);
        }
    }

    // 非const对象的[]运算符：返回可修改的mpfr_t引用
    mpfr_t& operator[](unsigned int i) {
        assert(i < N); // unsigned类型天然>=0，无需判断0<=i
        return array[i];
    }

    // const对象的[]运算符：返回不可修改的const mpfr_t引用
    const mpfr_t& operator[](unsigned int i) const {
        assert(i < N);
        return array[i];
    }

    // 禁用拷贝构造与赋值：避免mpfr_t浅拷贝导致的资源重复释放
    MyClass(const MyClass&) = delete;
    MyClass& operator=(const MyClass&) = delete;
};

关键说明 #

1. 返回数组引用的合法性：C++允许返回数组的引用，mpfr_t&等价于__mpfr_struct(&)[1]，这是合法的返回类型，不会触发"不能返回数组类型"的错误。
2. const成员函数的正确性：const版本的operator[]返回const mpfr_t&，确保const对象调用[]时得到的元素无法被修改，符合const成员函数的语义。
3. mpfr_t的资源管理：必须在构造函数中用mpfr_init初始化每个元素，析构函数中用mpfr_clear清理，同时禁用拷贝操作，防止浅拷贝导致的资源泄漏或重复释放。

内容的提问来源于stack exchange，提问作者maciek