如何优雅解决C++多层嵌套vector小块内存频繁分配的性能问题

方案1：C++17 std::pmr 单调内存资源（首选） #

核心优势 #

• 性能接近手动预分配方案：所有小块内存分配都在预先申请的连续内存块上完成，仅需指针偏移计算，无系统调用、无内存碎片化
• 代码侵入性极低：仅需将原有std::vector替换为std::pmr::vector，业务逻辑完全无需修改，可读性、可维护性和原生实现一致
• 天然适配多线程场景：每个线程每帧独立持有内存资源实例，无锁竞争，无需手动实现线程本地分配逻辑

#include <iostream>
#include <vector>
#include <memory_resource>

class B{public:
    std::pmr::vector<int> bf1; //b's field 1
    std::pmr::vector<float> bf2;//b's field 2
    //... 多个同类字段
};
class C{public:
    std::pmr::vector<B> cf1;
    std::pmr::vector<int> cf2;
    //... 多个同类字段
};

// 每帧逻辑
void frame_logic(int num_bf1, int num_bf2, int num_cf1, int num_cf2, int num_c) {
    // 预分配1MB帧缓冲，可根据历史帧峰值调整大小，不够时会自动向系统申请额外内存
    char buffer[1024 * 1024];
    std::pmr::monotonic_buffer_resource mem_res(buffer, sizeof(buffer));

    // 所有vector都使用当前帧的内存资源
    std::pmr::vector<C> cs(&mem_res);
    cs.reserve(num_c);
    for(int m=0;m<num_c;m++){
        C c{&mem_res};
        c.cf1.reserve(num_cf1);
        for(int n=0;n<num_cf1;n++){
            B b{&mem_res};
            b.bf1.resize(num_bf1);
            b.bf2.resize(num_bf2);
            c.cf1.push_back(b);
        }
        c.cf2.resize(num_cf2);
        cs.push_back(c);
    }

    // 执行业务逻辑...

    // 函数结束后mem_res自动销毁，所有这帧分配的内存一次性释放，无需逐个析构vector
}

方案2：兼容低版本C++的Span包装方案 #

如果暂时用不了C17，可以用std::span（C20）或自定义轻量Span类替换裸指针，保留预分配大内存的性能优势，同时避免裸指针的安全问题和手动维护长度的复杂度。

实现要点 #

• 自定义Span类包含指针和长度字段，提供operator[]、size()、迭代器等接口，使用体验和vector一致
• 外层统一预分配所有大数组，计算偏移后直接给对应字段赋值Span，无需维护复杂的内存管理逻辑
• 所有大数组的生命周期和帧生命周期绑定，帧结束后统一释放即可

额外优化建议 #

• 可以根据历史帧的内存峰值设置初始预分配大小，预留10%~20%的冗余空间，避免频繁触发系统级内存分配
• 若使用游戏引擎，可以直接使用引擎内置的帧分配器（如UE的FMemStack、Unity的Temp分配器），逻辑和std::pmr方案完全一致，适配性更好

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