如何正确终止C++程序并执行析构函数？含任意位置终止需求

问题1：如何在调用main函数作用域之外的析构函数的情况下，正确终止C++程序？ #

main作用域之外的对象主要指全局对象、static静态对象（包括函数内的static对象），它们的析构函数会在程序终止阶段自动执行。要确保这些析构被调用，有两种可靠方式：

1. 让main函数正常返回：这是最安全的方式。当main执行到return语句时，会先销毁main作用域内的局部对象，随后自动调用所有全局、static对象的析构函数，最后完成程序终止。
2. 调用std::exit(int status)：如果需要在程序中途（比如某个函数内部）终止，调用std::exit()会直接进入程序终止流程：它会依次调用全局对象、static对象的析构函数，执行std::atexit()注册的清理函数，最后终止程序。但注意，std::exit()不会触发栈上局部对象的析构，所以如果这些局部对象持有外部资源，需要提前手动清理或用RAII机制确保资源已被处理。

问题2：当前C++标准是否提供了可从任意位置关闭程序的工具，同时能妥善处理堆上分配的资源？ #

C++标准提供的程序终止工具中，没有能同时满足「从任意位置终止」且「自动处理所有堆/栈资源（调用全部析构函数）」的直接方案，各工具的行为如下：

标准终止工具的局限性 #

• std::exit()：仅会调用全局、static对象的析构，以及std::atexit()注册的函数。它不会触发栈上局部对象的析构，因此如果堆资源由局部智能指针（如std::unique_ptr）持有，这些堆资源不会被自动释放（因为局部智能指针的析构不会执行）。
• std::quick_exit()（C++11引入）：快速终止程序，既不调用全局/static对象的析构，也不处理栈资源，仅执行std::at_quick_exit()注册的函数，完全不适合需要释放外部系统资源的场景。
• std::abort()：直接终止程序，不执行任何析构函数或清理操作，会导致资源泄漏，严禁用于需要妥善释放资源的场景。

满足需求的解决方案 #

如果需要从任意位置终止程序，同时确保所有资源（包括栈上局部对象持有的堆资源）的析构函数都被执行，推荐使用异常传播机制：

1. 在需要终止的位置抛出异常。
2. 让异常向上传播到main()函数，在main()中捕获异常后正常返回。
3. 此过程会触发栈展开，自动调用调用栈上所有局部对象的析构函数，同时全局/static对象的析构也会在main返回后执行，从而妥善释放所有由RAII对象持有的外部资源和堆内存。

示例代码：

#include <iostream>
#include <stdexcept>
#include <memory>

// 持有外部系统资源的RAII类
class ExternalResource {
public:
    ExternalResource() { std::cout << "获取外部资源" << std::endl; }
    ~ExternalResource() { std::cout << "释放外部系统资源" << std::endl; }
};

void critical_function() {
    // 局部智能指针持有堆资源
    std::unique_ptr<ExternalResource> res = std::make_unique<ExternalResource>();
    
    // 触发终止条件，抛出异常
    if (true) {
        throw std::runtime_error("遇到致命错误，需终止程序");
    }
}

int main() {
    try {
        critical_function();
    } catch (const std::exception& e) {
        std::cerr << "程序终止原因：" << e.what() << std::endl;
        return EXIT_FAILURE;
    }
    return EXIT_SUCCESS;
}

运行这段代码会输出：

获取外部资源
程序终止原因：遇到致命错误，需终止程序
释放外部系统资源

可见局部智能指针的析构函数被正常调用，外部资源得到释放。

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