std::exit

 

C++

编译器支持

独立和宿主式

语言

标准库

标准库头文件

具名要求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

诊断库

内存管理库

元编程库 (C++11)

通用工具库

容器库

迭代器库

范围库 (C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 (C++17)

并发支持库 (C++11)

执行控制库 (C++26)

技术规范

符号索引

外部库

 

工具库

语言支持 类型支持 (基本类型，RTTI) 库特性测试宏 (C++20) 程序工具 可变参数函数 initializer_list (C++11) is_constant_evaluated (C++20) is_within_lifetime (C++26) source_location (C++20) 协程支持 (C++20) 契约式程序设计支持 (C++26) 三路比较 three_way_comparablethree_way_comparable_with (C++20)(C++20) strong_ordering (C++20) weak_ordering (C++20) partial_ordering (C++20) common_comparison_category (C++20) compare_three_way_result (C++20) compare_three_way (C++20) strong_order (C++20) weak_order (C++20) partial_order (C++20) compare_strong_order_fallback (C++20) compare_weak_order_fallback (C++20) compare_partial_order_fallback (C++20)   is_eqis_ltis_lteq (C++20)(C++20)(C++20)   is_neqis_gtis_gteq (C++20)(C++20)(C++20)

通用工具 函数对象 位操作 (C++20) bitset hash (C++11) 关系运算符 (在 C++20 中已弃用) rel_ops::operator!=rel_ops::operator>    rel_ops::operator<=rel_ops::operator>= 整数比较函数 cmp_equalcmp_lesscmp_less_than (C++20)(C++20)(C++20)   cmp_not_equalcmp_greatercmp_greater_than (C++20)(C++20)(C++20) in_range (C++20) 交换 和 类型操作 swap ranges::swap (C++20) exchange (C++14) declval (C++11) to_underlying (C++23) forward (C++11) forward_like (C++23) move (C++11) move_if_noexcept (C++11) as_const (C++17) 常用词汇类型 pair tuple (C++11) optional (C++17) any (C++17) variant (C++17) tuple_size (C++11) tuple_element (C++11) apply (C++17) make_from_tuple (C++17) expected (C++23)

 

程序支持工具

程序终止
abort exit quick_exit (C++11) _Exit (C++11)	atexit at_quick_exit (C++11) EXIT_SUCCESSEXIT_FAILURE
不可达控制流
unreachable (C++23)
与环境通信
system	getenv
信号
signal raise sig_atomic_t	SIG_DFLSIG_IGN SIG_ERR
信号类型
SIGABRTSIGFPESIGILL	SIGINTSIGSEGVSIGTERM
非局部跳转
setjmp	longjmp
类型
jmp_buf

 

定义于头文件 <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 被销毁，如同在 obj 的构造函数完成后，以 std::atexit 注册了调用 obj 的析构函数的函数。	(直到 C++11)
1) 与当前线程关联的线程局部存储期对象的析构函数、静态存储期对象的析构函数，和用 std::atexit 注册的函数并发执行，同时保持下列保证： a) 线程局部对象的最后析构函数先序于静态对象的首个析构函数。 b) 若线程局部或静态对象 A 的构造函数完成或动态初始化先序于线程局部或静态对象 B，则 B 的析构完成先序于 A 的析构开始。 c) 若静态对象 A 的初始化完成先序于对某函数 F 的 std::atexit 调用，则终止期间对 F 的调用先序于 A 的析构开始。 d) 若对某函数 F 的 std::atexit 调用先序于静态对象 A 的初始化完成，则 A 的析构开始先序于终止期间对 F 的调用。 e) 若对某函数 F1 的 std::atexit 调用先序于对某函数 F2 的 std::atexit 调用，则终止期间对 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，传递 return 语句的参数（或若使用了隐式返回，则为 ​0​）作为 exit_code。

参数

exit_code

-

程序的退出状态

返回值

(无)

示例

运行此代码

#include <cstdlib>
#include <iostream>
 
struct Static
{
    ~Static() 
    {
        std::cout << "Static destructor\n";
    }
};
 
struct Local
{
    ~Local() 
    {
        std::cout << "Local destructor\n";
    }
};
 
Static static_variable; // Destructor of this object *will* be called
 
void atexit_handler()
{
    std::cout << "atexit handler\n";
}
 
int main()
{
    Local local_variable; // Destructor of this object will *not* be called
    const int result = std::atexit(atexit_handler); // Handler will be called
 
    if (result != 0)
    {
        std::cerr << "atexit registration failed\n";
        return EXIT_FAILURE;
    }
 
    std::cout << "test\n";
    std::exit(EXIT_FAILURE);
 
    std::cout << "this line will *not* be executed\n";
}

输出

test
atexit handler
Static destructor

缺陷报告

下列行为变更缺陷报告被追溯应用到先前发布的 C++ 标准。

DR	应用到	发布时的行为	正确的行为
LWG 3	C++98	在清理期间，当 (1) 函数被 用 std::atexit 注册或 (2) 静态局部对象被初始化时，行为不明确	已明确

参见

abort	导致异常程序终止（无清理） (函数)
atexit	注册要在 std::exit() 调用时调用的函数 (函数)
quick_exit (C++11)	导致快速程序终止，不完全清理 (函数)
at_quick_exit (C++11)	注册要在 std::quick_exit 调用时调用的函数 (函数)
C 文档 关于 exit