版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
第第页嵌入式编程错误处理机制设计
正文
前言
本文主要总结(嵌入式系统)(C语言)(编程)中,主要的错误处理方式。文中涉及的代码运行环境如下:
一、错误概念
1.1错误分类
从严重性而言,程序错误可分为致命性和非致命性两类。对于致命性错误,无法执行恢复动作,最多只能在用户屏幕上打印出错消息或将其写入日志文件,然后终止程序;而对于非致命性错误,多数本质上是暂时的(如资源短缺),一般恢复动作是延迟一些时间后再次尝试。
从交互性而言,程序错误可分为用户错误和内部错误两类。用户错误呈现给用户,通常指明用户操作上的错误;而程序内部错误呈现给(程序员)(可能携带用户不可接触的数据细节),用于查错和排障。
应用程序开发者可决定恢复哪些错误以及如何恢复。例如,若磁盘已满,可考虑删除非必需或已过期的数据;若(网络)连接失败,可考虑短时间延迟后重建连接。选择合理的错误恢复策略,可避免应用程序的异常终止,从而改善其健壮性。
1.2处理步骤
错误处理即处理程序运行时出现的任何意外或异常情况。典型的错误处理包含五个步骤:
程序执行时发生软件错误。该错误可能产生于被底层驱动或内核映射为软件错误的(硬件)响应事件(如除零)。
以一个错误指示符(如整数或结构体)记录错误的原因及相关信息。
程序(检测)该错误(读取错误指示符,或由其主动上报);
程序决定如何处理错误(忽略、部分处理或完全处理);
恢复或终止程序的执行。
上述步骤用C语言代码表述如下:
int
func(){
int
bIsErrOccur
=
0;
//do
something
that
might
invoke
erro(rs)
if(bIsErrOccur)
//Stage
1:
error
occurred
return
-1;
//Stage
2:
genera(te)
error
indicator
//...
return
0;}int
main(void){
if(func()
!=
0)
//Stage
3:
detect
error
{
//Stage
4:
handle
error
}
//Stage
5:
recover
or
abort
return
0;}
调用者可能希望函数返回成功时表示完全成功,失败时程序恢复到调用前的状态(但被调函数很难保证这点)。
二、错误传递
2.1返回值和回传参数
C语言通常使用返回值来标志函数是否执行成功,调用者通过if等语句检查该返回值以判断函数执行情况。常见的几种调用形式如下:
if((p
=
malloc(100))
==
NULL)
//...if((c
=
getchar())
==
EOF)
//...if(((ti)cks
=
clock())
Unix系统调用级函数(和一些老的Posix函数)的返回值有时既包括错误代码也包括有用结果。因此,上述调用形式可在同一条语句中接收返回值并检查错误(当执行成功时返回合法的数据值)。
返回值方式的好处是简便和高效,但仍存在较多问题:
代码可读性降低
没有返回值的函数是不可靠的。但若每个函数都具有返回值,为保持程序健壮性,就必须对每个函数进行正确性验证,即调用时检查其返回值。这样,代码中很大一部分可能花费在错误处理上,且排错代码和正常流程代码搅在一起,比较混乱。
质量降级
条件语句相比其他类型的语句潜藏更多的错误。不必要的条件语句会增加排障和白盒测试的工作量。
信息有限
通过返回值只能返回一个值,因此一般只能简单地标志成功或失败,而无法作为获知具体错误信息的手段。通过按位编码可变通地返回多个值,但并不常用。字符串处理函数可参考IntToAscii()来返回具体的错误原因,并支持链式表达:
char
*IntToAscii(int
dwVal,
char
*pszRes,
int
dwRadix){
if(NULL
==
pszRes)
return
"Arg2Null";
if((dwRadix
36))
return
"Arg3OutOfRange";
//...
return
pszRes;}
定义冲突
不同函数在成功和失败时返回值的取值规则可能不同。例如,Unix系统调用级函数返回0代表成功,-1代表失败;新的Posix函数返回0代表成功,非0代表失败;标准C库中isxxx函数返回1表示成功,0表示失败。
无约束性
调用者可以忽略和丢弃返回值。未检查和处理返回值时,程序仍然能够运行,但结果不可预知。
新的Posix函数返回值只携带状态和异常信息,并通过参数列表中的指针回传有用的结果。回传参数绑定到相应的实参上,因此调用者不可能完全忽略它们。通过回传参数(如结构体指针)可返回多个值,也可携带更多的信息。
综合返回值和回传参数的优点,可对Get类函数采用返回值(含有用结果)方式,而对Set类函数采用返回值+回传参数方式。对于纯粹的返回值,可按需提供如下解析接口:
typedef
enum{
S_OK,
//成功
S_ERROR,
//失败(原因未明确),通用状态
S_NULL_POINTER,
//入参指针为NULL
S_ILLEGAL_PA(RAM),
//参数值非法,通用
S_OUT_OF_RANGE,
//参数值越限
S_MAX_STATUS
//不可作为返回值状态,仅作枚举最值使用}FUNC_STATUS;#define
RC_NAME(eRetCode)
((eRetCode)
==
S_OK
?
"Success"
:
((eRetCode)
==
S_ERROR
?
"Failure"
:
((eRetCode)
==
S_NULL_POINTER
?
"NullPointer"
:
((eRetCode)
==
S_ILLEGAL_PARAM
?
"IllegalParas"
:
((eRetCode)
==
S_OUT_OF_RANGE
?
"OutOfRange"
:
"Unknown")))))
当返回值错误码来自下游模块时,可能与本模块错误码冲突。此时,建议不要将下游错误码直接向上传递,以免引起混乱。若允许向终端或文件输出错误信息,则可详细记录出错现场(如函数名、错误描述、参数取值等),并转换为本模块定义的错误码再向上传递。
2.2全局状态标志(errno)
Unix系统调用或某些C标准库函数出错时,通常返回一个负值,并设置全局整型变量errno为一个含有错误信息的值。例如,open函数出错时返回-1,并设置errno为EACESS(权限不足)等值。
C标准库头文件中定义errno及其可能的非零常量取值(以字符'E'开头)。在ANSIC中已定义一些基本的errno常量,(操作系统)也会扩展一部分(但其对错误描述仍显匮乏)。
(Linux)系统中,出错常量在errno(3)手册页中列出,可通过man3errno命令查看。除EAG(AI)N和EWOULDBLOCK取值相同外,POSIX.1指定的所有出错编号取值均不同。
Posix和ISOC将errno定义为一个可修改的整型左值(lvalue),可以是包含出错编号的一个整数,或是一个返回出错编号指针的函数。以前使用的定义为:
extern
int
errno;
但在多线程环境中,多个线程共享进程地址空间,每个线程都有属于自己的局部errno(thre(ad)-local)以避免一个线程干扰另一个线程。例如,Linux支持多线程存取errno,将其定义为:
extern
int
*__errno_location(void);#define
errno
(*__errno_location())
函数__errno_location在不同的库版本下有不同的定义,在单线程版本中,直接返回全局变量errno的地址;而在多线程版本中,不同线程调用__errno_location返回的地址则各不相同。
C运行库中主要在math.h(数学运算)和stdio.h(I/O操作)头文件声明的函数中使用errno。
使用errno时应注意以下几点:
函数返回成功时,允许其修改errno。
例如,调用fopen函数新建文件时,内部可能会调用其他库函数检测是否存在同名文件。而用于检测文件的库函数在文件不存在时,可能会失败并设置errno。这样,fopen函数每次新建一个事先并不存在的文件时,即使没有任何程序错误发生(fopen本身成功返回),errno也仍然可能被设置。
因此,调用库函数时应先检测作为错误指示的返回值。仅当函数返回值指明出错时,才检查errno值:
//调用库函数if(返回错误值)
//检查errno
库函数返回失败时,不一定会设置errno,取决于具体的库函数。
errno在程序开始时设置为0,任何库函数都不会将errno再次清零。
因此,在调用可能设置errno的运行库函数之前,最好先将errno设置为0。调用失败后再检查errno的值。
使用errno前,应避免调用其他可能设置errno的库函数。如:
if
(somecall()
==
-1){
printf("somecall()
failed");
if(errno
==
...)
{
...
}}
somecall()函数出错返回时设置errno。但当检查errno时,其值可能已被printf()函数改变。若要正确使用somecall()函数设置的errno,须在调用printf()函数前保存其值:
if
(somecall()
==
-1){
int
dwErrSaved
=
errno;
printf("somecall()
failed");
if(dwErrSaved
==
...)
{
...
}}
类似地,当在(信号)处理程序中调用可重入函数时,应在其前保存其后恢复errno值。
使用现代版本的C库时,应包含使用头文件;在非常老的Unix系统中,可能没有该头文件,此时可手工声明errno(如externinterrno)。
C标准定义strerror和perror两个函数,以帮助打印错误信息。
#include
char
*strerror(int
errnum);
该函数将errnum(即errno值)映射为一个出错信息字符串,并返回指向该字符串的指针。可将出错字符串和其它信息组合输出到用户界面,或保存到日志文件中,如通过fprintf(fp,"somecallfailed(%s)",strerror(errno))将错误消息打印到fp指向的文件中。
perror函数将当前errno对应的错误消息的字符串输出到标准错误(即stderr或2)上。
#include
void
perror(const
char
*msg);
该函数首先输出由msg指向的字符串(用户自己定义的信息),后面紧跟一个冒号和空格,然后是当前errno值对应的错误类型描述,最后是一个换行符。未使用重定向时,该函数输出到控制台上;若将标准错误输出重定向到/dev/null,则看不到任何输出。
注意,perror()函数中errno对应的错误消息集合与strerror()相同。但后者可提供更多定位信息和输出方式。
两个函数的用法示例如下:
int
main(int
argc,
char**
argv){
errno
=
0;
FILE
*pFile
=
fopen(argv[1],
"r");
if(NULL
==
pFile)
{
printf("(Can)not
open
file
'%s'(%s)!",
argv[1],
strerror(errno));
perror("Open
file
failed");
}
else
{
printf("Open
file
'%s'(%s)!",
argv[1],
strerror(errno));
perror("Open
file");
fclose(pFile);
}
return
0;}
执行结果为:
[wangxiaoyuan_@localhost
test1]$
./GlbErr
/sdb1/wangxiaoyuan/linux_test/test1/test.cOpen
file
'/sdb1/wangxiaoyuan/linux_test/test1/test.c'(Success)!Open
file:
Success[wangxiaoyuan_@localhost
test1]$
./GlbErr
NonexistentFile.hCannot
open
file
'NonexistentFile.h'(No
such
file
or
directory)!Open
file
failed:
No
such
file
or
directory[wangxiaoyuan_@localhost
test1]$
./GlbErr
NonexistentFile.h
>
testOpen
file
failed:
No
such
file
or
directory[wangxiaoyuan_@localhost
test1]$
./GlbErr
NonexistentFile.h
2>
testCannot
open
file
'NonexistentFile.h'(No
such
file
or
directory)!
也可仿照errno的定义和处理,定制自己的错误代码:
int
*_fpErrNo(void){
static
int
dwLocalErrNo
=
0;
return
}#define
ErrNo
(*_fpErrNo())#define
EOUTOFRANGE
1//define
other
error
mac(ros)...int
Callee(void){
ErrNo
=
1;
return
-1;}int
main(void){
ErrNo
=
0;
if((-1
==
Callee())
return
0;}
借助全局状态标志,可充分利用函数的接口(返回值和参数表)。但与返回值一样,它隐含地要求调用者在调用函数后检查该标志,而这种约束同样脆弱。
此外,全局状态标志存在重用和覆盖的风险。而函数返回值是无名的临时变量,由函数产生且只能被调用者访问。调用完成后即可检查或拷贝返回值,然后原始的返回对象将消失而不能被重用。又因为无名,返回值不能被覆盖。
2.3局部跳转(goto)
使用goto语句可直接跳转到函数内的错误处理代码处。以除零错误为例:
double
Division(double
fDividend,
double
fDivisor){
return
fDividend/fDivisor;}int
main(void){
int
dwFlag
=
0;
if(1
==
dwFlag)
{
RaiseException:
printf("The
divisor
cannot
be
0!");
exit(1);
}
dwFlag
=
1;
double
fDividend
=
0.0,
fDivisor
=
0.0;
printf("Enter
the
dividend:
");
scanf("%lf",
printf("Enter
the
divisor
:
");
scanf("%lf",
if(0
==
fDivisor)
//不太严谨的浮点数判0比较
goto
RaiseException;
printf("The
quotient
is
%.2lf",
Division(fDividend,
fDivisor));
return
0;}
执行结果如下:
[wangxiaoyuan_@localhost
test1]$
./testEnter
the
dividend:
10Enter
the
divisor
:
0The
divisor
cannot
be
0![wangxiaoyuan_@localhost
test1]$
./testEnter
the
dividend:
10Enter
the
divisor
:
2The
quotient
is
5.00
虽然goto语句会破坏代码结构性,但却非常适用于集中错误处理。伪代码示例如下:
Calle(rF)unc(){
if((ret
=
CalleeFunc1())
2.4非局部跳转(setjmp/longjmp)
局部goto语句只能跳到所在函数内部的标号上。若要跨越函数跳转,需要借助标准C库提供非局部跳转函数setjmp()和longjmp()。它们分别承担非局部标号和goto的作用,非常适用于处理发生在深层嵌套函数调用中的出错情况。“非局部跳转”是在栈上跳过若干调用帧,返回到当前函数调用路径上的某个函数内。
#include
int
setjmp(jmp_buf
env);void
longjmp(jmp_buf
env,int
val);
函数setjmp()将程序运行时的当前系统堆栈环境保存在缓冲区env结构中。初次调用该函数时返回值为0。longjmp()函数根据setjmp()所保存的env结构恢复先前的堆栈环境,即“跳回”先前调用setjmp时的程序执行点。此时,setjmp()函数返回longjmp()函数所设置的参数val值,程序将继续执行setjmp调用后的下一条语句(仿佛从未离开setjmp)。参数val为非0值,若设置为0,则setjmp()函数返回1。
可见,setjmp()有两类返回值,用于区分是首次直接调用(返回0)和还是由其他地方跳转而来(返回非0值)。对于一个setjmp可有多个longjmp,因此可由不同的非0返回值区分这些longjmp。
举个简单例子说明setjmp/longjmp的非局部跳转:
jmp_buf
gJmpBuf;void
Func1(){
printf("Enter
Func1");
if(0)longjmp(gJmpBuf,
1);}void
Func2(){
printf("Enter
Func2");
if(0)longjmp(gJmpBuf,
2);}void
Func3(){
printf("Enter
Func3");
if(1)longjmp(gJmpBuf,
3);}int
main(void){
int
dwJmpRet
=
setjmp(gJmpBuf);
printf("dwJmpRet
=
%d",
dwJmpRet);
if(0
==
dwJmpRet)
{
Func1();
Func2();
Func3();
}
else
{
switch(dwJmpRet)
{
case
1:
printf("Jump
back
from
Func1");
break;
case
2:
printf("Jump
back
from
Func2");
break;
case
3:
printf("Jump
back
from
Func3");
break;
default:
printf("Unknown
Func!");
break;
}
}
return
0;}
执行结果为:
dwJmpRet
=
0Enter
Func1Enter
Func2Enter
Func3dwJmpRet
=
3Jump
back
from
Func3
当setjmp/longjmp嵌在单个函数中使用时,可(模拟)PASCAL语言中嵌套函数定义(即函数内中定义一个局部函数)。当setjmp/longjmp跨越函数使用时,可模拟面向对象语言中的异常(exception)机制。
模拟异常机制时,首先通过setjmp()函数设置一个跳转点并保存返回现场,然后使用try块包含那些可能出现错误的代码。可在try块代码中或其调用的函数内,通过longjmp()函数抛出(throw)异常。抛出异常后,将跳回setjmp()函数所设置的跳转点并执行catch块所包含的异常处理程序。
以除零错误为例:
jmp_buf
gJmpBuf;void
RaiseException(void){
printf("Exception
is
raised:
");
longjmp(gJmpBuf,
1);
//throw,跳转至异常处理代码
printf("This
line
should
never
get
printed!");}double
Division(double
fDividend,
double
fDivisor){
return
fDividend/fDivisor;}int
main(void){
double
fDividend
=
0.0,
fDivisor
=
0.0;
printf("Enter
the
dividend:
");
scanf("%lf",
printf("Enter
the
divisor
:
");
if(0
==
setjmp(gJmpBuf))
//try块
{
scanf("%lf",
if(0
==
fDivisor)
//也可将该判断及RaiseException置于Division内
RaiseException();
printf("The
quotient
is
%.2lf",
Division(fDividend,
fDivisor));
}
else
//catch块(异常处理代码)
{
printf("The
divisor
cannot
be
0!");
}
return
0;}
执行结果为:
Enter
the
dividend:
10Enter
the
divisor
:
0Exception
is
raised:
The
divisor
cannot
be
0!
通过组合使用setjmp/longjmp函数,可对复杂程序中可能出现的异常进行集中处理。根据longjmp()函数所传递的返回值来区分处理各种不同的异常。
使用setjmp/longjmp函数时应注意以下几点:
必须先调用setjmp()函数后调用longjmp()函数,以恢复到先前被保存的程序执行点。若调用顺序相反,将导致程序的执行流变得不可预测,很容易导致程序崩溃。
longjmp()函数必须在setjmp()函数的作用域之内。在调用setjmp()函数时,它保存的程序执行点环境只在当前主调函数作用域以内(或以后)有效。若主调函数返回或退出到上层(或更上层)的函数环境中,则setjmp()函数所保存的程序环境也随之失效(函数返回时堆栈内存失效)。这就要求setjmp()不可该封装在一个函数中,若要封装则必须使用宏(详见《C语言接口与实现》“第4章异常与断言”)。
通常将jmp_buf变量定义为全局变量,以便跨函数调用longjmp。
通常,存放在存储器中的变量将具有longjmp时的值,而在(CPU)和浮点(寄存器)中的变量则恢复为调用setjmp时的值。因此,若在调用setjmp和longjmp之间修改自动变量或寄存器变量的值,当setjmp从longjmp调用返回时,变量将维持修改后的值。若要编写使用非局部跳转的可移植程序,必须使用volatile属性。
使用异常机制不必每次调用都检查一次返回值,但因为程序中任何位置都可能抛出异常,必须时刻考虑是否捕捉异常。在大型程序中,判断是否捕捉异常会是很大的思维负担,影响开发效率。相比之下,通过返回值指示错误有利于调用者在最近出错的地方进行检查。此外,返回值模式中程序的运行顺序一目了然,对维护者可读性更高。因此,应用程序中不建议使用setjmp/longjmp“异常处理”机制(除非库或框架)。
2.5信号(signal/raise)
在某些情况下,主机环境或操作系统可能发出信号(signal)事件,指示特定的编程错误或严重事件(如除0或中断等)。这些信号本意并非用于错误捕获,而是指示与正常程序流不协调的外部事件。
为处理信号,需要使用以下信号相关函数:
#include
typedef
void
(*fpSigFunc)(int);fpSigFunc
signal(int
signo,
fpSigFunc
fpHandler);int
raise(int
signo);
其中,参数signo是Unix系统定义的信号编号(正整数),不允许用户自定义信号。参数fpHandler是常量SIG_DFL、常量SIG_IGN或当接收到此信号后要调用的信号处理函数(signalhandler)的地址。若指定SIG_DFL,则接收到此信号后调用系统的缺省处理函数;若指定SIG_IGN,则向内核表明忽略此信号(SIGKILL和SIGSTOP不可忽略)。某些异常信号(如除数为零)不太可能恢复,此时信号处理函数可在程序终止前正确地清理某些资源。信号处理函数所收到的异常信息仅是一个整数(待处理的信号事件),这点与setjmp()函数类似。
signal()函数执行成功时返回前次挂接的处理函数地址,失败时则返回SIG_ERR。信号通过调用raise()函数产生并被处理函数捕获。
以除零错误为例:
void
fphandler(int
dwSigNo){
printf("Exception
is
raised,
dwSigNo=%d!",
dwSigNo);}int
main(void){
if(SIG_ERR
==
signal(SIGFPE,
fphandler))
{
fprintf(stderr,
"Fail
to
set
SIGFPE
handler!");
exit(EXIT_FAILURE);
}
double
fDividend
=
10.0,
fDivisor
=
0.0;
if(0
==
fDivisor)
{
raise(SIGFPE);
exit(EXIT_FAILURE);
}
printf("The
quotient
is
%.2lf",
fDividend/fDivisor);
return
0;}
执行结果为"Exceptionisraised,dwSigNo=8!"(0.0不等同于0,因此系统未检测到浮点异常)。
若将被除数(Dividend)和除数(Divisor)改为整型变量:
int
main(void){
if(SIG_ERR
==
signal(SIGFPE,
fphandler))
{
fprintf(stderr,
"Fail
to
set
SIGFPE
handler!");
exit(EXIT_FAILURE);
}
int
dwDividend
=
10,
dwDivisor
=
0;
double
fQuotient
=
dwDividend/dwDivisor;
printf("The
quotient
is
%.2lf",
fQuotient);
return
0;}
则执行后循环输出"Exceptionisraised,dwSigNo=8!"。这是因为进程捕捉到信号并对其进行处理时,进程正在执行的指令序列被信号处理程序临时中断,它首先执行该信号处理程序中的指令。若从信号处理程序返回(未调用exit或longjmp),则继续执行在捕捉到信号时进程正在执行的正常指令序列。因此,每次系统调用信号处理函数后,异常控制流还会返回除0指令继续执行。而除0异常不可恢复,导致反复输出异常。
规避方法有两种:
将SIGFPE信号变成系统默认处理,即signal(SIGFPE,SIG_DFL)。
此时执行输出为"Floatingpointexception"。
利用setjmp/longjmp跳过引发异常的指令:
jmp_buf
gJmpBuf;void
fphandler(int
dwSigNo){
printf("Exception
is
raised,
dwSigNo=%d!",
dwSigNo);
longjmp(gJmpBuf,
1);}int
main(void){
if(SIG_ERR
==
signal(SIGFPE,
SIG_DFL))
{
fprintf(stderr,
"Fail
to
set
SIGFPE
handler!");
exit(EXIT_FAILURE);
}
int
dwDividend
=
10,
dwDivisor
=
0;
if(0
==
setjmp(gJmpBuf))
{
double
fQuotient
=
dwDividend/dwDivisor;
printf("The
quotient
is
%.2lf",
fQuotient);
}
else
{
printf("The
divisor
cannot
be
0!");
}
return
0;}
注意,在信号处理程序中还可使用sigsetjmp/siglongjmp函数进行非局部跳转。相比setjmp函数,sigsetjmp函数增加一个信号屏蔽字参数。
三
错误处理
3.1终止(abort/exit)
致命性错误无法恢复,只能终止程序。例如,当空闲堆管理程序无法提供可用的连续空间时(调用malloc返回NULL),用户程序的健壮性将严重受损。若恢复的可能性渺茫,则最好终止或重启程序。
标准C库提供exit()和abort()函数,分别用于程序正常终止和异常终止。两者都不会返回到调用者中,且都导致程序被强行结束。
exit()及其相似函数原型声明如下:
#include
void
exit(int
status);void
_Exit(int
status);#include
void
_exit(int
status);
其中,exit和_Exit由ISOC说明,而_exit由Posix.1说明。因此使用不同的头文件。
ISOC定义_Exit旨在为进程提供一种无需运行终止处理程序(exithandler)或信号处理程序(signalhandler)而终止的方法,是否冲洗标准I/O流则取决于实现。Unix系统中_Exit和_exit同义,两者均直接进入内核,而不冲洗标准I/O流。_exit函数由exit调用,处理Unix特定的细节。
exit()函数首先调用执行各终止处理程序,然后按需多次调用fclose函数关闭所有已打开的标准I/O流(将所有缓冲的输出数据冲洗写到文件上),然后调用_exit函数进入内核。
标准函数库中有一种“缓冲I/O(bufferedI/O)”机制。该机制对于每个打开的文件,在内存中维护一片缓冲区。每次读文件时会连续读出若干条记录,下次读文件时就可直接从内存缓冲区中读取;每次写文件时也仅仅写入内存缓冲区,等满足一定条件(如缓冲区填满,或遇到换行符等特定字符)时再将缓冲区内容一次性写入文件。
通过尽可能减少read和write调用的次数,该机制可显著提高文件读写速度,但也给编程带来某些麻烦。例如,向文件内写入一些数据时,若未满足特定条件,数据会暂存在缓冲区内。(开发者)并不知晓这点,而调用_exit()函数直接关闭进程,导致缓冲区数据丢失。因此,若要保证数据完整性,必须调用exit()函数,或在调用_exit()函数前先通过fflush()函数将缓冲区内容写入指定的文件。
例如,调用printf函数(遇到换行符''时自动读出缓冲区中内容)函数后再调用exit:
int
main(void){
printf("Using
exit...");
printf("This
is
the
content
in
buffer");
exit(0);
printf("This
line
will
never
be
reached");}
执行输出为:
Using
exit...This
is
the
content
in
buffer(结尾无换行符)
调用printf函数后再调用_exit:
int
main(void){
printf("Using
_exit...");
printf("This
is
the
content
in
buffer");
fprintf(stdout,
"Standard
output
stream");
fprintf(stderr,
"Standard
error
stream");
//fflush(stdout);
_exit(0);}
执行输出为:
Using
_exit...Standard
error
stream(结尾无换行符)
若取消fflush句解释,则执行输出为:
Using
_exit...Standard
error
streamThis
is
the
content
in
bufferStandard
output
stream(结尾无换行符)
通常,标准错误是不带缓冲的,打开至终端设备的流(如标准输入和标准输出)是行缓冲的(遇换行符则执行I/O操作);其他所有流则是全缓冲的(填满标准I/O缓冲区后才执行I/O操作)。
三个exit函数都带有一个整型参数status,称之为终止状态(或退出状态)。该参数取值通常为两个宏,即EXIT_SUCCESS(0)和EXIT_FAILURE(1)。大多数Unixshell都可检查进程的终止状态。若(a)调用这些函数时不带终止状态,或(b)main函数执行了无返回值的return语句,或(c)main函数未声明返回类型为整型,则该进程的终止状态未定义。但若main函数的返回类型为整型,且执行到最后一条语句时返回(隐式返回),则该进程的终止状态为0。
exit系列函数是最简单直接的错误处理方式,但程序出错终止时无法捕获异常信息。ISOC规定一个进程可以注册32个终止处理函数。这些函数可编写为自定义的清理代码,将由exit()函数自动调用,并可使用atexit()函数进行注册。
#include
int
atexit(void
(*func)(void));
该函数的参数是一个无参数无返回值的终止处理函数。exit()函数按注册的相反顺序调用这些函数。同一函数若注册多次,则被调用多次。即使不调用exit函数,程序退出时也会执行atexit注册的函数。
通过结合exit()和atexit()函数,可在程序出错终止时抛出异常信息。以除零错误为例:
double
Division(double
fDividend,
double
fDivisor){
return
fDividend/fDivisor;}void
RaiseException1(void){
printf("Exception
is
raised:
");}void
RaiseException2(void){
printf("The
divisor
cannot
be
0!");}int
main(void){
double
fDividend
=
0.0,
fDivisor
=
0.0;
printf("Enter
the
dividend:
");
scanf("%lf",
printf("Enter
the
divisor
:
");
scanf("%lf",
if(0
==
fDivisor)
{
atexit(RaiseException2);
atexit(RaiseException1);
exit(EXIT_FAILURE);
}
printf("The
quotient
is
%.2lf",
Division(fDividend,
fDivisor));
return
0;}
执行结果为:
Enter
the
dividend:
10Enter
the
divisor
:
0Exception
is
raised:
The
divisor
cannot
be
0!
注意,通过atexit()注册的终止处理函数必须显式(使用return语句)或隐式地正常返回,而不能通过调用exit()或longjmp()等其他方式终止,否则将导致未定义的行为。例如,在GCC4.1.2编译环境下,调用exit()终止时仍等效于正常返回;而VC6.0编译环境下,调用exit()的处理函数将阻止其他已注册的处理函数被调用,并且可能导致程序异常终止甚至崩溃。
嵌套调用exit()函数将导致未定义的行为,因此在终止处理函数或信号处理函数中尽量不要调用exit()。
abort()函数原型声明如下:
#include
void
abort(void);
该函数将SIGABRT信号发送给调用进程(进程不应忽略此信号)。
ISOC规定,调用abort将向主机环境递送一个未成功终止的通知,其方法是调用raise(SIGABRT)函数。因此,abort()函数理论上的实现为:
void
abort(void){
raise(SIGABRT);
exit(EXIT_FAILURE);}
可见,即使捕捉到SIGABRT信号且相应信号处理程序返回,abort()函数仍然终止程序。Posix.1也说明abort()函数并不理会进程对此信号的阻塞和忽略。
进程捕捉到SIGABRT信号后,可在其终止之前执行所需的清理操作(如调用exit)。若进程不在信号处理程序中终止自己,Posix.1声明当信号处理程序返回时,abort()函数终止该进程。
ISOC规定,abort()函数是否冲洗输出流、关闭已打开文件及删除临时文件由实现决定。Posix.1则要求若abort()函数终止进程,则它对所有打开标准I/O流的效果应当与进程终止前对每个流调用fclose相同。为提高可移植性,若希望冲洗标准I/O流,则应在调用abort()之前执行这种操作。
3.2断言(assert)
abort()和exit()函数无条件终止程序。也可使用断言(assert)有条件地终止程序。
assert是诊断调试程序时经常使用的宏,定义在内。该宏的典型实现如下:
#ifdef
NDEBUG
#define
assert(expr)
((void)
0)#else
extern
void
__assert((const
char
*,
const
char
*,
int,
const
char
*));
#define
assert(expr)
((void)
((expr)
||
(__assert(#expr,
__FILE__,
__LINE__,
__FUNCTION__),
0)))#endif
可见,assert宏仅在调试版本(未定义NDEBUG)中有效,且调用__assert()函数。该函数将输出发生错误的文件名、代码行、函数名以及条件表达式:
void
__assert(const
char
*assertion,
const
char
*
filename,
int
linenumber,
register
const
char
*
function){
fprintf(stderr,
"
[%s(%d)%s]
Assertion
'%s'
failed.",
filename,
linenumber,
((function
==
NULL)
?
"UnknownFunc"
:
function),
assertion);
abort();}
因此,assert宏实际上是一个带有错误说明信息的abort(),并做了前提条件检查。若检查失败(断言表达式为逻辑假),则报告错误并终止程序;否则继续执行后面的语句。
使用者也可按需定制assert宏。例如,另一实现版本为:
#undef
assert#ifdef
NDEBUG
#define
assert(expr)
((void)
0)#else
#define
assert(expr)
((void)
((expr)
||
(fprintf(stderr,
"[%s(%d)]
Assertion
'%s'
failed.",
__FILE__,
__LINE__,
#expr),
abort(),
0)))#endif
注意,expr1||expr2表达式作为单独语句出现时,等效于条件语句if(!(expr1))expr2。这样,assert宏就可扩展为一个表达式,而不是一条语句。逗号表达式expr2返回最后一个表达式的值(即0),以符合||操作符的要求。
使用断言时应注意以下几点:
断言用于检测理论上绝不应该出现的情况,如入参指针为空、除数为0等。
对比以下两种情况:
char
*Strcpy(char
*pszDst,
co
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 办公用品及耗材采购合同汇编
- 2024年超细铜粉合作协议书
- 2024年钴粉系列合作协议书
- 机场服务卓越之路
- 吉林省靖宇县2023-2024学年高一数学第二学期期末调研试题含解析
- 石英石用料工程承包合同
- 2024年应急救生系统项目发展计划
- 2024届河南省宝丰市物理八下期末复习检测模拟试题及答案解析
- 2.机械设备买卖合同
- 2024年自然生态保护服务合作协议书
- 中国区域地质年代表
- 材料力学与结构力学visio模具下载
- 上海市单位退工证明退工单
- 2021年环艺毕业设计导师评语
- (完整版)英文四线格A4纸打印模板(最新整理)
- 南京英文介绍
- 医学影像学面试常见考题
- 装载机湿式制动器
- LY∕T 1370-2018 原条造材
- 传感器与测试技术课程设计
- GB∕T 9989.1-2015 搪瓷耐化学腐蚀的测定 第1部分:室温下耐酸侵蚀的测定
评论
0/150
提交评论