C语言二级指针解引用工作原理及栈内存访问问题咨询

二级指针解引用的工作逻辑 #

你给出的代码中二级指针的操作完全符合C语言语法规则，执行过程如下：

• main函数中int *p = &a;定义了一个int类型指针p，初始值为局部变量a的地址。调用func(&p)时，传入的是指针p本身的内存地址，类型为int**，对应func的形参t。
• 进入func后，形参t存储的是main中p变量的地址。执行*t = &q时，*t是对二级指针t的一级解引用，等价于直接操作main函数中的p变量，将func内局部变量q的栈地址赋值给p。此时p的指向就从原变量a切换到了q的栈地址。

栈变量销毁后仍能读到40的具体成因 #

你观察到的现象是典型的栈内存残留特性导致的，核心逻辑是：
C语言标准中所谓的「局部变量离开作用域后销毁」，并不是指操作系统会立刻将对应内存地址的数据清零或者标记为不可访问，只是表示这块内存的使用权已经被归还给程序的栈空间管理模块，后续新的栈操作（比如调用其他函数、声明新的局部变量）可以自由覆盖这块内存的内容。
你当前的代码运行时刚好满足两个条件：

1. func返回后到printf调用前，没有新的栈操作覆盖原q变量对应的栈内存位置，存储的40值依然完整保留在原地址
2. 指针p此时刚好指向这个未被覆盖的内存地址，解引用就读到了残留的40值

特别提醒：该行为属于C语言标准明确规定的未定义行为，这个运行结果完全不具备可移植性和可靠性：只要调整编译参数、开启O2及以上优化、或者在func调用和printf之间增加任意其他函数调用，都可能导致输出乱码、程序直接崩溃等完全不同的结果。

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