C++程序出错时动态分配对象的销毁方式及除零错误内存泄漏疑问

嘿，这个问题问到点子上了——这可是C++裸指针最容易踩的坑之一！

首先直接给你结论：你提供的代码里，ptr指向的int对象确实不会被你的程序主动销毁，最终只能靠操作系统回收进程内存时顺带清理，但从C++程序的逻辑层面来说，这就是实打实的内存泄漏。

为啥会这样？ #

你代码里的15 / 0属于C++标准定义的未定义行为（Undefined Behavior）。这种错误出现时，程序的行为完全没谱——绝大多数情况下，操作系统会直接给进程发终止信号（比如Linux下的SIGFPE，Windows下直接弹崩溃窗口），程序会立刻停掉，后面的delete ptr;根本没机会执行。那块动态分配的内存就这么“丢”了，直到进程被彻底干掉，操作系统才会把内存收回系统池。

那怎么避免这种坑？ #

分两种场景来解决：

1. 处理合法的C++异常 #

如果错误是通过C++标准异常抛出的（比如new内存分配失败抛std::bad_alloc，或者你自己用throw抛出的异常），可以用try-catch块包裹代码，手动在catch里释放内存：

#include <stdexcept>

int main() {
    int *ptr = new int();
    try {
        // 比如这里是可能抛出异常的逻辑
        throw std::runtime_error("出问题啦！");
    } catch (...) {
        delete ptr; // 异常发生时手动释放内存
        throw; // 可以选择把异常继续抛出去
    }
    delete ptr; // 正常执行路径也要记得释放
}

不过这种写法太繁琐了，而且很容易漏写delete，不是最优解。

2. 用智能指针（现代C++首选方案） #

最省心的方式是用标准库的智能指针，比如std::unique_ptr或者std::shared_ptr。智能指针是基于RAII思想实现的类，它会在自己离开作用域的时候（不管是正常退出程序，还是异常导致的栈展开）自动调用delete，销毁指向的对象：

#include <memory>

int main() {
    std::unique_ptr<int> ptr = std::make_unique<int>();
    int result = 15 / 0; // 哪怕这里触发崩溃，也不用手动管内存

    // 完全不需要写delete！
}

补充一句：如果是合法的C++异常导致栈展开，智能指针的析构函数一定会被调用，确保内存被正确释放；但如果是像除零这种未定义行为导致的直接崩溃，智能指针也没机会执行析构，但操作系统会回收进程的所有内存，不会让内存一直占用系统资源。

额外小贴士 #

• 未定义行为是C++里的“雷区”，能避免就避免（比如做除法前先检查除数是不是0）。
• 管理动态内存时，永远优先用智能指针代替裸指针，这能从根源上减少内存泄漏的风险。

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