前言
R' ~9 C- Z/ z+ d5 `8 D4 J1 ? 本文主要总结嵌入式系统C语言编程中,主要的错误处理方式。文中涉及的代码运行环境如下:4 w% w4 g6 u( e) F2 |
) ]5 T4 f( y( H) y; h
9 P4 R) C3 j+ ^9 T; S6 v一、错误概念0 \6 ~$ B: F @4 X% q0 q+ T U2 m
1.1 错误分类: K h8 _1 F# o4 C' T5 ?6 W) s: F
从严重性而言,程序错误可分为致命性和非致命性两类。对于致命性错误,无法执行恢复动作,最多只能在用户屏幕上打印出错消息或将其写入日志文件,然后终止程序;而对于非致命性错误,多数本质上是暂时的(如资源短缺),一般恢复动作是延迟一些时间后再次尝试。3 I4 q& b! e1 @; r5 h' ~1 M
从交互性而言,程序错误可分为用户错误和内部错误两类。用户错误呈现给用户,通常指明用户操作上的错误;而程序内部错误呈现给程序员(可能携带用户不可接触的数据细节),用于查错和排障。
0 t0 M5 `9 n* M8 d2 \9 Z应用程序开发者可决定恢复哪些错误以及如何恢复。例如,若磁盘已满,可考虑删除非必需或已过期的数据;若网络连接失败,可考虑短时间延迟后重建连接。选择合理的错误恢复策略,可避免应用程序的异常终止,从而改善其健壮性。 n. y1 Y5 }' |% g( B1 s; ^
1.2 处理步骤
/ {! p0 E; f2 l# Z 错误处理即处理程序运行时出现的任何意外或异常情况。典型的错误处理包含五个步骤:
) S5 p5 D+ R9 \: b0 M9 U$ }+ R4 [1 E/ H- 程序执行时发生软件错误。该错误可能产生于被底层驱动或内核映射为软件错误的硬件响应事件(如除零)。
- 以一个错误指示符(如整数或结构体)记录错误的原因及相关信息。
- 程序检测该错误(读取错误指示符,或由其主动上报);
- 程序决定如何处理错误(忽略、部分处理或完全处理);
- 恢复或终止程序的执行。, z; q" a# b+ b# l; M4 S7 O; I
; U, ?( ?% b, W- A6 n3 E( X9 I2 ]
上述步骤用C语言代码表述如下:: [/ Q( `- J6 D8 k
& }; k7 M0 r* K+ W& v9 z* B- int func()1 v: ]$ u) W2 P/ _+ Q) r ^
- {
2 ~& O. H; z2 z( |& L - int bIsErrOccur = 0;7 K% m+ z2 o! J c. H
- //do something that might invoke errors7 [5 C/ {, ~' m
- if(bIsErrOccur) //Stage 1: error occurred
0 y" j# ]! L8 Z& `+ H - return -1; //Stage 2: generate error indicator: S+ V% V2 r/ t1 c" a2 c- W* q
- //...
( p& m) F( p; R9 g' x9 } - return 0;
8 J1 Q# g1 a1 ^ - }
, ^$ z; G! q& O4 F: C/ H; a - {; T. \! t; S) J$ h2 p0 |' K
- int main(void)
5 V/ r% \; n' F/ l) f3 P - {. P8 t2 ?1 y8 ]/ j
- if(func() != 0) //Stage 3: detect error
7 F" P5 ?: s: m/ T' C* s- {; D2 ^ - {% j1 k, h2 \) W. J1 L2 k; H
- //Stage 4: handle error: E/ A# V( o2 Z' P" r
- }* _ `' [! Y+ E+ c. H/ T- Z
- //Stage 5: recover or abort) ?' |* v# D3 O+ Y: t3 H
- return 0;
5 w2 o, T+ Z+ g7 J9 V$ B7 ] - }
复制代码 `+ T3 v6 O$ n; r3 }, B
调用者可能希望函数返回成功时表示完全成功,失败时程序恢复到调用前的状态(但被调函数很难保证这点)。' ~' C& r$ ?, m& |, x
二 、错误传递
/ @8 S9 ~2 n$ [2 x2 w" s) Y 2.1 返回值和回传参数! v. p( K2 Q! H5 R7 `
C语言通常使用返回值来标志函数是否执行成功,调用者通过if等语句检查该返回值以判断函数执行情况。常见的几种调用形式如下:% J* Y& P/ m* x
) _4 t( K: m7 ?4 V: \* B- if((p = malloc(100)) == NULL)
# e9 ]- H- ~ q% s - //...
: h' e% b4 E; W1 T" n - 4 }8 N- J' J3 U1 d& w
- if((c = getchar()) == EOF)* _/ ?( V& W$ k
- //...4 F! }5 e1 q6 j1 E) k6 V" ]$ m! a
?& s- E% j7 H$ H5 r+ Z' U- if((ticks = clock()) < 0)
( Q" y& E, M5 b0 ?& D - //...
复制代码 % T& ~1 p( h2 s2 v
Unix系统调用级函数(和一些老的Posix函数)的返回值有时既包括错误代码也包括有用结果。因此,上述调用形式可在同一条语句中接收返回值并检查错误(当执行成功时返回合法的数据值)。
. Q* m$ i) m$ `& B返回值方式的好处是简便和高效,但仍存在较多问题:, k( y' I8 l( r0 P6 t5 s% ]$ K* q
- 代码可读性降低, }" D8 B% c% h `( R8 p j
9 x4 D4 g- A, f3 l# P7 c, s 没有返回值的函数是不可靠的。但若每个函数都具有返回值,为保持程序健壮性,就必须对每个函数进行正确性验证,即调用时检查其返回值。这样,代码中很大一部分可能花费在错误处理上,且排错代码和正常流程代码搅在一起,比较混乱。3 ~ p7 o* V0 a1 }6 F( s
条件语句相比其他类型的语句潜藏更多的错误。不必要的条件语句会增加排障和白盒测试的工作量。3 ~( P& ^) S% T
通过返回值只能返回一个值,因此一般只能简单地标志成功或失败,而无法作为获知具体错误信息的手段。通过按位编码可变通地返回多个值,但并不常用。字符串处理函数可参考IntToAscii()来返回具体的错误原因,并支持链式表达:
( M$ G& f6 ^1 {5 T- % V8 ]) H" G9 r* \, b9 n: z& ?
- char *IntToAscii(int dwVal, char *pszRes, int dwRadix)+ d5 b5 @: S! Z/ G
- {
: y/ d1 i$ L4 `/ f" A0 ^+ {/ ]+ W - if(NULL == pszRes)' q" \. { I7 i5 M7 B8 h
- return "Arg2Null";" j- N! i" Q3 j* j0 U) N+ d; D3 a
3 \0 w1 W5 L5 ?" W4 l% F- if((dwRadix < 2) || (dwRadix > 36))+ N& J9 O/ ]! [( U; Y
- return "Arg3OutOfRange";
! D) u- \& u p% Q3 L# k - + L5 C+ U0 v% B5 K) N7 Q4 u) a
- //...
+ r ^7 {8 D" v$ V' B. i5 D - return pszRes;: c8 C7 a0 q ?. J
- }
复制代码
% t# b8 ~5 T5 v) s- 定义冲突% @6 p" X7 V8 W# G) B% X: T
0 D5 E+ W, ]" J. a2 j1 O' h6 Z不同函数在成功和失败时返回值的取值规则可能不同。例如,Unix系统调用级函数返回0代表成功,-1代表失败;新的Posix函数返回0代表成功,非0代表失败;标准C库中isxxx函数返回1表示成功,0表示失败。0 j, X8 R- ]4 [: ]; j9 s" j& |$ O0 O9 B
- 无约束性
7 w* O- c: U( X0 ]# d) d7 u
. V* E! m& V6 t5 H调用者可以忽略和丢弃返回值。未检查和处理返回值时,程序仍然能够运行,但结果不可预知。
) J9 m* i0 T, {新的Posix函数返回值只携带状态和异常信息,并通过参数列表中的指针回传有用的结果。回传参数绑定到相应的实参上,因此调用者不可能完全忽略它们。通过回传参数(如结构体指针)可返回多个值,也可携带更多的信息。
" ^+ }2 z2 \: D综合返回值和回传参数的优点,可对Get类函数采用返回值(含有用结果)方式,而对Set类函数采用返回值+回传参数方式。对于纯粹的返回值,可按需提供如下解析接口:
. H7 x0 I0 f/ A
6 Z+ M/ J4 M# Z& H* q- m8 k) N- typedef enum{/ M9 w2 N0 k9 n
- S_OK, //成功9 H7 @# o" ]& H* ~8 s
- S_ERROR, //失败(原因未明确),通用状态" ^& ?6 f5 c! |8 `! C0 v
- S_NULL_POINTER, //入参指针为NULL
, K( `% E7 m _. z B - S_ILLEGAL_PARAM, //参数值非法,通用
7 h( d4 v6 E: ? - S_OUT_OF_RANGE, //参数值越限
# D* h8 B; o% p* x; P - S_MAX_STATUS //不可作为返回值状态,仅作枚举最值使用
& A5 z8 Y, U; B+ s8 l5 e7 u - }FUNC_STATUS;$ z4 \0 k. R a, y1 m
' f% r; m! G2 h# y0 A4 |8 y6 q- #define RC_NAME(eRetCode) \
' {* {3 m4 V" F2 E, X& V - ((eRetCode) == S_OK ? "Success" : \8 }0 N* x$ b: E6 o/ t! t1 ^
- ((eRetCode) == S_ERROR ? "Failure" : \" e, {% `" _5 U9 b( j7 i
- ((eRetCode) == S_NULL_POINTER ? "NullPointer" : \6 K, w- n. d' n* e( d4 X. y+ i7 k4 [
- ((eRetCode) == S_ILLEGAL_PARAM ? "IllegalParas" : \7 E! m3 Z3 J" O
- ((eRetCode) == S_OUT_OF_RANGE ? "OutOfRange" : \
- H' t+ ?" S3 R' A$ U5 x* O - "Unknown")))))
复制代码
& A7 l9 K n! F6 M- o/ M& s当返回值错误码来自下游模块时,可能与本模块错误码冲突。此时,建议不要将下游错误码直接向上传递,以免引起混乱。若允许向终端或文件输出错误信息,则可详细记录出错现场(如函数名、错误描述、参数取值等),并转换为本模块定义的错误码再向上传递。$ A Y( I; m5 h, j5 }
2.2 全局状态标志(errno)
+ J" a o9 e$ E6 W' n2 ^5 B7 F Unix系统调用或某些C标准库函数出错时,通常返回一个负值,并设置全局整型变量errno为一个含有错误信息的值。例如,open函数出错时返回-1,并设置errno为EACESS(权限不足)等值。# r: D5 [) c) {9 r% N! _5 X2 C- y
C标准库头文件<errno.h>中定义errno及其可能的非零常量取值(以字符'E'开头)。在ANSI C中已定义一些基本的errno常量,操作系统也会扩展一部分(但其对错误描述仍显匮乏)。
( t2 p8 F! U7 j6 sLinux系统中,出错常量在errno(3)手册页中列出,可通过man 3 errno命令查看。除EAGAIN和EWOULDBLOCK取值相同外,POSIX.1指定的所有出错编号取值均不同。
6 U$ w2 E5 A7 S& r4 \Posix和ISO C将errno定义为一个可修改的整型左值(lvalue),可以是包含出错编号的一个整数,或是一个返回出错编号指针的函数。以前使用的定义为:$ t: p0 R. Z' R$ m* b
- : c/ T0 o; M" B" J( S# M: d
- extern int errno;
复制代码
# y, Z/ B$ }, j但在多线程环境中,多个线程共享进程地址空间,每个线程都有属于自己的局部errno(thread-local)以避免一个线程干扰另一个线程。例如,Linux支持多线程存取errno,将其定义为:. R1 _' O0 A' v$ `
- 9 T- G2 v" B6 ^
- extern int *__errno_location(void);
+ K B* w0 k1 f+ k7 t - #define errno (*__errno_location())
复制代码
. _/ A; w: N# K7 Y& {函数__errno_location在不同的库版本下有不同的定义,在单线程版本中,直接返回全局变量errno的地址;而在多线程版本中,不同线程调用__errno_location返回的地址则各不相同。; G0 o$ f y) H
C运行库中主要在math.h(数学运算)和stdio.h(I/O操作)头文件声明的函数中使用errno。. _+ c4 N8 l4 ?# s+ t
使用errno时应注意以下几点:
# A1 @* Z+ E: v( P# W2 z, _% i- 函数返回成功时,允许其修改errno。6 }7 R0 z4 [+ t8 G8 w+ E
7 I/ J+ o" F% \1 Q* {. }; j; E! J例如,调用fopen函数新建文件时,内部可能会调用其他库函数检测是否存在同名文件。而用于检测文件的库函数在文件不存在时,可能会失败并设置errno。这样, fopen函数每次新建一个事先并不存在的文件时,即使没有任何程序错误发生(fopen本身成功返回),errno也仍然可能被设置。
( X# J- d, h/ c( q/ r# d因此,调用库函数时应先检测作为错误指示的返回值。仅当函数返回值指明出错时,才检查errno值:
$ w9 s+ X! y' w/ }- / J/ \+ I. D- n7 H( ~7 T( Q6 ]
- //调用库函数
1 |. l3 T% A5 z/ |. V- B" R$ @4 f - if(返回错误值)
# y6 t) \) F/ U; y. A$ j5 I4 X3 p - //检查errno
复制代码 + r" R$ Q. z! E5 d, A4 t
- 库函数返回失败时,不一定会设置errno,取决于具体的库函数。
5 O2 W- E& F3 {, p0 _
- errno在程序开始时设置为0,任何库函数都不会将errno再次清零。' r5 O {. Z- m7 R! B& n* m2 Y
因此,在调用可能设置errno的运行库函数之前,最好先将errno设置为0。调用失败后再检查errno的值。7 Q [1 v& E7 x! k; h1 u& f
- 使用errno前,应避免调用其他可能设置errno的库函数。如:* _4 o+ O7 J. z3 f
7 Y; M7 ~9 p& c" i- if (somecall() == -1)
& y* I/ t, _3 ?) ?: @2 A d5 ^3 l - {
9 q% a, d" \. w/ J - printf("somecall() failed\n");6 [# ]. ^8 }+ Q& M a' b
- if(errno == ...) { ... }
; \, @- ^; B( J2 S) a' v [" u$ u - }
复制代码 somecall()函数出错返回时设置errno。但当检查errno时,其值可能已被printf()函数改变。若要正确使用somecall()函数设置的errno,须在调用printf()函数前保存其值:3 G9 G) y4 ^6 r+ M9 ]
- 5 N6 `: `1 S X! m1 S6 M/ u
- if (somecall() == -1)+ H; @) }% U7 ?9 f/ ~% C1 p
- {
8 l' f4 B4 I) w' w O# N - int dwErrSaved = errno;; P/ D" {$ T' r3 p6 q) P
- printf("somecall() failed\n");* f1 o/ r) s1 c$ e/ Q# I
- if(dwErrSaved == ...) { ... }8 ^9 A2 X; i4 R/ x
- }
复制代码 4 j- ~9 g2 }- |! {! d* i
类似地,当在信号处理程序中调用可重入函数时,应在其前保存其后恢复errno值。6 L: G" ~2 F) F) C0 k% i
- 使用现代版本的C库时,应包含使用<errno.h>头文件;在非常老的Unix 系统中,可能没有该头文件,此时可手工声明errno(如extern int errno)。" F0 T; D/ T& z
C标准定义strerror和perror两个函数,以帮助打印错误信息。
% ?- M; R2 t- @/ R9 G, w- - W* h( g* |5 c9 Y
- #include <string.h>
; k) E3 `( b) {" J4 j: I$ ]8 j- X - char *strerror(int errnum);
复制代码 ' O x9 G1 u: F+ \$ r
该函数将errnum(即errno值)映射为一个出错信息字符串,并返回指向该字符串的指针。可将出错字符串和其它信息组合输出到用户界面,或保存到日志文件中,如通过fprintf(fp, "somecall failed(%s)", strerror(errno))将错误消息打印到fp指向的文件中。
$ J' n- W$ G' D+ S( a: T! ?# P4 L, y2 zperror函数将当前errno对应的错误消息的字符串输出到标准错误(即stderr或2)上。
/ T$ O3 s( P; m3 m1 Z& h
6 d2 p$ j3 ?8 E! p- #include <stdio.h>4 ]$ E& A3 b: g* q O3 ~
- void perror(const char *msg);
复制代码
+ ]; X+ U* K* v6 R5 R该函数首先输出由msg指向的字符串(用户自己定义的信息),后面紧跟一个冒号和空格,然后是当前errno值对应的错误类型描述,最后是一个换行符。未使用重定向时,该函数输出到控制台上;若将标准错误输出重定向到/dev/null,则看不到任何输出。
4 S2 Q$ E# F& R8 G$ z注意,perror()函数中errno对应的错误消息集合与strerror()相同。但后者可提供更多定位信息和输出方式。
* b8 Y2 L2 d# k- Q6 c两个函数的用法示例如下:5 Q' l8 q3 L0 k1 t' e; G& T/ M
- : f, P/ k8 q2 }8 F4 G8 E
- int main(int argc, char** argv)
, n1 [6 y/ L- Q- `* }/ x% i6 e9 _ - {
/ d% o5 F. ?3 x. w& z6 H" h - errno = 0;
( t+ c2 A% b9 e8 i' R/ J& H8 x - FILE *pFile = fopen(argv[1], "r");
: ~! d) e$ k, y- a" o; V3 ^) `" z - if(NULL == pFile)
) d$ ?# Y. h7 ]- {# o+ C - {
3 H; M3 B1 U; ?3 g; p" u - printf("Cannot open file '%s'(%s)!\n", argv[1], strerror(errno));
2 @- s! U6 v4 D: y - perror("Open file failed");
1 V. p( ^0 d; ~, n - }4 C. W5 S* r* w F
- else3 q) b2 R- q: F' D" _. P. b
- {! X. m1 a6 q8 u8 ]7 Z1 H/ p1 G% p1 c
- printf("Open file '%s'(%s)!\n", argv[1], strerror(errno));
8 e8 f! w# M! c# n$ ?1 S - perror("Open file");. Q7 o J$ x3 j
- fclose(pFile);
! I1 [- J$ t) v9 k. N/ T - }' T8 [; [' F% ~7 T
- + b: c( j4 K" A; a0 }1 Q( k& l
- return 0;
$ V% L) b1 e+ O1 j& ^. a - }
复制代码 & @5 L) i k& [; e( M( P- V
执行结果为:
4 r! {. D5 l' |6 ?: r
2 L( @ x2 V* F' r6 ?2 Z r1 A- [wangxiaoyuan_@localhost test1]$ ./GlbErr /sdb1/wangxiaoyuan/linux_test/test1/test.c: G9 a% w2 r, ~) q, {- v
- Open file '/sdb1/wangxiaoyuan/linux_test/test1/test.c'(Success)!
1 F+ ^+ _( O" Q% }. k. M! B - Open file: Success; z2 b N( x' } o v& [3 x+ t" K
- [wangxiaoyuan_@localhost test1]$ ./GlbErr NonexistentFile.h- N( T, V6 p1 c5 D, _. }
- Cannot open file 'NonexistentFile.h'(No such file or directory)!0 w2 q9 F$ e! e9 l: V+ V
- Open file failed: No such file or directory
# U# \7 q' B2 N% D - [wangxiaoyuan_@localhost test1]$ ./GlbErr NonexistentFile.h > test
8 a: }) `8 C- U4 R9 W: C% g - Open file failed: No such file or directory- e0 x0 ~9 U7 W# i" \6 L4 `
- [wangxiaoyuan_@localhost test1]$ ./GlbErr NonexistentFile.h 2> test
( D& ^& g: r1 T' |1 `, _3 u - Cannot open file 'NonexistentFile.h'(No such file or directory)!
复制代码
+ g7 Q7 q" _3 D ]! I. r7 p- s( A也可仿照errno的定义和处理,定制自己的错误代码:) \5 X5 k# v+ f
3 u! Q' d! B6 U4 _1 y- int *_fpErrNo(void)
( L B" J, j8 T# J Y+ b) n7 O - {
3 l6 y8 Q0 z$ v, Z; l, n - static int dwLocalErrNo = 0;
5 Q8 y) Y7 j% t1 w# u: ^! f - return &dwLocalErrNo;9 V/ F Z, K8 T! }- t; ~' f
- }
* j: j4 E7 W `# U
7 j `, L8 A9 k: L9 L% A- #define ErrNo (*_fpErrNo())
) S) R8 b9 d1 y# v - #define EOUTOFRANGE 13 c3 x) \3 F+ J! b
- //define other error macros...
, w* X- f) g4 a
" j. J& t: a$ `- int Callee(void)
5 l! J; X( l9 I4 F0 \4 q - {
6 g' p! J5 t5 \, X/ m' V: ]! ` - ErrNo = 1;
5 U; B3 t" U( k - return -1;0 n/ O/ K2 b* w" y5 ]+ C
- }
+ ~$ j B" \* a2 B' m - # ]' k+ X& ]2 [* Y; t. H" B
- int main(void)
5 l/ I# Y- @ @4 p* ~, V: q d$ b - {
0 A: Y3 E6 u/ N h - ErrNo = 0;
" g. r/ k( a/ d/ R v& D - if((-1 == Callee()) && (EOUTOFRANGE == ErrNo))1 X( X9 Z8 f5 A5 `
- printf("Callee failed(ErrNo:%d)!\n", ErrNo);7 D2 Y. G; S7 }. m3 x8 `" X" _+ F
- return 0;
) [, d6 A8 t8 H - }
复制代码 ! V( Y* E3 e& Y3 Q6 C7 `
借助全局状态标志,可充分利用函数的接口(返回值和参数表)。但与返回值一样,它隐含地要求调用者在调用函数后检查该标志,而这种约束同样脆弱。/ x1 w8 Z& R- N
此外,全局状态标志存在重用和覆盖的风险。而函数返回值是无名的临时变量,由函数产生且只能被调用者访问。调用完成后即可检查或拷贝返回值,然后原始的返回对象将消失而不能被重用。又因为无名,返回值不能被覆盖。" `( d! K( N/ {6 v
2.3 局部跳转(goto)
5 S8 x: E/ w |7 p 使用goto语句可直接跳转到函数内的错误处理代码处。以除零错误为例:/ t' o8 F4 V, l( G
2 _( F: U' ?% C" ^- double Division(double fDividend, double fDivisor)
. u9 n8 r& L* A% d# V3 W, E - {7 K/ ^+ A) l& Y* L
- return fDividend/fDivisor;5 A5 n8 w$ J+ \: H+ {) T
- }& ~, P B; h4 g3 g9 J& ?7 A3 w8 g- \
- int main(void)
, ~' Y5 s4 t/ |9 `0 } - {7 N- @3 {' O9 o) d$ F* [+ h
- int dwFlag = 0;9 _4 V" w& y* v. a# G& p# ]2 k/ p
- if(1 == dwFlag)( J% w$ B6 {" G4 f
- {
+ X1 C8 z' J6 T: I - RaiseException:
8 G7 } K5 O0 N9 v" E0 J. p - printf("The divisor cannot be 0!\n");; X+ O2 n( {1 k
- exit(1);5 }) y3 @/ v* e# J
- }
g$ o% \/ K- G0 C. Z4 l* W# H, D - dwFlag = 1;# ]% a4 Q/ s' ]8 R0 ~
& o7 b9 R I0 ~" m- double fDividend = 0.0, fDivisor = 0.0;/ W E! f' F# x( \; W
- printf("Enter the dividend: ");
) w, n/ r/ N8 q - scanf("%lf", &fDividend);
+ G- z# Y3 F \7 H( [4 _ - printf("Enter the divisor : ");
1 E+ a* o9 X w5 s3 G6 Q - scanf("%lf", &fDivisor);
. s- Z2 o J( {: x - if(0 == fDivisor) //不太严谨的浮点数判0比较
% |2 g% i; o0 R - goto RaiseException;
% ^' j) F2 c# H( Q, ] - printf("The quotient is %.2lf\n", Division(fDividend, fDivisor));
, \$ C2 [" f% N4 [ - / P5 [! R9 k5 r/ @3 N# c- Y5 C
- return 0;
# `6 r7 [3 u+ o W+ D - }
复制代码 ) O+ r5 \5 t! w) }1 ]" y; o
执行结果如下:) J( x6 P; m; _/ C
- 0 u7 B$ h" b" G N% p- ^
- [wangxiaoyuan_@localhost test1]$ ./test
9 Y9 w/ k4 Y7 S9 x! j$ Q - Enter the dividend: 10
9 m. F X. Y* Z5 ]+ | - Enter the divisor : 0
" ^7 d& W9 o c$ R1 L, g - The divisor cannot be 0!
2 A8 a2 U1 w8 [2 i% s$ h+ s- k$ i - [wangxiaoyuan_@localhost test1]$ ./test7 v: q/ q$ a/ D5 Y1 {/ I+ f8 @
- Enter the dividend: 10
% M- c0 ~3 J0 G% Z" K5 H - Enter the divisor : 2
* L' ]8 ^% R" a - The quotient is 5.00
5 M8 t' O+ k) ]9 [ - 虽然goto语句会破坏代码结构性,但却非常适用于集中错误处理。伪代码示例如下:1 W: `4 r: @8 C9 K5 m
- CallerFunc()
2 s8 w4 ^% N8 w - {
N" y# i# L- {) C - if((ret = CalleeFunc1()) < 0);
. i" W4 d K1 P1 W- i+ Q8 Q - goto ErrHandle;6 u# \6 s$ g0 s7 c" p
- if((ret = CalleeFunc2()) < 0);5 \, [3 w! M4 F, G9 y, P
- goto ErrHandle;
% W" G0 F. F5 u% f) d4 e - if((ret = CalleeFunc3()) < 0);
+ K2 d& l, B8 F- c2 k) E; Q7 s - goto ErrHandle;, T& G7 f9 i4 j, C8 Y8 D) ^; ~5 P
- //...
, d4 f3 v& Z/ |" ? - : }. a8 G4 G: z/ L1 G
- return;
3 n% U7 D- G7 p! @* I7 F T0 ^
! I R, P! P( ]/ F& Z: X6 e9 G8 e- ErrHandle:
0 }7 C2 z) a" c, p* R - //Handle Error(e.g. printf)
! K6 }6 O0 b" p# ~0 ^9 }, Y - return;8 s+ y3 u/ E3 m! N" n/ E' D' G
- }
复制代码
9 }8 j! I+ s" ]- K+ Q) X+ S* L2.4 非局部跳转(setjmp/longjmp) F& e3 } B6 o4 o8 l
局部goto语句只能跳到所在函数内部的标号上。若要跨越函数跳转,需要借助标准C库提供非局部跳转函数setjmp()和longjmp()。它们分别承担非局部标号和goto的作用,非常适用于处理发生在深层嵌套函数调用中的出错情况。“非局部跳转”是在栈上跳过若干调用帧,返回到当前函数调用路径上的某个函数内。7 L9 k. t9 |. s
& G& M9 d9 R4 z9 v5 @+ [- #include <setjmp.h>
5 ]3 g. U; ~5 `0 a: D6 q) X - int setjmp(jmp_buf env);
$ n! {, J4 h6 a) x - void longjmp(jmp_buf env,int val);
复制代码
, M$ c5 O! R4 z' M9 o% A- |/ Y函数setjmp()将程序运行时的当前系统堆栈环境保存在缓冲区env结构中。初次调用该函数时返回值为0。longjmp()函数根据setjmp()所保存的env结构恢复先前的堆栈环境,即“跳回”先前调用setjmp时的程序执行点。此时,setjmp()函数返回longjmp()函数所设置的参数val值,程序将继续执行setjmp调用后的下一条语句(仿佛从未离开setjmp)。参数val为非0值,若设置为0,则setjmp()函数返回1。可见,setjmp()有两类返回值,用于区分是首次直接调用(返回0)和还是由其他地方跳转而来(返回非0值)。对于一个setjmp可有多个longjmp,因此可由不同的非0返回值区分这些longjmp。: P! n" u& X+ H' V
举个简单例子说明 setjmp/longjmp的非局部跳转:
# x* i) Y. t8 H
4 m7 e$ ]5 |$ v1 `+ e/ _- jmp_buf gJmpBuf;
3 g1 J. U# q1 D* v1 q& w - void Func1(){
; F7 k; `( X9 O* r5 M - printf("Enter Func1\n");1 D; `6 t$ f7 c$ j
- if(0)longjmp(gJmpBuf, 1);' i; D* F- x0 h+ M$ l Z d. { I3 w
- }- ] o6 V1 [+ p' n/ a2 Q
- void Func2(){
, D1 t$ ]1 U: |# {* }! J3 B0 T( M" q - printf("Enter Func2\n");$ l2 w8 B8 ~9 @1 r5 p) `9 X
- if(0)longjmp(gJmpBuf, 2);/ x' K; o2 X$ b8 o, X6 r4 u, x7 Q
- }, d9 }2 Z2 d% I; p2 W+ {% t
- void Func3(){
7 c% S/ ]: P: Q* W/ s4 E - printf("Enter Func3\n");% K! C6 P( j; a s% s/ p# B: H
- if(1)longjmp(gJmpBuf, 3);
; y/ V0 A* K/ } V! G. m+ L - }1 _, g8 T/ q# ?9 G' b& N
+ n8 Z5 A# f3 d1 e0 c: I8 D2 [- J) `- int main(void) J3 R$ o8 C1 Q9 i3 k
- {
# z- S8 g) v# H2 U9 | - int dwJmpRet = setjmp(gJmpBuf);
4 N7 h. f3 c6 Y - printf("dwJmpRet = %d\n", dwJmpRet);
) N0 h3 l5 G" Y( h* B$ M' L - if(0 == dwJmpRet)
' B; i9 e ]5 B8 o( d - {
% s( n# k) r/ S2 a' N, n9 r - Func1();
. `: E) b- F: Y& [% [ - Func2();+ S) K% c8 [" `, g1 M7 h [1 {( v
- Func3();
1 l0 I# ~7 _% J A# I' q - }" f8 V8 H$ M, U" }4 ^" D3 q7 s
- else% x5 N& G# `. d+ d
- {
/ M f. l- ^# S2 o4 G4 s6 h$ } - switch(dwJmpRet)
! t& f' j# |' r. g' r - {. H7 g2 ?0 G. M M
- case 1:0 Q, X, s- A8 h3 V% F3 C8 g0 Q
- printf("Jump back from Func1\n");
' e& C6 W+ X6 N1 K; y4 q, E - break;
4 @9 n- ]- @4 ^! Z- n- ` - case 2:
3 ?7 B) |! M% Q Y3 W) C% s - printf("Jump back from Func2\n");
0 m9 d1 m) _! }4 `. Z9 T; x - break;
/ X/ Y& w) T5 x5 M: g6 Z* f: j& { - case 3:
; H0 {! s$ I7 V* e$ [ - printf("Jump back from Func3\n");
, H( N8 w( q9 I7 D - break;
+ t! f9 c9 `1 V! Q$ @- W9 ~ - default:
9 d1 e! M; o8 s% {. t$ ] - printf("Unknown Func!\n");
/ Q F6 n" N) y" V' [ - break;
' ^8 W' J8 M M - }
6 n) t' `( T- B& z# |8 `- O - }
6 L7 W9 h1 `6 P. F# k( Q7 @ - return 0;
# s/ W) v" i1 o% l - }
复制代码 # j. ^0 S6 Y8 k* t) Q
执行结果为:7 p' m$ m3 G" {8 D6 C3 f
- 5 C' _$ a8 N6 S3 @
- dwJmpRet = 04 u/ [9 V9 f# c* [
- Enter Func1' w# P: N- H% S
- Enter Func2
?; P- r7 n: o" `' { - Enter Func3
& X9 r. u, f2 b5 K- y - dwJmpRet = 3" @# K6 p& q7 K* b& [% E( n
- Jump back from Func3
复制代码 当setjmp/longjmp嵌在单个函数中使用时,可模拟PASCAL语言中嵌套函数定义(即函数内中定义一个局部函数)。当setjmp/longjmp跨越函数使用时,可模拟面向对象语言中的异常(exception) 机制。0 C2 a, N2 m: O; v; G1 O- o& v' N
模拟异常机制时,首先通过setjmp()函数设置一个跳转点并保存返回现场,然后使用try块包含那些可能出现错误的代码。可在try块代码中或其调用的函数内,通过longjmp()函数抛出(throw)异常。抛出异常后,将跳回setjmp()函数所设置的跳转点并执行catch块所包含的异常处理程序。
) j6 z$ W+ ~$ |+ x4 ^. p以除零错误为例:0 ^+ q) M: T' v- ?* c3 a5 b1 e
- " [" H+ _3 \4 c2 U t
- jmp_buf gJmpBuf;
% j+ b2 O: e- x' Y. G9 b - void RaiseException(void), f2 G( r/ P8 Q/ ^
- {5 h, H* r- y$ c% r$ Q! ?0 ^
- printf("Exception is raised: ");1 x; g! F4 G& k2 s& K2 ~
- longjmp(gJmpBuf, 1); //throw,跳转至异常处理代码
4 p& T( {+ k* {( R( p - printf("This line should never get printed!\n");+ Z. }4 @7 R- W9 r1 K* [
- }4 s; I t3 i: l9 j8 s, a8 |
- double Division(double fDividend, double fDivisor)# I6 d+ ]7 w+ a' v2 `4 I( g
- {
. f7 ?& {- R3 R" B5 B - return fDividend/fDivisor;
- i3 U% l6 ~5 w# T - }3 T' X4 l& h! v
- int main(void)/ N4 d( H9 z5 y3 f
- {
( h3 w1 k% f5 |+ {/ g( z - double fDividend = 0.0, fDivisor = 0.0;
, U4 n! h$ w |& a/ v1 H - printf("Enter the dividend: ");
$ }/ L6 B4 E, K4 P& }0 j - scanf("%lf", &fDividend);3 s6 K W3 }4 L0 i' h
- printf("Enter the divisor : ");
( x- g" b1 d$ F - if(0 == setjmp(gJmpBuf)) //try块
7 k8 m. P$ k* P5 R1 J - {; e6 j0 s( v" g& `3 {
- scanf("%lf", &fDivisor);
. Z7 v+ d: S) ]' D9 I; X) h; L - if(0 == fDivisor) //也可将该判断及RaiseException置于Division内
* e0 h$ v" j( }7 V7 @2 D - RaiseException();% {: `1 l. s, A! `3 w! I8 q+ L
- printf("The quotient is %.2lf\n", Division(fDividend, fDivisor));
- U0 q" v0 I! [7 ^* e; Z. N - }5 }4 V! e- ]0 G; p; Q+ M& R3 l3 ]
- else //catch块(异常处理代码) ~. b7 }2 o! B4 v; w9 k2 c5 h
- {
, _, k* d, o. V0 |6 \6 ], R l - printf("The divisor cannot be 0!\n");
; _. j1 b# m3 j9 G" F - }
' S4 u! z7 S1 O& t
) ]) t5 Z4 u5 [6 ^6 k- return 0;
: | A5 `- c& @* T - }
复制代码
) x( m$ R3 U; `) p9 x8 `: M执行结果为:- z2 T p2 Z/ g9 O6 o3 z
- 3 Z+ h- G1 m1 ~3 [
- Enter the dividend: 10
" l9 t; z- {. d- K* u: I2 B - Enter the divisor : 0
7 b5 k% l+ l6 ?% L# V' B; T% F - Exception is raised: The divisor cannot be 0!
复制代码
4 c' m. p2 F4 u$ n通过组合使用setjmp/longjmp函数,可对复杂程序中可能出现的异常进行集中处理。根据longjmp()函数所传递的返回值来区分处理各种不同的异常。% k5 s* ]$ x0 ^% k! k+ N/ T
使用setjmp/longjmp函数时应注意以下几点:
\( v2 w& J: Q7 I! @- 必须先调用setjmp()函数后调用longjmp()函数,以恢复到先前被保存的程序执行点。若调用顺序相反,将导致程序的执行流变得不可预测,很容易导致程序崩溃。
- longjmp()函数必须在setjmp()函数的作用域之内。在调用setjmp()函数时,它保存的程序执行点环境只在当前主调函数作用域以内(或以后)有效。若主调函数返回或退出到上层(或更上层)的函数环境中,则setjmp()函数所保存的程序环境也随之失效(函数返回时堆栈内存失效)。这就要求setjmp()不可该封装在一个函数中,若要封装则必须使用宏(详见《C语言接口与实现》“第4章 异常与断言”)。
- 通常将jmp_buf变量定义为全局变量,以便跨函数调用longjmp。
- 通常,存放在存储器中的变量将具有longjmp时的值,而在CPU和浮点寄存器中的变量则恢复为调用setjmp时的值。因此,若在调用setjmp和longjmp之间修改自动变量或寄存器变量的值,当setjmp从longjmp调用返回时,变量将维持修改后的值。若要编写使用非局部跳转的可移植程序,必须使用volatile属性。
- 使用异常机制不必每次调用都检查一次返回值,但因为程序中任何位置都可能抛出异常,必须时刻考虑是否捕捉异常。在大型程序中,判断是否捕捉异常会是很大的思维负担,影响开发效率。相比之下,通过返回值指示错误有利于调用者在最近出错的地方进行检查。此外,返回值模式中程序的运行顺序一目了然,对维护者可读性更高。因此,应用程序中不建议使用setjmp/longjmp“异常处理”机制(除非库或框架)。& p# K7 x" ] I d
2.5 信号(signal/raise)在某些情况下,主机环境或操作系统可能发出信号(signal)事件,指示特定的编程错误或严重事件(如除0或中断等)。这些信号本意并非用于错误捕获,而是指示与正常程序流不协调的外部事件。
: ^% X L( Q9 e; t2 S为处理信号,需要使用以下信号相关函数:
* g7 f/ g v% Y: n
% W1 l( F* r) `' E S: v/ x- #include <signal.h>+ q) z' d7 p9 g
- typedef void (*fpSigFunc)(int);; l ^* n' f& u& g: y3 e: G8 Y
- fpSigFunc signal(int signo, fpSigFunc fpHandler);+ J0 |: g& j9 C5 X3 q
- int raise(int signo);
复制代码
; q- n6 E% P1 _1 u- X& a. \其中,参数signo是Unix系统定义的信号编号(正整数),不允许用户自定义信号。参数fpHandler是常量SIG_DFL、常量SIG_IGN或当接收到此信号后要调用的信号处理函数(signal handler)的地址。若指定SIG_DFL,则接收到此信号后调用系统的缺省处理函数;若指定SIG_ IGN,则向内核表明忽略此信号(SIGKILL和SIGSTOP不可忽略)。某些异常信号(如除数为零)不太可能恢复,此时信号处理函数可在程序终止前正确地清理某些资源。信号处理函数所收到的异常信息仅是一个整数(待处理的信号事件),这点与setjmp()函数类似。/ G* h3 S; B# `7 C0 ]% }5 r7 _7 X
signal()函数执行成功时返回前次挂接的处理函数地址,失败时则返回SIG_ERR。信号通过调用raise()函数产生并被处理函数捕获。6 _0 G% i: t( B' ?. f
以除零错误为例:3 e) g$ T9 `0 C8 h9 n4 V
) ` @ X0 Q& v# ]7 J% {- void fphandler(int dwSigNo)
3 t7 [8 G6 }7 W1 ?. A9 x1 |. \ - {/ t% b! J% ^5 S/ T3 E
- printf("Exception is raised, dwSigNo=%d!\n", dwSigNo);8 N$ y+ h8 J! v- z0 ~( {
- }
3 U1 D4 V o' s. g" X; | - int main(void)
0 j" m& }* u4 i' x4 O - {3 X; Q& Q+ l" Y. i' m4 m" x. I" M! y' y- X
- if(SIG_ERR == signal(SIGFPE, fphandler))
2 u% b' {( b6 Y4 k5 z, }( ]8 W - {
- ` b, D/ K4 @: \* H4 E/ T- \ - fprintf(stderr, "Fail to set SIGFPE handler!\n");5 @0 {6 ~+ |5 X( M8 |2 S
- exit(EXIT_FAILURE);
% i& @/ _7 G, R" t - }" L% A& \ l& {$ D6 F
* d# |4 t$ s- Q3 I- double fDividend = 10.0, fDivisor = 0.0; e3 @+ {, c2 q" ]
- if(0 == fDivisor)
9 c2 U T7 t$ p - {
5 V+ k2 J5 i7 n8 L& T) y2 o - raise(SIGFPE);
+ b T- S# n: H' u7 U# v - exit(EXIT_FAILURE);
, c% k7 |9 s0 O) ~ - }
2 ?, X/ E0 ~ O/ k - printf("The quotient is %.2lf\n", fDividend/fDivisor);: M" i* B* J# X5 [2 w
7 x7 n& z S H- return 0;
1 n+ b2 P p% @& U - }
复制代码 J- C9 z5 r+ |/ ?. {0 Q6 q4 u
执行结果为"Exception is raised, dwSigNo=8!"(0.0不等同于0,因此系统未检测到浮点异常)。
+ r7 `0 w$ ]0 l P0 n: q/ H: I: s若将被除数(Dividend)和除数(Divisor)改为整型变量:
* u6 W; N' c5 S3 j8 ]! k7 ~
- e; k& L' v# U6 v- int main(void)
& d/ [! N: {4 ^ - {
9 ?( w, m5 n- J - if(SIG_ERR == signal(SIGFPE, fphandler))
8 b# P- w- P9 w% o# O4 ? - {
4 {, X5 D+ G9 R/ o6 G4 Q - fprintf(stderr, "Fail to set SIGFPE handler!\n");
/ B* U, L4 I- p% ~/ U - exit(EXIT_FAILURE);
; @3 O+ g% b9 A' |; c- d - }( N5 d8 r7 Q4 Z: U4 D; f
- * v/ g0 v' \# r9 k5 r2 {3 C8 ]
- int dwDividend = 10, dwDivisor = 0;
4 h# y: @) ^, E. G' N) l - double fQuotient = dwDividend/dwDivisor;; L+ g1 B3 h9 h+ M. M1 F+ \$ F
- printf("The quotient is %.2lf\n", fQuotient);- k0 ~* p8 ]) O/ b D' v: r. x
- 3 C; R% ]- j% e5 @8 {
- return 0; p! Q: ]5 V0 z0 u x: r. V
- }
复制代码
6 p6 l5 r8 n! R, F( _则执行后循环输出"Exception is raised, dwSigNo=8!"。这是因为进程捕捉到信号并对其进行处理时,进程正在执行的指令序列被信号处理程序临时中断,它首先执行该信号处理程序中的指令。若从信号处理程序返回(未调用exit或longjmp),则继续执行在捕捉到信号时进程正在执行的正常指令序列。因此,每次系统调用信号处理函数后,异常控制流还会返回除0指令继续执行。而除0异常不可恢复,导致反复输出异常。5 m5 {0 I# `/ S5 `9 h/ n1 L
规避方法有两种:$ F/ t& M6 S8 A0 D- e9 }/ [. }0 K
- 将SIGFPE信号变成系统默认处理,即signal(SIGFPE, SIG_DFL)。: V ]) j b8 |, ]
此时执行输出为"Floating point exception"。- 利用setjmp/longjmp跳过引发异常的指令:2 S. P5 m* F/ c9 J! s: q
$ z6 W6 _8 n$ s9 y3 O- jmp_buf gJmpBuf;, b3 B. w X' X- q7 u2 A
- void fphandler(int dwSigNo)" Z5 \, x* X5 \, d9 n, T2 b
- {2 A4 y1 ]# O8 Y! ~8 o
- printf("Exception is raised, dwSigNo=%d!\n", dwSigNo);/ Y/ ^, ` E$ L
- longjmp(gJmpBuf, 1);: {1 s3 a6 q r' }
- }+ V" j) K; R: i
- int main(void)5 ?1 R3 Z( z8 R& z9 j
- {. n. O+ |8 c8 f! ?" c" Q
- if(SIG_ERR == signal(SIGFPE, SIG_DFL))
& H6 d1 S' X B$ A: _ - {5 y8 e% O0 |) h1 [/ m$ s
- fprintf(stderr, "Fail to set SIGFPE handler!\n");; H6 Q0 g8 y3 {5 X% ^+ ~1 A, a; t5 v
- exit(EXIT_FAILURE);
0 }$ ?% c, b& j$ B# g& z - }: ]0 P% y* ?4 ]# z. [
- + O; k" ?8 m; f, f4 }0 X0 [0 m
- int dwDividend = 10, dwDivisor = 0;/ W+ U1 C8 ?9 @1 e: B
- if(0 == setjmp(gJmpBuf))
& O) G# L) t) D0 k - { n: g8 o1 r& p
- double fQuotient = dwDividend/dwDivisor;
0 A2 r! N) E9 l( h - printf("The quotient is %.2lf\n", fQuotient);
2 N8 I- @, m/ B6 v/ p - }
, L8 U6 G4 k7 ?( b! q, O } n4 B8 ~ - else) [2 g6 Y1 U ^& I: i+ ~
- {9 W/ j6 ~# o- ^: L! s, D, {4 n
- printf("The divisor cannot be 0!\n");# X4 x) O$ f Q+ L
- }7 _- q' I! w0 K. _4 F
! q; l3 W' t. n5 R1 v5 R- return 0;
; I+ R7 _9 f7 [% Q8 T$ _ - }
复制代码 % f, q V9 Y1 ]* w K) w) [3 [& R" t' B
注意,在信号处理程序中还可使用sigsetjmp/siglongjmp函数进行非局部跳转。相比setjmp函数,sigsetjmp函数增加一个信号屏蔽字参数。
) z0 W k- m/ @; q8 G- |+ H, t三 错误处理! y/ o8 f; Z% z. ?5 o( ^
3.1 终止(abort/exit)
. z9 i5 |/ R6 x, c0 R! N 致命性错误无法恢复,只能终止程序。例如,当空闲堆管理程序无法提供可用的连续空间时(调用malloc返回NULL),用户程序的健壮性将严重受损。若恢复的可能性渺茫,则最好终止或重启程序。; C2 n2 g; R. W* ^5 p3 _; s
标准C库提供exit()和abort()函数,分别用于程序正常终止和异常终止。两者都不会返回到调用者中,且都导致程序被强行结束。
% L) m' s# g& Q+ h, g6 wexit()及其相似函数原型声明如下:6 u7 w/ K9 L1 ^# D6 q W9 W
+ _8 s; S5 S$ x+ C# ~# e3 d7 b- #include <stdlib.h>9 ]0 X) E; `/ r& P! j
- void exit(int status);# I b- b& s7 E/ i
- void _Exit(int status);
. a D' [5 V3 X# g% a. C! g1 l - #include <unistd.h>
( }4 Z. q( V& K - void _exit(int status);
复制代码 其中,exit和_Exit由ISO C说明,而_exit由Posix.1说明。因此使用不同的头文件。ISO C定义_Exit旨在为进程提供一种无需运行终止处理程序(exit handler)或信号处理程序(signal handler)而终止的方法,是否冲洗标准I/O流则取决于实现。Unix系统中_Exit 和_exit同义,两者均直接进入内核,而不冲洗标准I/O流。_exit函数由exit调用,处理Unix特定的细节。
4 w$ F4 L9 s( o ~exit()函数首先调用执行各终止处理程序,然后按需多次调用fclose函数关闭所有已打开的标准I/O流(将所有缓冲的输出数据冲洗写到文件上),然后调用_exit函数进入内核。4 s/ w" m7 N) _+ y% u
标准函数库中有一种“缓冲I/O(buffered I/O)”机制。该机制对于每个打开的文件,在内存中维护一片缓冲区。每次读文件时会连续读出若干条记录,下次读文件时就可直接从内存缓冲区中读取;每次写文件时也仅仅写入内存缓冲区,等满足一定条件(如缓冲区填满,或遇到换行符等特定字符)时再将缓冲区内容一次性写入文件。通过尽可能减少read和write调用的次数,该机制可显著提高文件读写速度,但也给编程带来某些麻烦。例如,向文件内写入一些数据时,若未满足特定条件,数据会暂存在缓冲区内。开发者并不知晓这点,而调用_ exit()函数直接关闭进程,导致缓冲区数据丢失。因此,若要保证数据完整性,必须调用exit()函数,或在调用 _exit()函数前先通过fflush()函数将缓冲区内容写入指定的文件。1 c9 p @# a* t1 ~
例如,调用printf函数(遇到换行符'\n'时自动读出缓冲区中内容)函数后再调用exit:6 p. ?2 u( m9 v9 U9 L. A
/ E& I- T W' |& a- int main(void)
/ B# ]/ r0 g( Y! E& I - {
6 O9 a4 H7 ~) s9 f - printf("Using exit...\n");
I2 }# D5 c, {3 I; F+ M$ `8 N$ r - printf("This is the content in buffer");
( F" B1 \) [! D8 l. _ T - exit(0);
' C% S% [4 K' V' ^ - printf("This line will never be reached\n");/ q! u( B7 s" v) d6 D; V
- }
复制代码 * F- H: c( ^: v( X3 R' _
执行输出为:
2 `6 G3 y# r3 `5 V# A+ m" f- 4 S" M% r% K1 L. V1 l. i
- Using exit...9 a6 ?, e- @; Z& _) j5 H4 Z; j
- This is the content in buffer(结尾无换行符)
复制代码
2 A* w: K( o# J$ N& [6 t调用printf函数后再调用_exit:7 }( c; \) N2 V" y/ W
- : P* t% A- a7 q, ~* m9 x
- int main(void)& I- x" P" L1 S/ B* D9 o: r
- {
4 g0 W' O8 Q! n) @- n- l i- h, r& R - printf("Using _exit...\n");: N# L. ]: {4 k7 p! K, ]8 S9 J
- printf("This is the content in buffer");( Z" s6 E7 O, ~- k3 u
- fprintf(stdout, "Standard output stream");# B7 s) ?, F4 z; i+ W
- fprintf(stderr, "Standard error stream");" @( S2 v, x( k1 r6 d
- //fflush(stdout);
; q6 e5 {6 x6 }. L& A8 V - _exit(0);/ v7 T4 s5 W$ t% [! P( R& }
- }
复制代码
* v) f. e. }3 n1 f2 `2 o执行输出为:2 h! F1 ~* P, @$ I& a! V
/ n% s+ G4 f' B- c3 D- Using _exit...
2 d# E) X7 X0 } - Standard error stream(结尾无换行符)
复制代码 3 O. q. {: u* B$ ~. e& J: T
若取消fflush句注释,则执行输出为:
% Q: U+ I1 v4 {- ) U# v. E- O2 |9 P* `3 A; h# X
- Using _exit...- m2 D: ~+ H' n0 z+ s- n, K4 N7 @2 d
- Standard error streamThis is the content in bufferStandard output stream(结尾无换行符)
复制代码
& f+ m2 n' C8 w+ y) c0 w) y通常,标准错误是不带缓冲的,打开至终端设备的流(如标准输入和标准输出)是行缓冲的(遇换行符则执行I/O操作);其他所有流则是全缓冲的(填满标准I/O缓冲区后才执行I/O操作)。8 I) P- v! j! f1 B, w0 T& s
三个exit函数都带有一个整型参数status,称之为终止状态(或退出状态)。该参数取值通常为两个宏,即EXIT_SUCCESS(0)和EXIT_FAILURE(1)。大多数Unix shell都可检查进程的终止状态。若(a)调用这些函数时不带终止状态,或(b)main函数执行了无返回值的return语句,或(c) main函数未声明返回类型为整型,则该进程的终止状态未定义。但若main函数的返回类型为整型,且执行到最后一条语句时返回(隐式返回),则该进程的终止状态为0。6 l5 B- k" s3 k2 o, q3 l) ?- |/ z
exit系列函数是最简单直接的错误处理方式,但程序出错终止时无法捕获异常信息。ISO C规定一个进程可以注册32个终止处理函数。这些函数可编写为自定义的清理代码,将由exit()函数自动调用,并可使用atexit()函数进行注册。8 u, k+ }: T3 |
: G: o) a/ s$ P9 r# e# t- #include <stdlib.h>
7 p; R* u% W- h/ ]4 a - int atexit(void (*func)(void));
复制代码
6 |6 C5 w. ^, U# p/ g! }& m该函数的参数是一个无参数无返回值的终止处理函数。exit()函数按注册的相反顺序调用这些函数。同一函数若注册多次,则被调用多次。即使不调用exit函数,程序退出时也会执行atexit注册的函数。
0 c" v; `. i! `) N) j通过结合exit()和atexit()函数,可在程序出错终止时抛出异常信息。以除零错误为例:
+ d( i( {2 f8 }9 r3 e- ) P' n8 Z8 ]9 V% o/ |. D8 M( M! S# W
- double Division(double fDividend, double fDivisor): U' o5 `+ D7 \9 Q- Y
- {
9 G+ ? P1 _: {7 S( \2 ` - return fDividend/fDivisor;2 ^: H2 H- j$ Z7 L4 \% @! J9 u
- }: ]; v0 P2 v4 s* |9 ]
- void RaiseException1(void)
% v1 {* U& H7 v# Y; ` - {; W0 v3 c) X1 k5 w0 m
- printf("Exception is raised: \n");
2 {2 T1 \- s+ Q0 d, q; | - }
% I( J, c( L1 r% j7 c7 {8 t - void RaiseException2(void)9 `& I ~8 p. I4 H% q3 r
- {: c G8 o9 u- K3 ^+ c, |0 ]6 s% K
- printf("The divisor cannot be 0!\n");, J, a6 r; h f, l$ x: {' F9 ]
- } h- u1 I6 u% c! d
- ! {' Z7 A- r) u! Y: g% T
- int main(void)/ v% k. z5 A3 ]
- {* h! x" ]# W" E+ e
- double fDividend = 0.0, fDivisor = 0.0;
! m/ e1 Z1 j+ h" z/ w p4 n - printf("Enter the dividend: ");) q- ^: p+ F( n; m
- scanf("%lf", &fDividend); w) o {0 N5 b7 A
- printf("Enter the divisor : ");
. {# N" e+ L+ C o/ w - scanf("%lf", &fDivisor);
& o& q( \: N9 m" X - if(0 == fDivisor)$ y/ Y% U3 X0 B n$ t' y
- {! \3 X# v7 @+ i) [
- atexit(RaiseException2);
) c3 x2 I. [8 _; X9 w - atexit(RaiseException1);* l; Z7 ?% Z( J9 Q, ~
- exit(EXIT_FAILURE);2 D: d6 K# A9 ~
- }1 ?$ @$ B6 T, G5 o4 ?4 D
- printf("The quotient is %.2lf\n", Division(fDividend, fDivisor));
, c9 }/ L3 t# l - & A- n; J8 ~) B: A& d/ m
- return 0;
: E0 \# X+ j" Y/ S - }
复制代码 5 H$ c1 {% c. t- b
执行结果为:
$ h: a8 X. V h* F9 e4 O' t1 c- ( t+ [- W" U( r% F
- Enter the dividend: 10) A# ]( c5 o/ j: l$ ^- m m2 h; n
- Enter the divisor : 01 }/ p; H% W9 X% R i
- Exception is raised: + a% t% S# q [2 s7 b7 b8 f% {
- The divisor cannot be 0!
复制代码 ( a- b0 ?4 \6 s3 ~
注意,通过atexit()注册的终止处理函数必须显式(使用return语句)或隐式地正常返回,而不能通过调用exit()或longjmp()等其他方式终止,否则将导致未定义的行为。例如,在GCC4.1.2编译环境下,调用exit()终止时仍等效于正常返回;而VC6.0编译环境下,调用exit()的处理函数将阻止其他已注册的处理函数被调用,并且可能导致程序异常终止甚至崩溃。; M( b) Y* l" o9 B7 B
嵌套调用exit()函数将导致未定义的行为,因此在终止处理函数或信号处理函数中尽量不要调用exit()。
8 Z6 Z7 i6 U8 r! r% m7 L/ _$ Oabort()函数原型声明如下:! X& X: V& ~5 O4 ?0 Q
- 2 h+ q7 Z1 D, |- u% y% h4 Z
- #include <stdlib.h>
1 T2 S8 i( C8 Q - void abort(void);
复制代码 该函数将SIGABRT信号发送给调用进程(进程不应忽略此信号)。ISO C规定,调用abort将向主机环境递送一个未成功终止的通知,其方法是调用raise(SIGABRT)函数。因此,abort()函数理论上的实现为:8 Y" Q) [$ @1 B1 Q1 B8 z" i9 s
- # k/ j+ J# l0 G" \1 [
- void abort(void)
) m6 s) ?% o$ W- C - {
, R+ l: b3 t5 O/ K2 X5 c% t - raise(SIGABRT);- S( H; g& u5 Y/ N1 k
- exit(EXIT_FAILURE);
5 h! z/ i; ?8 b0 L8 a1 @! T' Z - }
复制代码 ! L' W: K# z; A( S& M' p) J: l
可见,即使捕捉到SIGABRT信号且相应信号处理程序返回,abort()函数仍然终止程序。Posix.1也说明abort()函数并不理会进程对此信号的阻塞和忽略。- t7 e4 m8 Q7 {, t' F7 t
进程捕捉到SIGABRT信号后,可在其终止之前执行所需的清理操作(如调用exit)。若进程不在信号处理程序中终止自己,Posix.1声明当信号处理程序返回时,abort()函数终止该进程。" [0 n4 n. J0 f) e7 a% D- `+ s( n
ISO C规定,abort()函数是否冲洗输出流、关闭已打开文件及删除临时文件由实现决定。Posix.1则要求若abort()函数终止进程,则它对所有打开标准I/O流的效果应当与进程终止前对每个流调用fclose相同。为提高可移植性,若希望冲洗标准I/O流,则应在调用abort()之前执行这种操作。1 |* ~1 x! X$ ^: R# F6 J
3.2 断言(assert)
, E: h9 h7 U5 S( N, N abort()和exit()函数无条件终止程序。也可使用断言(assert)有条件地终止程序。assert是诊断调试程序时经常使用的宏,定义在<assert.h>内。该宏的典型实现如下:
. _0 l2 n/ O- o) u7 e; C9 ?- $ a& ?/ N+ j/ |
- #ifdef NDEBUG
4 m. ?' I8 L' o# d" x$ q - #define assert(expr) ((void) 0)5 @0 q2 p, E# @4 [0 S
- #else
, E' E+ H3 f9 e4 A- i - extern void __assert((const char *, const char *, int, const char *));$ C" \$ Y: z; j Z& n b: I' f
- #define assert(expr) \
) i/ ?* O% l8 ^7 D) R/ O - ((void) ((expr) || \
+ Q* l- J, X/ F2 C5 ?8 K. r; s& } - (__assert(#expr, __FILE__, __LINE__, __FUNCTION__), 0)))# f6 E7 C, G1 w C! E
- #endif
复制代码 % L5 n+ I/ W4 Q' y n$ T
可见,assert宏仅在调试版本(未定义NDEBUG)中有效,且调用__assert()函数。该函数将输出发生错误的文件名、代码行、函数名以及条件表达式:
+ t1 e6 B+ j( x* o( w7 p- ( c: G. [' f Y7 J7 F- t( f
- void __assert(const char *assertion, const char * filename,
; Y" M9 ] G. i5 t0 { _) E - int linenumber, register const char * function). d) s2 q: R" @, g# \' d! H7 }
- {, v5 l- w n0 k
- fprintf(stderr, " [%s(%d)%s] Assertion '%s' failed.\n",
! P! s3 u. T0 A/ j9 M, Q- O - filename, linenumber,: m4 Z) E) Z* k
- ((function == NULL) ? "UnknownFunc" : function),' b1 W; B/ s3 H7 R- _+ o
- assertion);
/ I( ?4 V+ t: v8 Y) L- C - abort();- Y- @% R) l4 z
- }
复制代码 - b/ B3 N2 {* j2 r
因此,assert宏实际上是一个带有错误说明信息的abort(),并做了前提条件检查。若检查失败(断言表达式为逻辑假),则报告错误并终止程序;否则继续执行后面的语句。
- D9 l# u) C3 G; X1 Y F使用者也可按需定制assert宏。例如,另一实现版本为:
# m* B p* ?2 n; ?3 O5 m
2 i! h+ N& \1 {) G: t7 ?- #undef assert1 m9 H- X, C6 O2 Q! e$ S
- #ifdef NDEBUG) I, w; _" ?0 ~. \' t+ ^
- #define assert(expr) ((void) 0)
3 }' ?8 b$ w/ M2 T8 ^ - #else! M: ~9 O% x/ [
- #define assert(expr) ((void) ((expr) || \# T# j% d5 C8 X; s* f
- (fprintf(stderr, "[%s(%d)] Assertion '%s' failed.\n", \
0 r$ I1 d# R2 a2 c0 i - __FILE__, __LINE__, #expr), abort(), 0)))
& h n1 D: X& V; d - #endif
复制代码
( i9 s6 b# d R! b$ O注意,expr1||expr2表达式作为单独语句出现时,等效于条件语句if(!(expr1))expr2。这样,assert宏就可扩展为一个表达式,而不是一条语句。逗号表达式expr2返回最后一个表达式的值(即0),以符合||操作符的要求。
3 E6 A5 h1 [0 S' n& U2 Y; f使用断言时应注意以下几点:
( [+ o# u+ R4 @- 断言用于检测理论上绝不应该出现的情况,如入参指针为空、除数为0等。! c! X2 R' Z- b" \5 P! l
对比以下两种情况:
7 H$ i3 c. Z7 t0 a+ X- 5 h! I1 m- ?- c u) r; V$ ?6 k
- char *Strcpy(char *pszDst, const char *pszSrc)7 S' G) U8 s8 ` D' d7 t
- {1 t6 I; q" ^% X2 u. X( c: @
- char *pszDstOrig = pszDst;
* k; d: S& W9 Y - assert((pszDst != NULL) && (pszSrc != NULL));; i* i4 q- E1 a6 @/ Q* b, H7 n
- while((*pszDst++ = *pszSrc++) != '\0');$ d/ Y* k7 b. q2 C" A. A K
- return pszDstOrig;$ K% T: J4 u+ I/ I" O
- }
' U( [, O8 ^3 _- } - FILE *OpenFile(const char *pszName, const char *pszMode)
- b4 n: ~% `& ?8 w% v - {
6 v7 `2 H8 V" [9 [9 W7 i - FILE *pFile = fopen(pszName, pszMode);
, l/ D3 x& S7 c" F4 w( j) ^4 S ~ - assert(pFile != NULL);; Z9 r' Z/ n* F9 T: }2 f
- if(NULL == pFile)$ ]) i9 C" [$ S( `8 d+ Q* x
- return NULL;; K' I7 Z) @2 ]7 Y5 e9 D3 W' u
4 q% o: s- p3 E T. J. ]- //...4 s6 o3 W( z o# T! z
- return pFile;, ~; |6 p+ k3 N2 Z
- }
复制代码
; G, I2 a! }2 p4 v, k% z0 fStrcpy()函数中断言使用正确,因为入参字符串指针不应为空。OpenFile()函数中则不能使用断言,因为用户可能需要检查某个文件是否存在,而这并非错误或异常。
; I0 D2 c! v' }2)assert是宏不是函数,在调试版本和非调试版本中行为不同。因此必须确保断言表达式的求值不会产生副作用,如修改变量和改变方法的返回值。不过,可根据这一副作用测试断言是否打开:
0 J. |- z+ e, z- i ]& s5 R- 6 d+ r) B2 n& R6 L* p( u
- int main(void)
0 h, V( p& M' A: J } G: K* M5 y - {
d+ X! D* ^$ A - int dwChg = 0;
( b7 p6 ^9 d6 |8 Y! H - assert(dwChg = 1);7 r6 j7 H$ B8 f, J
- if(0 == dwChg), C6 @9 G7 P3 }
- printf("Assertion should be enabled!\n");
* B$ N# F: r# P( r& | - return 0;$ ]7 a. Q0 @/ M& L+ I0 |9 a: f8 t; L
- }
复制代码
- |/ j3 g! @$ u- 不应使用断言检查公共方法的参数(应使用参数校验代码),但可用于检查传递给私有方法的参数。
- 可使用断言测试方法执行的前置条件和后置条件,以及执行前后的不变性。
- 断言条件不成立时,会调用abort()函数终止程序,应用程序没有机会做清理工作(如关闭文件和数据库)。
, O- Y! y* s* E( O# O! O 3.3 封装* z q5 H+ z& r- P" R
为减少错误检查和处理代码的重复性,可对函数调用或错误输出进行封装。- 封装具有错误返回值的函数
1 S X; s. }9 B' O1 ?, V) F 通常针对频繁调用的基础性系统函数,如内存和内核对象操作等。举例如下: R! O: @0 b- |* B3 Y/ W" m; y: f) I
; K% U2 f6 K+ M- pid_t Fork(void) //首字母大写,以区分系统函数fork()
4 C! D/ f; `1 J' v. w, ~- | - {: b4 ]$ R% h2 E
- pid_t pid;
1 \8 k/ i2 Q7 h: a U. X# W/ ] - if((pid = fork())<0)) ^: D3 o( f6 m2 J: l
- {
9 [) F& z. m% `. S1 u - fprintf(stderr, "Fork error: %s\n", strerror(errno));% V: u2 ]! C5 W; `, s3 m( ]
- exit(0);
+ ?' d' F+ E2 z1 _# V9 v5 v- M - }
$ V) _" e% }9 Y - return pid;) h0 J. A& ^& C" K. V h* B
- }
复制代码 9 O2 F( G9 ^" r/ P9 k
Fork()函数出错退出时依赖系统清理资源。若还需清理其他资源(如已创建的临时文件),可增加一个负责清理的回调函数。注意,并非所有系统函数都可封装,应根据具体业务逻辑确定。- 封装错误输出
* k1 T/ H$ x: M: A" R, e 通常需要使用ISO C变长参数表特性。例如《Unix网络编程》中将输出至标准出错文件的代码封装如下:' J/ {, k! q! g
- ( N) d+ D# i+ \: O# g
- #include <stdarg.h>0 v" @7 i$ _/ y6 m) {; y5 J
- #include <syslog.h>
2 l4 `! M. T& x; E% T4 Q, ^5 k - #define HAVE_VSNPRINTF 12 b$ Z7 j0 v4 P: u- a
- #define MAXLINE 4096 /* max text line length */ i+ n5 \1 l0 R0 F0 v
- int daemon_proc; /* set nonzero by daemon_init() */
5 ^$ z1 A+ [$ c# g6 D1 _# x - static void err_doit(int errnoflag, int level, const char * fmt, va_list ap)
% O2 v, @; V1 @0 l b3 @ - {
7 z- c; S- ~9 w" W z8 E8 `5 Z - int errno_save, n;7 a2 S5 z$ F1 n* g
- char buf[MAXLINE + 1];
6 S/ o$ ~) l# ^/ h - & O0 D6 m$ M4 R6 m
- errno_save = errno; /* Value caller might want printed. */5 r) n; V; r* i- `+ [! u
- #ifdef HAVE_VSNPRINTF
+ J; o0 V1 L7 h8 [: \4 X+ L5 d - vsnprintf(buf, MAXLINE, fmt, ap);
3 I. r) l) ~1 J/ R# ~9 C- \ - #else0 k5 Q# t v; M5 j2 G! }
- vsprintf(buf, fmt, ap); /* This is not safe */
. }2 d O u9 s! G0 y; G" k - #endif4 c' h7 P' m& T* O
- n = strlen(buf);! J' M. H8 p0 a( k; ]
- if (errnoflag) {
/ ^! P. Z2 ~& D) @" C: n/ S - snprintf(buf + n, MAXLINE - n, ": %s", strerror(errno_save));
/ S& S h8 S! X" I- b - }
7 Q) C/ G3 T1 I7 E3 J1 A' N7 x& { - strcat(buf, "\n");
6 _2 G# R* f m/ x, d2 E$ P. s4 {$ a - + o% g7 l8 ?3 O) e' j# E) p0 g$ _
- if (daemon_proc) {6 h0 b: ~9 n p" p2 b
- syslog(level, buf);
: H# |" E- i8 v$ W: X' r" h4 p - } else {
+ ^3 |$ N/ \, X5 x- Z6 P& | - fflush(stdout); /* In case stdout and stderr are the same */$ P6 q# [3 E. T+ ?2 G% `
- fputs(buf, stderr);
6 K: r. P% Y& [9 e6 v# z% C: ] - fflush(stderr);( o: Y0 U6 ^% Q# u' r) T
- }
! M: O$ H2 B R
9 b$ a0 v9 X- _; k, s$ B- return;
# H) t* |2 }# S3 S - }
d/ Y3 g6 u" D7 J$ s - 4 O l* B7 t9 p" H# d
- void err_ret(const char * fmt, ...)$ V% E0 E$ r% {8 V n2 M
- {+ E3 e" j# P7 c
- va_list ap;
% o' u, F6 S. }! w" s3 [
4 w6 Y8 V$ L' _& R5 v$ q' C- va_start(ap, fmt);" r7 G t% o% F" j) w5 A' q
- err_doit(1, LOG_INFO, fmt, ap);" H4 x4 h1 \7 h# y0 J7 a
- va_end(ap);
& u: @/ I! F! k! X _3 ]9 C2 v' h - / e; f' F' L) L6 P7 x5 c4 A0 ^
- return;) }& M; f/ p! {
- }
复制代码 - v0 ^% P; H3 I/ e, ?
9 M, h( g. G6 [4 }+ i4 i
|