C指针指向内层块变量，块结束后解引用是否符合标准？

你的代码中对*r的解引用属于未定义行为，输出43完全是巧合，而非C语言设计的预期结果。

核心原因：变量的生命周期 #

内层代码块中的int b = 43;属于自动存储期变量（默认auto类型），它的生命周期严格限定在声明它的内层代码块内。当内层代码块执行完毕后，b占用的栈内存会被标记为可重新分配，此时这个变量的实体已经不存在了。

C标准的明确规定 #

根据C语言标准（例如C17标准的6.2.4节）：

• 自动存储期对象的生命周期从进入其声明所在的代码块开始，到该代码块执行结束（无论正常退出还是异常退出）时终止。
• 当对象的生命周期结束后，指向该对象的指针会变为悬垂指针，对悬垂指针进行解引用的行为属于未定义行为。

未定义行为意味着C标准不对这种情况的程序行为做任何保证：程序可能输出原数值、可能输出随机垃圾值、可能直接崩溃，甚至可能出现其他不可预料的结果。你这次得到43，只是因为b原来的内存区域暂时还没被其他数据覆盖，这是完全不可靠的巧合。

代码行为分析 #

你代码中声明的int c = 44;可能刚好没有占用b原来的栈空间，或者即使占用了，某些编译器的内存布局导致原数值暂时保留，但这都不是语言层面的保证。只要内层代码块结束，b的生命周期就已经终止，任何访问其原内存的操作都是非法且不可预测的。

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