realloc如何处理字符串中的空字节？C动态内存分配代码疑问

这本质是未定义行为下的偶然巧合，具体原因可以拆解为这几点：

• 堆内存的残留值
  malloc/realloc从堆中分配内存时，并不会主动清空内存内容。如果你的分配区域刚好紧邻之前释放的内存，而那块内存里刚好有\0，程序就会“误打误撞”读到它。比如你第一次分配5字节存"Hello"，后面的堆内存可能残留了之前操作留下的\0，所以循环能正确终止。

• 调试环境的特殊初始化
  很多调试环境（比如带ASAN的编译器、Debug模式）会把堆内存初始化为固定值（比如全0），这时候分配的内存后面自然会有\0。但换成Release模式或者其他环境，这种初始化就不存在了，程序大概率会出问题。

• 测试场景的局限性
  你当前的测试次数和场景太单一，刚好每次都撞上有\0的情况。一旦你追加更长的字符串，或者在内存紧张的环境下运行，堆内存布局改变，就会出现读取乱码、程序崩溃的情况。

正确的做法 #

你必须修正代码，为终止空字节预留空间：

1. 分配内存时，要按「字符串长度 + 1」的大小申请（比如追加长度为n的字符串，需要额外多1字节存\0）
2. 每次追加完成后，手动在缓冲区的末尾设置abuf.buf[abuf.len] = '\0'

举个修正后的abAppend示例：

typedef struct {
    char *buf;
    int len;
} ABuf;

void abAppend(ABuf *ab, const char *s, int len) {
    // 为新内容 + 终止空字节预留空间
    char *newBuf = realloc(ab->buf, ab->len + len + 1);
    if (!newBuf) return;

    memcpy(newBuf + ab->len, s, len);
    ab->len += len;
    // 手动设置终止空字节
    newBuf[ab->len] = '\0';
    ab->buf = newBuf;
}

内容的提问来源于stack exchange，提问作者C-h me