std::exit

在标头 `<cstdlib>` 定义
void exit( int exit_code );		(C++11 前)
[[noreturn]] void exit( int exit_code );		(C++11 起)

导致发生正常程序终止。

进行一些清理步骤：

1) 销毁具有静态存储期的对象，并且调用之前通过调用 std::atexit 注册的函数：

a) 具有静态存储期的非局部对象会以它们的构造函数的完成顺序逆序销毁。

b) 通过 std::atexit 注册的函数会按照它们的注册顺序逆序调用，但一个函数会在它被注册时已经被调用过的之前注册的函数之后被调用。

c) 对于每个通过 std::atexit 注册的函数 f 和每个具有静态存储期的非局部对象 obj，

如果 f 在初始化 obj 前注册，那么 f 只能在 obj 销毁后调用；
如果 f 在初始化 obj 后注册，那么 f 只能在 obj 销毁前调用。

d) 对于每个具有静态存储期的局部对象 obj，它会以如同在 obj 的构造函数完成时通过 std::atexit 注册一个调用 obj 的析构函数的函数销毁。

(C++11 前)

1) 拥有关联到当前线程的线程局域存储期的对象的析构函数、拥有静态存储期的对象的析构函数及以 std::atexit 注册的函数并发执行，同时维持下列保证：

a) 线程局域对象的最末析构函数按顺序早于静态对象的首个析构函数。

b) 如果线程局域或静态对象 A 的构造函数或动态初始化完成按顺序早于线程局域或静态对象 B，那么 B 的析构完成按顺序早于 A 的析构开始。

c) 如果静态对象 A 的初始化完成按顺序早于 std::atexit 对某函数 F 的调用，那么在终止期间对 F 的调用按顺序早于 A 的析构开始。

d) 如果 std::atexit 对某函数 F 的调用按顺序早于静态对象 A 的初始化完成，那么终止期间 A 的析构开始按顺序早于对 F 的调用。

e) 如果 std::atexit 对某函数 F1 的调用按顺序早于 std::atexit 对某函数 F2 的调用，那么终止期间对 F2 的调用按顺序早于对 F1 的调用。

(C++11 起)

以上内容中，

如果任何以 atexit 注册的函数或任何静态/线程局域对象的析构函数抛出异常，那么就会调用 std::terminate。
如果编译器将对象动态初始化提升到非局部初始化的静态初始化阶段，那么析构顺序忠实于它本应有的动态初始化。
如果函数局域（块作用域）静态对象被销毁，然后该函数从另一静态对象被调用，且控制流经过该对象的定义（或如果它被间接使用，那么就是经过指针或引用），那么行为未定义。
如果函数局域（块作用域）静态对象在对象或数组的构造期间初始化，那么只有在销毁该类的所有子对象或该数组的所有元素后才销毁它。

2) 清除所有 C 流的缓冲区并关闭它们。

3) 移除 std::tmpfile 所创建的文件。

4) 将控制返回给宿主环境。如果 exit_code 是 0 或 EXIT_SUCCESS，那么返回实现定义的指示成功终止的状态。如果 exit_code 是 EXIT_FAILURE，那么返回实现定义的指示不成功终止的状态。其他情况下返回实现定义的状态值。

不回溯栈：不调用拥有自动存储期变量的析构函数。

与 main 函数的关系

从 main 函数以 return 语句或以抵达函数尾返回，会进行正常函数终止（调用拥有自动存储期的对象的析构函数），再执行 std::exit，将返回语句的实参（或如果使用隐式返回就是 0）作为 exit_code 传递。

参数

exit_code

-

程序的退出状态

返回值

（无）

示例

运行此代码

#include <cstdlib>
#include <iostream>
 
struct Static
{
    ~Static() 
    {
        std::cout << "Static 析构函数r\n";
    }
};
 
struct Local
{
    ~Local() 
    {
        std::cout << "Local 析构函数\n";
    }
};
 
Static static_variable; // *会*调用此对象的析构函数
 
void atexit_handler()
{
    std::cout << "atexit 处理函数\n";
}
 
int main()
{
    Local local_variable; // *不会*调用此对象的析构函数
    const int result = std::atexit(atexit_handler); // 将调用处理函数
 
    if (result != 0)
    {
        std::cerr << "atexit 注册失败\n";
        return EXIT_FAILURE;
    }
 
    std::cout << "测试\n";
    std::exit(EXIT_FAILURE);
 
    std::cout << "此行*不*会执行\n";
}

输出：

测试
atexit 处理函数
Static 析构函数

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

缺陷报告	应用于	出版时的行为	正确行为
LWG 3	C++98	在清理步骤中，(1) 通过 std::atexit 注册新的函数或 (2) 初始化静态局部对象的行为不明确	使之明确

参阅

abort	导致非正常的程序终止（不进行清理） (函数)
atexit	注册将于调用 std::exit() 时被调用的函数 (函数)
quick_exit (C++11)	导致快速程序终止，不进行完全的清理 (函数)
at_quick_exit (C++11)	注册将于调用 `quick_exit` 时被调用的函数 (函数)

编译器支持
自立实现与有宿主实现
语言
标准库
标准库标头
具名要求
功能特性测试宏 (C++20)
语言支持库
概念库 (C++20)
元编程库 (C++11)
诊断库
通用工具库
字符串库
容器库
迭代器库
范围库 (C++20)
算法库
数值库
本地化库
输入/输出库
文件系统库 (C++17)
正则表达式库 (C++11)
并发支持库 (C++11)
技术规范
符号索引
外部库

std::exit

与 main 函数的关系

参数

返回值

示例

缺陷报告

参阅

导航