C++中if语句块内创建的堆对象在语句结束后会发生什么？

你的判断完全准确：

• 花括号代码块结束时，被销毁的仅仅是块内部声明的栈上指针变量foo，通过new创建在堆上的Foo实例不会被自动回收，会一直驻留在内存中。因为已经没有有效指针指向这个实例，你既无法访问它也无法手动释放它，这就是典型的内存泄漏。
• C++的花括号作用域仅限制标识符（变量名）的可见范围，不约束堆内存的生命周期。你在if块内声明的Foo* foo是栈变量，作用域仅限if块内部，块执行完毕后这个存地址的指针本身被回收，块外找不到foo这个标识符，编译阶段就会直接报错，根本到不了运行时调用的步骤。
• 额外提一句你示例代码的语法问题：foo是指针类型，即便能访问到，调用成员方法的正确写法也应该是foo->GetBar()，点号.仅适用于值类型、引用类型的对象调用。

核心逻辑非常简单：保证指向堆对象的指针变量的生命周期，覆盖你需要访问该对象的所有代码范围，常见实现有三种：

1. 提前在外部作用域声明裸指针，块内完成赋值

   int main()
   {
       Foo* foo = nullptr; // 在外层作用域提前声明指针
       if (true)
       {
           foo = new Foo(6); // 块内仅给已有指针赋值，不声明新的局部变量
       }
       foo->GetBar(); // 正常访问
       delete foo; // 用完必须手动释放，避免内存泄漏
       foo = nullptr;
   }
   

2. C++11及以上版本优先使用智能指针，从根源避免泄漏

   #include <memory>
   int main()
   {
       std::unique_ptr<Foo> foo; // 外层声明智能指针
       if (true)
       {
           foo = std::make_unique<Foo>(6); // 块内构造堆对象
       }
       foo->GetBar(); // 正常访问，出main作用域时智能指针会自动释放堆对象，无需手动delete
   }
   

3. 其他适配业务场景的方式：比如将堆指针赋值给生命周期更长的变量（类成员变量、全局变量、通过引用传入块的外部指针参数等），或者在不需要堆分配的场景直接返回栈对象的值，都可以实现跨作用域访问。

注意：不要尝试通过猜测栈内存地址的方式访问块内已经销毁的局部指针，这属于未定义行为，会受编译器优化、栈布局变化影响，直接导致程序崩溃或不可预期的逻辑错误。

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