为何使用realloc时触发「可能返回空指针致内存泄漏」警告？

你的代码触发警告的核心原因是直接用原指针接收realloc的返回值：当realloc扩容失败返回NULL时，原指针会被覆盖成NULL，导致原本指向的内存块失去引用，最终造成内存泄漏。另外错误处理逻辑也存在冗余和无效操作。

具体修复步骤 #

1. 用临时指针存储realloc结果：先把realloc的返回值存到临时指针里，确认扩容成功后再赋值给原指针，这样即使失败，原指针依然指向旧内存块，能正常释放。
2. 修正错误处理逻辑：扩容失败时，释放所有已分配的有效内存，避免泄漏。
3. 补充内存计算的元素大小：realloc的第二个参数是总字节数，你当前只传了size（元素个数），需要乘以对应数据类型的大小，否则会分配不足。

修复后的代码示例 #

假设sequence和playerInput是int类型数组（如果是其他类型，替换sizeof(int)即可）：

if (sequenceLength == size)
{
    size *= 2;
    // 处理sequence的扩容
    int *temp_seq = realloc(sequence, size * sizeof(int));
    if (temp_seq == NULL)
    {
        printf("reallocation was unsuccessful.\n");
        free(sequence);  // 此时sequence仍指向旧内存，可正常释放
        free(playerInput);
        exit(EXIT_FAILURE);  // 用EXIT_FAILURE表示错误退出更合理
    }
    sequence = temp_seq;  // 确认成功后更新原指针

    // 处理playerInput的扩容
    int *temp_input = realloc(playerInput, size * sizeof(int));
    if (temp_input == NULL)
    {
        printf("reallocation was unsuccessful.\n");
        free(sequence);  // 已成功扩容的sequence需要释放
        free(playerInput);  // 原playerInput仍有效，可释放
        exit(EXIT_FAILURE);
    }
    playerInput = temp_input;
}

关键细节解释 #

• 用临时指针承接realloc结果：避免失败时丢失原内存的引用，确保旧内存能被正确释放。
• 修正退出状态：EXIT_SUCCESS表示正常退出，扩容失败属于错误场景，应该用EXIT_FAILURE。
• 补充字节数计算：realloc要求传入总字节数，只传元素个数会导致内存分配不足，引发后续越界访问问题。
• 错误处理中的free操作：只有指向有效内存的指针才需要释放，当realloc失败时，原指针并未被修改，所以可以安全释放。

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