C语言遍历字符串数组导致内存占用过高问题排查

每次函数调用时创建的字符串数组不是内存占用过高的原因，核心问题是get_abu()返回的二维数组内存没有被完整释放，存在严重内存泄漏，同时你的代码存在几处基础语法错误。

• 关于字符串数组的内存开销：你定义的char *molecules[122]中存储的都是字符串常量，这类常量在程序编译阶段就会被放入只读数据段，程序整个运行周期内仅存一份，不会随函数调用重复创建。即使不加任何修饰，函数调用时仅会在栈上分配122个指针的空间（64位系统下总计不到1KB），函数返回后栈空间自动回收，完全不可能引发高内存占用。
• 内存泄漏的根源：get_abu()返回的是double**类型的二维数组，这类结构在C语言中通常分两层分配内存：第一层是分配一段连续内存存储所有行的首地址（也就是abundance指针指向的部分），第二层是为每一行单独分配存储实际数值的内存。你当前的代码仅释放了第一层的指针数组内存，第二层所有行的数值内存全部没有被释放，变成无法访问的泄漏内存。calculate_molecule()被调用10000次的情况下，泄漏的内存会持续累积，直接导致内存占用异常升高。
• 现有代码的语法错误：
  • double **abundance 行尾缺失分号
  • for循环的条件括号未闭合：for (i=0;i<n_molecules;i++{ 缺少右括号，正确写法为for (i=0;i<n_molecules;i++){
  • 循环变量i未提前定义，在严格C标准下会直接编译失败。

1. 将分子数组添加static const修饰，挪到函数外或函数内静态存储区，全程仅保留一份，连栈上的指针分配开销也可以完全避免，同时确保数组长度和n_molecules严格一致，避免越界。
2. 释放二维数组时，先逐行释放每一行的内存，最后释放一级指针数组本身。
3. 补全所有语法错误。

修复后的参考代码如下（注意将代码中NX替换为程序实际的x方向网格总长度，和get_abu()内部分配二维数组时的行长度保持一致）：

// 分子数组定义为静态常量，全程仅存一份
static const char * const molecules[122] = {"H", "He", "C", "N", "O" /* 补全剩余117个分子名 */};
#define N_MOLECULES 122 // 直接用宏定义分子总数，避免和数组长度不匹配

void calculate_molecule(int i_x, int i_y){
    double **abundance;
    for (int i=0; i<N_MOLECULES; i++){
        abundance = get_abu(molecules[i]);
        cell[i_x][i_y].abu[i] = abundance[i_x][i_y];

        // 逐行释放二维数组的行内存
        for (int x=0; x<NX; x++){ // NX替换为程序x方向总网格数
            free(abundance[x]);
        }
        // 最后释放一级指针数组
        free(abundance);
    }
}

• 如果不确定get_abu()内部分配二维数组的行长度，直接查看该函数的实现确认，避免行遍历长度不对导致的野指针访问或内存泄漏不彻底。
• 如果get_abu()返回的二维数组是程序全局复用的内存、不需要调用方释放，直接去掉free逻辑即可——但从你当前代码写了free(abundance)的逻辑来看，该函数应该是每次调用都会新分配内存，必须完整释放。

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