C语言中realloc函数工作原理及缩容后越界问题咨询

一、realloc的核心工作逻辑 #

realloc用于调整已分配内存块的大小，它的行为分几种典型情况：

• 若传入的原指针是NULL，等价于调用malloc(new_size)；
• 若new_size为0，等价于调用free(ptr)（不同实现细节略有差异，但标准建议视为释放内存）；
• 当new_size大于原内存块大小：
  • 优先尝试在原内存块的后续地址空间扩容，若有足够空闲空间，直接调整内存块的分配标记，返回原指针；
  • 若原地址后续空间不足，会在堆上找到一块足够大的新内存，将原内存块的数据复制到新地址，释放原内存块后返回新指针；
• 当new_size小于原内存块大小：
  • 绝大多数实现会直接在原地址上调整内存块的分配范围，不会移动数据，返回原指针；少数极端场景下可能复制数据到更小的内存块再释放原块，但这种情况非常少见。

二、realloc会自动将旧指针置为NULL吗？ #

不会。当realloc返回新指针（说明原内存块已被释放）时，原指针会变成野指针，但realloc不会主动将其置为NULL。如果后续不小心复用旧指针，会触发未定义行为，因此需要开发者手动处理旧指针（比如代码中将a赋值为temp，就覆盖了旧指针的值，避免了野指针风险）。

三、调用realloc缩小内存的行为及你的代码分析 #

缩容时的基本规则 #

调用realloc缩小内存时，标准只保证前new_size大小的内存数据会被保留，超出new_size的部分会被标记为空闲内存归还给堆管理器，但这部分内存并不会立刻被操作系统回收，仍然属于当前进程的地址空间。

你的代码为什么没触发SIGSEGV？ #

看你提供的代码：

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

int main()
{
    int* a = malloc(4*sizeof(int));
    a[0]= 1;
    a[1]= 1;
    a[2]= 1;
    a[3]= 1;
    
    int* temp = realloc(a, 3* sizeof(int));
    if(!temp)
        exit(1);
    a = temp;
    a[3] = 10;
    return 0;
}

你访问a[3]属于未定义行为，不是必然会触发段错误（SIGSEGV）：

• 缩容后，原第4个int的内存虽然已被释放给堆，但还没被操作系统收回，进程仍然能访问到这块地址；
• 堆管理器只是标记这块内存为空闲，还没重新分配给其他变量，所以写入操作不会立刻引发冲突。

但这种行为完全不可靠，一旦后续有其他内存分配操作，这块空闲内存可能被分配给其他变量，此时再访问a[3]就可能破坏其他数据，或者触发段错误。未定义行为的结果是不可预测的，不能因为这次没崩溃就认为是合法操作。

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