析构函数是真的释放内存还是仅在对象生命周期结束前执行？

问题1 动态对象析构与内存释放 #

你对动态对象的内存释放逻辑理解正确。析构函数本身不会释放对象本身占用的堆内存，delete关键字执行时会固定走两步逻辑：

1. 调用指向对象的析构函数，完成自定义清理
2. 将对象占用的堆内存返还给内存分配器，完成内存释放

手动调用p->~destructor()不会释放对象本身的堆内存，仅会结束对象的生命周期、清理对象内部持有的资源。这种场景下后续直接执行delete p会触发UB，因为delete会再次对已经完成析构的对象执行析构操作。如果已经手动调用过析构函数，需要释放内存时应该直接调用operator delete(p)跳过析构步骤。

问题2 局部对象析构与内存释放 #

你对局部对象的销毁逻辑理解正确。局部对象存储在栈内存中，作用域结束时，编译器提前插入的代码会先调用对象的析构函数，再通过调整栈指针的方式回收对象占用的栈内存，析构函数本身不参与栈内存的回收操作。

手动调用a.~destructor()不会释放对应的栈内存，仅会提前销毁对象的内部状态。等到作用域结束时，编译器会再次调用该对象的析构函数，对生命周期已经结束的对象重复析构属于典型的UB。栈内存只会在对应栈帧销毁时批量回收，和是否手动调用析构没有关联。

问题3 静态对象的析构规则 #

这个理解基本正确。静态对象和局部对象的析构、内存回收规则完全一致，唯一区别仅在于销毁时机：

• 普通局部对象在所属作用域结束时销毁
• 函数内静态对象、全局静态对象都在程序正常退出时销毁

额外补充：静态对象存储在静态存储区，内存由操作系统在程序退出时统一回收，不会在运行阶段单独释放。

问题4 析构函数的实际作用 #

你老师的说法完全正确。析构函数的核心作用就是提供对象生命周期结束前的回调时机，供开发者执行自定义的收尾逻辑，常见的应用场景包括：

• 释放对象内部持有的堆内存、缓冲区等动态分配的资源
• 关闭对象打开的文件、网络套接字、数据库连接等系统资源
• 释放对象持有的互斥锁、信号量等同步资源
• 递减引用计数（智能指针的核心实现逻辑就依赖析构函数的计数校验）
• 执行自定义业务逻辑，比如从全局注册容器中移除自身、打印销毁日志等

注意：我们说析构函数不负责释放对象本身的内存，不代表它不能释放对象管理的其他外部资源，这两个概念不要混淆。

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