如何让使用STL（std::vector）的C++程序内存开销与C相当？

问题背景 #

我们有功能完全等价的C和C程序（C编译时已指定-fno-exceptions选项），具体代码及内存差异如下：

C版本（loop.c） #

#include <stdlib.h>
#include <stdio.h>
#include <math.h>

const int N = 1024 * 4;

int main(void) {
    double* v = malloc(N * sizeof(double));
    if(!v) return 1;

    for(int i = 0; i < N; i++)
        v[i] = sin(i);

    double sum = 0;

    for(int i = 0; i < N; i++)
        for(int j = 0; j < N; j++)
            for(int k = 0; k < N; k++)
                sum += v[i] + 2 * v[j] + 3 * v[k];

    printf("sum = %f\n", sum);

    free(v);
}

C++版本（loop.cpp） #

#include <vector>
#include <stdio.h>
#include <math.h>

const int N = 1024 * 4;

int main() {
    std::vector<double> v(N);

    for(int i = 0; i < N; i++)
        v[i] = sin(i);

    double sum = 0;

    for(int i = 0; i < N; i++)
        for(int j = 0; j < N; j++)
            for(int k = 0; k < N; k++)
                sum += v[i] + 2 * v[j] + 3 * v[k];

    printf("sum = %f\n", sum);
}

编译运行后观察到的内存差异：

• C版本用gcc -O2 -lm编译，top工具的RES字段显示内存占用约800K；
• C++版本用g++ -O2 -fno-exceptions编译，RES字段显示约1600K，运行中途甚至跳升至3300K。

后续补充实验：
编写run.sh脚本批量启动1000个进程：

for i in `seq 1000`; do
    nice ./a.out &
done

执行killall a.out后分析发现：内存开销主要来自进程共享部分，但进程私有内存仍有差异——C版本每进程约200K，C版本约250K。且将std::vector替换为new/delete或malloc/free后内存开销无明显变化，说明差异来自C运行时本身而非std::vector。

我们需要找到符合C++“不用则不付费”设计原则的优化手段，让使用STL的C++程序内存开销与C版本对齐，且不更换libstdc++，可使用Clang替代GCC。

可行优化方法 #

1. 启用深度编译优化选项 #

在原有优化基础上，添加以下选项缩减内存占用：

• -Os：侧重空间优化，在不显著影响性能的前提下最小化可执行文件和运行时内存；
• -flto：启用链接时优化，跨模块消除未使用的C++运行时代码和数据；
• -fno-rtti：禁用运行时类型信息（RTTI），程序未使用dynamic_cast/typeid时可完全移除这部分开销；
• -fno-unwind-tables：禁用 unwind 表，在已用-fno-exceptions的前提下，这部分表无作用；
• -ffunction-sections -fdata-sections -Wl,--gc-sections：将每个函数、数据放入独立段，链接时自动移除未使用的段，大幅减少冗余内存。

组合后的编译命令：

GCC

g++ -O2 -fno-exceptions -Os -flto -fno-rtti -fno-unwind-tables -ffunction-sections -fdata-sections -Wl,--gc-sections -lm loop.cpp

Clang

clang++ -O2 -fno-exceptions -Os -flto -fno-rtti -fno-unwind-tables -ffunction-sections -fdata-sections -Wl,--gc-sections -lm loop.cpp

2. 调整libstdc++内存分配策略 #

通过环境变量修改libstdc++的分配器行为，减少额外内存占用：

• GLIBCXX_FORCE_NEW=1：强制std::allocator直接调用malloc/free，避免使用libstdc++默认的小对象内存池；
• MALLOC_TRIM_THRESHOLD_=0：让malloc在free后立即将内存归还给系统，避免空闲内存保留。

运行C++程序时设置环境变量：

GLIBCXX_FORCE_NEW=1 MALLOC_TRIM_THRESHOLD_=0 ./a.out

3. 自定义轻量vector分配器 #

如果上述方法仍有差距，可为std::vector使用封装malloc/free的极简分配器：

#include <vector>
#include <stdio.h>
#include <math.h>
#include <cstdlib>

template <typename T>
struct MallocAllocator {
    using value_type = T;

    T* allocate(std::size_t n) {
        if (n == 0) return nullptr;
        void* p = std::malloc(n * sizeof(T));
        if (!p) throw std::bad_alloc();
        return static_cast<T*>(p);
    }

    void deallocate(T* p, std::size_t) noexcept {
        std::free(p);
    }
};

const int N = 1024 * 4;

int main() {
    std::vector<double, MallocAllocator<double>> v(N);

    for(int i = 0; i < N; i++)
        v[i] = sin(i);

    double sum = 0;

    for(int i = 0; i < N; i++)
        for(int j = 0; j < N; j++)
            for(int k = 0; k < N; k++)
                sum += v[i] + 2 * v[j] + 3 * v[k];

    printf("sum = %f\n", sum);
}

搭配之前的编译选项使用，可进一步对齐C版本的内存占用。

4. 精准验证内存占用 #

使用pmap或smem替代top，精准统计进程私有内存（排除共享库干扰）：

pmap -x <进程PID> | tail -1

或

smem -t -k -p -u <进程PID>

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