C++内存分配与释放时机咨询：栈对象指针跨作用域使用问题

结论 #

你原本的认知完全正确，这段代码存在典型的悬垂指针问题，getB()执行退出后，B中存储的A*指针已经无效，访问该指针属于未定义行为，绝对无法保证正常工作。

详细说明 #

1. 对象a的生命周期和内存释放时机 #

• F::getB()中定义的A a属于自动存储期对象，分配在函数的栈帧上。按照C++标准规定，自动存储期对象的生命周期和它所在的代码块严格绑定：当getB()执行返回、代码块退出的瞬间，a就会被自动析构，它占用的栈内存会被系统标记为可复用，后续任何函数调用、栈操作都可能覆盖这块内存的内容。
• 你在new B(&a)时传入的是栈上a的地址，B内部存储的这个指针在getB()返回后就变成了悬垂指针：哪怕你看起来暂时能正常访问，也只是运气好，这块内存还没被其他操作覆盖，只要程序运行逻辑稍微复杂一点，就会出现崩溃、数据错乱等完全不可预期的问题。
• 自动存储期的a不需要手动调用delete释放，它的内存会在函数退出时自动被栈回收，你手动delete反而会触发新的未定义行为。而你new B申请的堆内存，是在main中delete b的时候释放，但这一步并不会影响已经无效的A*指针。

2. 标准依据 #

C++标准[basic.stc.auto]章节明确规定：块作用域中声明的变量具有自动存储期，其生命周期从块的执行进入时开始，到块的执行退出时终止。任何对生命周期已结束对象的访问、指针解引用操作都属于未定义行为。

3. 为什么你会在代码库中见到类似写法 #

这类写法本质都是有严重隐患的坏代码，只是刚好满足以下条件的时候可能不会立刻暴雷：

• 后续代码从来没有实际访问过B内部存储的A*指针
• 测试场景非常简单，getB()返回后到程序结束前没有其他栈操作覆盖a原本的内存地址
  这类隐形bug的排查成本极高，只要代码迭代到一定复杂度，必然会出现不可预期的故障。

常见修复方案 #

• 如果A对象需要和B保持相同的生命周期：将A a改为堆分配new A，同时在B的析构函数中释放对应的A指针，或者直接用std::unique_ptr<A>/std::shared_ptr<A>智能指针自动管理生命周期，避免手动内存管理错误。
• 如果A只需要在B构造的时候使用：不要在B中存储A*指针，直接存储A的副本即可。

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