局部变量在控制流越过其定义的最内层代码块右大括号 } 的瞬间被销毁，此时编译器插入析构调用并标记内存为可重用；与函数返回或栈帧弹出无关。
局部变量在离开其作用域的那一刻被销毁，不是“函数返回后”，也不是“栈帧弹出时”这种模糊说法——而是执行流**越过右大括号 } 的瞬间**，编译器会插入析构调用（如有）并标记该变量内存为可重用。
局部变量销毁的准确触发点
销毁动作发生在控制流**离开定义它的最内层代码块末尾**，和函数是否返回无关。比如：
-
if块内的变量，在}处销毁，哪怕后面还有return或throw - 循环体内的变量，每次迭代结束时都销毁（包括
for (int i = 0; i 中的 <code>i） - 即使函数提前
return，所有已进入作用域但尚未离开的局部变量，仍会在跳转前按逆序销毁
销毁时到底发生了什么
对不同类型的局部变量，销毁行为差异很大：
- 内置类型（如
int、double）：不执行析构，仅释放栈空间（无实际动作，只是栈指针回退） - 类类型对象：调用其析构函数，且严格按构造逆序执行（最后构造的最先析构）
- 含
std::vector、std::string等成员的对象：其成员的析构由编译器自动生成，无需手动干预 - 引用类型（如
int& r = x;）：不销毁，引用本身不是对象，没有生命周期
常见误解与危险操作
很多崩溃源于误判销毁时机，尤其涉及指针或引用时：
- 返回局部变量的地址（
return &x;）：x在函数末尾销毁，返回的是悬空指针 - 在
if块中取局部变量地址并存到外部指针：int* p; if (cond) { int x = 42; p = &x; }——x销毁后p立即失效 - 用
std::move转移局部对象后继续访问：转移不等于销毁，但原对象进入有效但未指定状态，再次读取是未定义行为 - 认为
static局部变量也遵循同样规则：错，static int x;的销毁发生在main()返回之后，全局阶段
真正容易被忽略的是：销毁是确定性、同步发生的运行期事件，但它不保证内存内容被清零或覆盖——那片栈内存可能几毫秒后才被新变量复用，所以“侥幸读到旧值”不等于安全。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
