如何为含大数组成员的类的std::vector合理分配内存

问题背景 #

现有Dummy类通过嵌套std::vector实现二维、三维数组存储，当创建100000个该类对象的std::vector时，出现卡顿甚至std::bad_alloc异常，且受约束不能改用指针容器，需优化静态对象的内存分配方式。

核心原因 #

嵌套std::vector会产生大量小内存分配，100000个对象会导致内存碎片化严重，同时总内存开销被放大，最终触发分配失败或性能瓶颈。

解决方案 #

1. 用一维vector替代嵌套vector #

将二维、三维数组转换成单块连续内存的一维vector，每个Dummy仅需1-2次内存分配，大幅减少碎片化并提升访问效率。

修改后的代码示例：

#include <iostream>
#include <vector>
#define MAX_DIVS 50

class Dummy
{
private:
    std::vector<int> array; 
    std::vector<double> m_param_st;

    // 索引计算辅助函数，简化二维/三维访问
    inline int array_index(int i, int j) const {
        return i * (MAX_DIVS + 1) + j;
    }

    inline int param_index(int i, int j, int k) const {
        return (i * (MAX_DIVS + 1) + j) * 2 + k;
    }
public:
    // 初始化时直接分配整块内存
    Dummy() 
        : array((MAX_DIVS + 1) * (MAX_DIVS + 1)),
          m_param_st((MAX_DIVS + 1) * (MAX_DIVS + 1) * 2)
    {}

    // 对外提供类型安全的数组访问接口（可选）
    int& get_array(int i, int j) {
        return array[array_index(i, j)];
    }

    const int& get_array(int i, int j) const {
        return array[array_index(i, j)];
    }

    double& get_param(int i, int j, int k) {
        return m_param_st[param_index(i, j, k)];
    }

    const double& get_param(int i, int j, int k) const {
        return m_param_st[param_index(i, j, k)];
    }

    ~Dummy() = default; 
};


int main(int argc, char* const argv[]) 
{
    std::size_t size = 100000;  
    // 直接初始化vector，避免临时对象拷贝
    std::vector<Dummy> Temp1(size); 
    return 0; 
}

2. 优化vector对象构造方式 #

原代码中std::vector<Dummy> Temp1(size, Dummy())会先创建临时Dummy再拷贝构造所有对象，改用std::vector<Dummy> Temp1(size)直接调用默认构造函数，消除拷贝开销。

3. 自定义内存分配器（进阶） #

若系统内存仍紧张，可给Dummy内的vector指定自定义内存分配器，复用预分配的大块内存池，进一步减少全局内存分配的碎片化问题。例如预先分配一块足够大的内存区域，让所有Dummy的vector从这块区域分配内存。

效果说明 #

修改后每个Dummy仅占用约51KB内存（51514 + 51512*8 = 10404 + 41616 = 52020字节），100000个对象总内存约5GB，只要系统有足够连续内存即可成功分配，同时内存碎片化问题得到彻底解决，性能大幅提升。

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