std::exit

来自cppreference.com
< cpp‎ | utility‎ | program
 
 
工具库
通用工具
格式化库 (C++20)
(C++11)
关系运算符 (C++20 中弃用)
整数比较函数
(C++20)(C++20)(C++20)
(C++20)
swap 与类型运算
(C++14)
(C++11)
(C++11)
(C++11)
(C++17)
常用词汇类型
(C++11)
(C++17)
(C++17)
(C++17)
(C++11)
(C++17)

初等字符串转换
(C++17)
(C++17)
栈踪
 
 
定义于头文件 <cstdlib>
void exit( int exit_code );
(C++11 前)
[[noreturn]] void exit( int exit_code );
(C++11 起)

导致正常程序终止发生。

进行一些清理步骤:

1) 以其动态初始化完成或构造函数完成的逆序,调用拥有静态存储期的对象的析构函数,并以注册的逆序(从尾到首)调用传递给 std::atexit 的函数。
a) 任何静态对象,之初始化完成先于 std::atexit 对某函数 F 调用者,将于程序终止期间后于 F 的调用销毁。
b) 任何静态对象,之初始化开始后于 std::atexit 对某函数 F 调用者,将于程序终止期间先于 F 的调用销毁(这包含从该静态对象的构造函数调用 std::atexit 的情况)。
(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_code0EXIT_SUCCESS ,则返回实现定义的指示成功终止的状态。若 exit_codeEXIT_FAILURE ,则返回实现定义的指示不成功终止的状态。任何其他情况下返回实现定义的状态值。

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

与 main 函数的关系

main 函数return 语句或以抵达函数尾返回,会进行正常函数终止(调用拥有自动存储期的对象的析构函数),再执行 std::exit ,将 return 语句的参数(或若使用隐式 return 则为 0 )作为 exit_code 传递。

参数

exit_code - 程序的退出状态

返回值

(无)

示例

#include <iostream>
#include <cstdlib>
 
class Static {
public:
 
    ~Static() 
    {
        std::cout << "Static dtor\n";
    }
};
 
class Local {
public:
    ~Local() 
    {
        std::cout << "Local dtor\n";
    }
};
 
Static static_variable; // *将*调用此对象的析构函数
 
void atexit_handler()
{
    std::cout << "atexit handler\n";
}
 
int main()
{
    Local local_variable; // 将*不*调用此对象的析构函数
    const int result = std::atexit(atexit_handler); // 将调用处理函数
 
    if (result != 0) {
        std::cerr << "atexit registration failed\n";
        return EXIT_FAILURE;
    }
 
    std::cout << "test\n";
    std::exit(EXIT_FAILURE);
}

输出:

test
atexit handler
Static dtor

参阅

导致非正常的程序终止(不进行清理)
(函数)
注册将于调用 std::exit() 时被调用的函数
(函数)
导致快速程序终止,不进行完全的清理
(函数)
注册将于调用 quick_exit 时被调用的函数
(函数)