在C语言的标准库<stdlib.h>中提供了一些与正常或者不正常的程序终止有关的函数,下面分别对其进行简单介绍。
参考文献:
[1] C和指针,P298,342
[2] C程序设计语言现代方法(第2版),P489
1 abort()
abort()函数用于不正常地终止一个正在执行的程序。函数原型如下:
void abort(void)
这个函数将引发SIGABRT信号,你可以在程序中为这个信号设置一个信号处理函数,在程序终止(或干脆不终止)之前采取任何你想采取的动作,甚至可以不终止程序。
abort()函数类似于exit()函数,但调用它会导致异常的程序终止。atexit()函数注册的退出函数不会被调用。根据具体的实现,它可能不会清理包含未输出数据的输出缓冲区,不会关闭打开的流,也不会删除临时文件。abort()函数返回一个由实现定义的状态码来指出“不成功的终止”。
补充:
调用abort()函数时,实际上会产生SIGABRT信号。如果没有处理SIGABRT信号的函数,那么程序会如前所述那样异常终止。如果(通过调用signal()函数)为SIGABRT安装了信号处理函数,那么就会调用处理函数。如果处理函数返回,随后程序会异常终止。但是,如果处理函数不返回(比如它调用了longjmp()函数),那么程序就不会终止。
2 atexit()
atexit()函数可以把一些函数注册为退出函数(exit function)。函数原型如下:
int atexit(void (*func) (void))
把函数指针传递给atexit()函数时,它会把指针保存起来留给将来引用。当程序将要正常终止时(或者由于调用exit,或者由于main函数返回),退出函数将被调用。退出函数不能接受任何参数。
3 exit()
exit()函数用于正常终止程序。函数原型如下:
void exit(int)
如果程序以main函数返回一个值结束,那么其效果相当于用这个值作为参数调用exit()函数。在程序中的任何位置执行exit(n)调用通常等价于在main函数中执行return n。
int参数返回给操作系统,用于提示程序是否正常完成。预定义符号EXIT_SUCCESS和EXIT_FAILURE分别提示程序的终止成功还是失败。exit()函数仅有的另一个可移植参数是0,它和宏EXIT_SUCCESS的意义相同。虽然程序也可以使用其他值,但它们的具体含义将取决于编译器。
当程序发现错误情况使它无法继续执行下去时,这个函数尤其有用。你经常会在调用perrno之后再调用exit()终止程序。尽管终止程序并非处理所有错误的正确方法,但和一个注定失败的程序继续执行以后再失败相比,这种做法更好一些。
注意,这个函数没有返回值。当exit()函数结束时,程序已经消失,所以它无处返回。
当exit()函数被调用时,所有被atexit()函数注册为退出函数的函数将按照它们所注册的顺序被反序依次调用(参数由于被压入栈中,而先进后出)。然后,所有用于流的缓冲区被刷新,所有打开的文件被关闭。用tmpfile()函数创建的文件被删除。然后,退出状态返回给宿主环境,程序停止执行。
警告:
由于程序停止执行,所以exit()函数绝对不会返回到它的调用处。但是,如果任何一个用atexit()注册为退出函数的函数如果再次调用了exit(),其效果是未定义的。这个错误可能导致一个无限循环,很可能只有当堆栈的内存耗尽才会终止。
4 _exit()
_exit()函数类似于exit()函数,但是_exit()不会调用atexit()注册的退出函数,也不会调用之前传递给signal()函数的信号处理函数。此外,_exit()函数不需要清洗输出缓冲区,关闭打开的流,以及删除临时文件,是否执行这些操作是由实现定义的。函数原型如下:
void _exit(int)
按照ISO C规定,一个进程可以登记多达32个函数,通常这32个函数被称为终止处理程序(退出函数),通过调用atexit()函数来登记这些函数,这些函数将由exit()函数自动调用。
exit()和_exit()以及_Exit()函数的本质区别是是否立即进入内核,_exit()以及_Exit()函数都是在调用后立即进入内核,而不会执行一些清理处理,但是exit()则会执行一些清理处理,这也是为什么会存在atexit()函数的原因,因为exit()函数需要执行清理处理,需要执行一系列的操作,这些终止处理函数实际上就是完成各种所谓的清除操作的实际执行体。atexit函数的定义也给了程序员一种运用exit执行一些清除操作的方法,比如有一些程序需要额外的操作,具体的清除操作可以采用这种方法对特殊操作进行清除等。
内核使程序执行的唯一方法是调用一个exec()函数,进程自愿终止的唯一方法是显式或者隐式调用(通过exit函数)_exit()或者_Exit()函数。因此exit函数中实质是对_exit()或者_Exit()函数的封装。exit会先执行自定义的终止处理函数,然后执行I/O库函数清理函数fclose(),这也是为什么可以在终止处理函数中可以继续运用printf之类函数的原因,因为I/O库函数的流对象还没有被清除,当然可以继续运用。执行完了所有的fclose()以后,可以执行真正意义上的终止函数_exit()或者_Exit()函数。