函数返回后仍可访问自动分配数组？原因及认知误区解析

问题代码 #

#include <stdio.h>

void setPtrOnTempData(char **ptr) {
    char str[] = "AAAA";
    *ptr = str;
}

int main() {
    char temp[] = "Paras";
    temp[3] = 'F';

    char *ptr = temp;
    ptr++;
    ptr[3] = 'F';
    printf("%s", ptr);  // prints "arFF"

    setPtrOnTempData(&ptr);

    ptr[0] = 'F';
    printf("%s", ptr);  // prints "FAAA"

    return 0;
}

问题描述 #

我原本预期程序会崩溃，判断依据是：

• 自动分配数组的元素均在栈上分配，函数返回后会失去对该内存的控制权。
• 数组变量是该数组在栈上的基元素地址，赋值给传入的指针后，指针会指向栈上已失效的内存区域。

但实际结果是我仍能访问该数组曾分配的内存，且可修改其中的数据。这是为什么？我的认知哪里有误？

更新内容 #

1. 抱歉之前表述不准确，最初标题中我把“automatic”写成了“statically”。
2. 我还尝试用新数据填充栈，比如在另一个函数中分配10个字符的新数组并调用该函数，本以为会覆盖ptr指向的原地址数据，但结果依旧，ptr指向的数据未变化。既然栈已增长刷新，为何会这样？

解答 #

核心：未定义行为≠必然崩溃 #

你的认知大方向是对的：函数返回后，栈上的自动变量内存确实会被标记为“失效”，程序不再拥有合法访问权限。但未定义行为（Undefined Behavior）不代表程序一定会立刻崩溃——C标准不对这种行为的结果做任何保证，它可能崩溃、输出乱码、看起来完全正常，甚至在不同编译器/平台下表现天差地别。

为什么能访问甚至修改？ #

栈是靠栈指针（ESP/RSP寄存器）管理空间的：函数返回时，栈指针只是向上移动以释放栈空间，并不会主动清空或覆盖之前的数据。只要后续没有其他函数调用占用这块内存，旧数据就会暂时保留，这时候通过指针访问就可能读到原内容，甚至修改成功——但这只是巧合，绝非合法操作。

为什么填充栈后数据没变化？ #

栈是向下生长的，你调用新函数分配数组时，新的栈空间是在当前栈指针的下方开辟的。如果新分配的数组没有覆盖到之前str[]所在的栈位置，旧数据自然不会被修改：

• setPtrOnTempData返回后，栈指针回到了调用前的位置；
• 新函数的10字符数组是在当前栈指针基础上继续向下开辟空间，没触及str[]的内存区域；
• 所以那块旧内存的数据依然保留，访问时还是能看到原来的内容。

你的认知误区 #

你把“内存失效”等同于“内存被立刻销毁/覆盖/无法访问”，但实际情况是：

• 内存失效只是程序失去了访问它的合法权限，物理内存本身还在那里；
• 栈属于进程私有地址空间，操作系统不会立刻回收；
• 只有当后续栈操作（比如其他函数调用）用到这块内存时，旧数据才会被覆盖。

这种“看起来正常”的行为非常危险，只要环境稍有变化（比如调整编译器优化级别、添加新函数调用、更换平台），程序就可能突然崩溃或出现诡异bug。

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