C语言malloc异常：大内存分配成功，小内存分配失败？

问题根源 #

1. 32位系统下的内存计算溢出：
   代码中用int类型计算矩阵元素数和内存大小，在32位系统中，int最大值为2^31-1（约21亿），malloc的参数类型size_t也是32位无符号整数，上限约4GB：

   • 当bottom_row_final=240.0时，所需内存约1.37GB，未超过size_t上限，但如果系统可用内存/进程地址空间不足，malloc会分配失败。
   • 当bottom_row_final=410.0时，所需内存约4.0GB，超过32位size_t最大值，导致N * sizeof(double)计算溢出，实际传递给malloc的是一个极小的非法值（约8MB）。malloc成功分配小内存块后，代码访问远超出该范围的数组索引，直接触发段错误。

2. 循环变量的溢出风险：
   当前410.0场景下index_jumper仍在32位int范围内，但更大的bottom_row_final会导致index_jumper超过int上限，溢出为负数，同样引发越界访问。

修复方案 #

改用64位整数类型避免溢出，并匹配malloc的size_t参数类型：

//array.c
#include <stdio.h>
#include <stdlib.h>

// 参数改用size_t，匹配malloc的参数类型
void vector_alloc(size_t N, double **pM) {
    if ((*pM = (double *)malloc(N * sizeof(double))) == NULL) {
        printf("Error: malloc failed!\n");
        exit(EXIT_FAILURE);
    }
}

void vector_free(double **pM) {
    free(*pM);
    *pM = NULL;
}

int main(void) {
    double grid_step = 0.0125;
    double bottom_row_final = 410.0;

    // 用long long存储元素数量，避免32位溢出
    long long bottom_row_elements = (long long)(bottom_row_final / grid_step) + 1;
    long long lower_triangular_matrix_elements = bottom_row_elements * (bottom_row_elements + 1) / 2;
    double *matrix;
    // 转换为size_t传递给malloc
    vector_alloc((size_t)lower_triangular_matrix_elements, &matrix);
    // index_jumper改用long long，防止溢出
    long long index_jumper = 0;

    // 循环变量i改用long long，避免类型不匹配
    for (long long i = 0; i <= bottom_row_elements; i++) {
        if (i < bottom_row_elements) {
            printf("\n%lld\t%lld", index_jumper, lower_triangular_matrix_elements - 1);
            matrix[index_jumper] = 1.0;
            printf("\tInitialized with value");
            index_jumper += (bottom_row_elements - i);
        }
    }

    vector_free(&matrix);
    return EXIT_SUCCESS;
}

额外说明 #

• 若使用64位系统，int默认可能是64位，但为了跨平台兼容性，仍建议用明确的64位类型处理大内存计算。
• 调试用的printf会输出大量内容，可能拖慢程序或引发IO问题，非必要可注释移除。

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