C语言函数内调用realloc扩容数组时，新增malloc变量触发主函数指针值异常问题排查

本次异常是C语言值传递机制与realloc的内存分配特性叠加触发的未定义行为，具体逻辑如下：

• 值传递的参数拷贝规则：C语言所有函数参数传递都采用值拷贝模式，形参是实参的独立临时副本。main函数栈上的指针变量pA作为实参传入padd函数时，仅仅是把pA存储的地址值复制了一份，赋值给函数内部的形参a；a和pA是两个完全独立的栈变量，修改a本身的指向，完全不会影响main函数里pA的指向。
• realloc的内存分配特性：执行realloc扩容时存在两种行为分支：
  1. 若原内存块后方有足够的连续空闲空间，直接在原块上扩展长度，返回的新地址与原地址完全一致
  2. 若原位置无足够连续空间，就在堆的其他位置申请一块满足长度要求的新内存，将原内存块的内容完整拷贝过去，释放原有旧内存块，返回新内存块的首地址。

额外说明：代码中对malloc、realloc返回值的(void *)强转属于冗余写法，C语言允许void指针隐式转换为任意对象指针类型，这种写法既不会引发问题，也不是导致本次异常的核心原因。*

为何注释掉d的malloc时程序输出看似正常 #

这是未触发realloc异地分配分支的偶然结果：此时堆内存布局宽松，pA申请的小块内存后方有足够连续空闲空间，realloc直接在原块上完成了扩容，返回的新地址与pA原来的地址完全相同。此时函数内的形参a和main里的pA指向同一块内存，对a[0]的修改自然能被main里的pA读取到，完全不代表代码逻辑本身正确。

为何新增d的malloc后出现随机异常值 #

启用d = (int *)malloc(size)后，堆内存布局发生了本质变化：pA申请的3个int长度的内存块后方，紧跟着就是d申请的内存块，此时pA的原位置已经没有足够连续的空间支撑10个int的扩容需求，realloc会触发异地分配分支：

1. 在堆上找到一块满足10个int长度要求的新内存，将原pA块的内容拷贝过去
2. 释放掉pA原来指向的旧内存块
3. 将新内存的地址返回给函数内部的形参a

整个流程中，main函数里的pA从未收到过这个新地址，它仍然指向已经被realloc主动释放的旧内存块。此时通过pA访问pA[0]属于典型的悬空指针访问，读取到的数值完全取决于堆内存此刻被其他内存操作覆盖成了什么内容，因此会出现无规律的随机异常值。

正确的代码修复方向 #

要在自定义函数中完成realloc扩容，必须把realloc返回的新地址同步回main函数里的原指针变量，常见的两种可靠实现方式：

• 传二级指针：将padd函数的形参改为二级指针类型，直接在函数内部修改main里pA的指向
• 函数返回新地址：让padd函数将realloc得到的新指针作为返回值，在main函数中接收返回值覆盖原pA
  注意：调用realloc时必须单独定义变量接收返回值并做非空判断，禁止直接将realloc的返回值赋值给原指针，否则一旦申请失败返回NULL，会丢失原内存块的地址造成内存泄漏。

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