关于C语言中realloc调整数组大小代码行作用的疑问

嘿，我刚好对这本书里的这段代码印象很深，来帮你把逻辑掰明白~

首先先还原一下那段你提到的典型代码（应该和你看到的版本一致）：

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

int main() {
    size_t bufferSize = 10;
    char *buffer = malloc(bufferSize);
    if (buffer == NULL) {
        fprintf(stderr, "Initial allocation failed\n");
        return 1;
    }

    char ch;
    size_t count = 0;
    while ((ch = getchar()) != EOF) {
        if (count >= bufferSize) {
            bufferSize *= 2;
            char *newBuffer = realloc(buffer, bufferSize);
            // 你注释掉的大概率是下面这段判定或赋值逻辑
            if (newBuffer == NULL) {
                free(buffer);
                fprintf(stderr, "Reallocation failed\n");
                return 1;
            }
            buffer = newBuffer;
        }
        buffer[count++] = ch;
    }

    free(buffer);
    return 0;
}

你注释掉某行还能正常运行，完全是测试环境下的侥幸情况，这段判定逻辑的作用其实是动态内存分配里的核心安全保障，分两部分拆解：

1. 为什么要用newBuffer接收realloc的返回值？ #

realloc的行为有三种关键场景：

• 内存充足且原块可扩展：返回和buffer相同的原地址
• 原块无法扩展：分配新内存、拷贝原数据、释放原块，返回新地址
• 内存不足分配失败：返回NULL，原内存块不会被释放

如果直接写buffer = realloc(buffer, newSize)，一旦分配失败返回NULL，你会直接丢失原来buffer的指针——原内存块还占着空间，但你找不到它了，这就造成了内存泄漏；而且后续用NULL状态的buffer读写数据，会直接触发段错误崩溃。

用newBuffer先接收返回值，就能保住原指针：即使分配失败，你还能正常释放buffer，做优雅的错误处理。

2. 为什么必须执行buffer = newBuffer？ #

如果realloc分配了新的内存块（返回新地址），你不更新buffer的话，后续操作的还是旧地址——但旧地址已经被realloc释放了，这属于野指针操作，是C语言里的未定义行为。

你现在测试时内存充足，realloc基本都是原地扩展，所以newBuffer和buffer地址一致，看起来没问题，但哪天程序跑在内存紧张的环境里，立刻会出现崩溃或数据损坏的诡异问题。

3. 总结这段逻辑的核心价值 #

它是在帮你：

• 避免内存泄漏，防止原内存块丢失
• 处理内存分配失败的异常场景，让程序优雅退出而非崩溃
• 确保指针指向有效的内存地址（不管是原块还是新块）

绝对不能因为测试时没问题就省略这段代码哦！

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