这段代码中realloc()的实际作用是什么？为何注释它程序仍能运行？

realloc()的核心作用 #

realloc是C语言里用来调整堆内存块大小的函数，专门配合malloc/calloc这类分配堆内存的函数使用：

• 如果你之前用malloc(10*sizeof(int))申请了能存10个整数的堆空间，后来需要存20个，就可以用realloc(ptr, 20*sizeof(int))来扩容；反过来要缩小内存块大小也能用它。
• 它的实际行为分几种情况：
  • 如果当前内存块后面有足够的空闲堆空间，直接在原地址扩容，返回原来的指针。
  • 如果原内存块后面空间不够，会在堆上找一块新的足够大的空间，把原内存的数据完整拷贝过去，自动释放原来的旧内存块，然后返回新的内存地址。
  • 要是传入的指针是NULL，realloc就完全等同于malloc，直接分配新的内存。
  • 要是传入的大小是0，效果类似free（不过这个行为属于标准未定义，别这么用）。

为什么注释掉realloc()程序还能跑？ #

这纯粹是未定义行为的“侥幸”结果，不是程序真的不需要realloc：

• 原代码里的realloc大概率是用来扩容内存的，你注释掉后，程序其实在偷偷“越界”使用堆上不属于它的空闲空间——刚好这块空间暂时没被其他数据占用，所以程序没崩溃、没出问题。
• 但这种情况完全不可靠：换个运行环境（比如不同系统、不同内存状态），或者程序逻辑稍微变化，越界访问的内存可能被其他变量占用，轻则数据错乱，重则直接崩溃，甚至引发安全漏洞。
• 举个直白的例子：你租了10个储物柜放东西，注释掉realloc相当于硬把20个东西塞进去，后面10个塞到了别人的柜子里——刚好别人暂时没放东西，你就没事；哪天别人用了那些柜子，你的东西要么被清掉，要么你把别人的东西弄坏，整个系统就乱了。

结合指针基础的补充 #

• 堆内存是需要程序员手动管理的，malloc/calloc是申请，realloc是调整，free是释放；而栈内存是系统自动管理的，函数执行完就自动释放。
• 指针只是存内存地址的变量，realloc如果需要搬迁内存，会返回新的地址，所以正确用法应该是用临时变量接收返回值（避免realloc失败返回NULL导致原指针丢失），比如：

  int *temp = realloc(ptr, new_size);
  if (temp != NULL) {
      ptr = temp;
  } else {
      // 处理内存分配失败的情况
  }
  

• 内存越界访问是C语言里很常见的坑，别因为一次侥幸运行就忽略realloc的作用，规范使用内存管理函数才能保证程序稳定。

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