C++如何维护存储对象引用的结构体数组？

你遇到的问题确实是C++引用的特性导致的——引用必须在对象构造时就完成绑定，并且一旦绑定后无法更改指向，这就使得包含引用的结构体没有默认构造函数，自然没法直接创建未初始化的数组（因为数组元素默认会调用默认构造函数）。下面给你几个可行的解决方案：

方案1：用指针替代引用 #

把结构体里的引用改成指针，指针支持默认初始化（比如设为nullptr），后续可以随时修改指向的对象，完美适配数组的使用场景：

#include <iostream>
#include <vector>
using namespace std;

struct something { 
    vector<vector<double>>* a; // 将引用替换为指针
};

something buffer[3]; // 现在可以正常默认初始化数组

void modify(something& arr) { 
    (*arr.a)[0][0] = 10; // 解引用指针访问矩阵
    cout << (*arr.a)[0][0] << endl; 
}

int main(int argc, const char* argv[]) {
    vector<vector<double>> a(5, vector<double>(5));
    buffer[0].a = &a; // 给指针赋值，指向目标矩阵
    modify(buffer[0]); // 输出：10
    cout << a[0][0] << endl; // 输出：10，验证共享修改生效
    return 0;
}

方案2：使用std::reference_wrapper包装引用 #

C++标准库的std::reference_wrapper是专门用来包装引用的工具，它支持拷贝、赋值操作，并且拥有默认构造函数，刚好解决引用无法用于数组的问题：

#include <iostream>
#include <vector>
#include <functional> // 必须包含这个头文件
using namespace std;

struct something { 
    reference_wrapper<vector<vector<double>>> a; // 用reference_wrapper包装引用
};

something buffer[3]; // 可直接默认初始化数组

void modify(something& arr) { 
    arr.a.get()[0][0] = 10; // 用get()获取底层的引用
    cout << arr.a.get()[0][0] << endl; 
}

int main(int argc, const char* argv[]) {
    vector<vector<double>> a(5, vector<double>(5));
    buffer[0].a = a; // 直接赋值绑定到目标矩阵
    modify(buffer[0]); // 输出：10
    cout << a[0][0] << endl; // 输出：10，验证共享修改生效
    return 0;
}

方案3：提前初始化数组元素（适用于已知绑定对象的场景） #

如果在创建数组时就已经明确要绑定的对象，可以直接在数组初始化阶段完成每个元素的绑定，这样也能避开默认构造的限制：

#include <iostream>
#include <vector>
using namespace std;

struct something { 
    vector<vector<double>>& a;
    // 显式声明构造函数（编译器会自动生成，但显式写出更清晰）
    something(vector<vector<double>>& ref) : a(ref) {}
};

void modify(something& arr) { 
    arr.a[0][0] = 10; 
    cout << arr.a[0][0] << endl; 
}

int main(int argc, const char* argv[]) {
    vector<vector<double>> a(5, vector<double>(5));
    // 直接初始化数组，每个元素绑定到a
    something buffer[3] = {a, a, a}; 
    modify(buffer[0]); // 输出：10
    cout << a[0][0] << endl; // 输出：10，验证共享修改生效
    return 0;
}

方案对比 #

• 方案1：最简洁，无需额外头文件，但要注意避免空指针访问的问题；
• 方案2：更安全，reference_wrapper会保证引用的有效性（除非你故意使用未赋值的默认构造对象），但需要引入标准库头文件；
• 方案3：灵活性较差，仅适合提前知道绑定对象的场景，但逻辑最直接。

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