C语言函数形参行为异常 形参内存复用问题排查

你的代码触发了未定义行为（Undefined Behavior）：全局指针second保存了函数形参a的地址，但形参a的生命周期仅局限于myTest1的单次调用周期内，函数返回后a占用的内存会被回收，后续再通过second解引用访问这块内存，C语言标准不对运行结果做任何保证，你观测到的1 2 3只是当前编译环境、编译参数下的特定表现，不是可稳定复现的语言特性。

你使用的GCC在默认编译选项下，采用栈结构管理函数调用的临时数据，这是大部分通用平台C编译器的通用实现逻辑：

• 每次调用函数时，编译器会在栈顶开辟对应大小的栈帧，用来存放函数的形参、局部变量、返回地址等调用相关数据，函数返回后，这块栈帧空间会被标记为可复用，不会主动清空内容。
• 你三次调用的myTest1函数签名完全固定，形参a在栈帧内的偏移位置是编译器提前算好的固定值。三次连续调用时，新的栈帧刚好完全复用了上一次myTest1调用使用的栈空间：
  1. 第一次调用传入参数1，你将当前栈帧中a的地址存入second，此时访问读到值1；
  2. 第二次调用传入参数2，新栈帧和上次栈帧位置完全重合，形参位置写入了值2，second指针刚好指向这个位置，访问读到值2；
  3. 第三次调用传入参数3，同理，形参位置写入值3，访问读到值3。

注意：这个结果没有任何可移植性。如果开启编译器优化（比如-O2）、修改函数参数列表、调整局部变量布局、更换编译器或运行平台，程序可能输出乱码、直接崩溃，甚至出现完全不符合直觉的结果——未定义行为的本质就是标准不做任何约束。

C语言标准只对形参的生命周期、作用域做强制约束，不强制规定具体的内存存放位置，具体实现由编译器决定：

• 生命周期约束：形参的生命周期从函数被调用进入执行流开始，到函数执行完成返回调用方结束。函数返回后，任何指向形参的指针都会成为野指针，解引用野指针属于标准明确禁止的错误操作。
• 作用域约束：形参拥有函数级的块作用域，仅能在函数内部访问，和函数内定义的局部变量作用域规则一致，初始值由调用方传入的实参初始化。
• 常见实现的内存分配策略：
  • 默认低优化等级下，x86、ARM等通用平台的GCC、Clang、MSVC等编译器通常会把形参分配在栈上，和局部变量共用栈帧空间，连续调用同签名函数时栈帧往往会被复用；
  • 高优化等级下，使用频率高的形参会直接分配在CPU寄存器中，不会占用栈内存，此时对形参取地址的操作会被编译器特殊处理，可能额外分配栈空间存放该形参副本；
  • 部分特殊架构的嵌入式编译器可能将形参分配在静态存储区，这种实现非常少见。

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