在C++中，指针超出作用域时为何无法自动释放对象？

• 编译器无法精准判断对象是否还会被使用
  你可能在函数内部把指针存入全局变量、外部容器或者其他跨作用域的存储结构里，这种间接引用的追踪对编译器来说复杂度极高。如果编译器贸然自动删除对象，反而会导致后续代码访问野指针，引发程序崩溃，这比内存泄漏的后果更严重。

• 符合C的设计哲学
  C一直坚持**"零开销抽象"和"程序员主导控制权"**的原则。如果强制编译器自动回收动态对象，就需要引入运行时的引用计数或追踪机制，会额外增加性能开销，违背了C++追求高效的初衷。而且很多场景下，程序员就是希望对象在函数结束后继续存活，编译器不能越俎代庖替程序员做决策。

• 历史兼容与设计灵活性
  早期C为了兼容C的内存模型，保留了手动管理内存的特性，给底层操作留下了足够的灵活性。后来虽然有std::unique_ptr、std::shared_ptr这类智能指针来实现自动内存管理，但这是库层面的解决方案，而非编译器强制行为——毕竟C要兼顾底层控制需求和易用性。

举个典型的反例：

static std::vector<Obj*> global_objs;
void MyMethod() {
  Obj* p = new Obj();
  global_objs.push_back(p); // 指针被存入全局容器，对象后续仍需使用
}

如果编译器自动删除p指向的对象，后续访问global_objs里的元素就会触发非法内存访问，这显然违背了程序员的意图。

内容的提问来源于stack exchange，提问作者L.Kai