assert的实现原理浅析
assert在调试中经常用到,它包含在assert.h文件中(我用的编译器是VS2010)。实际上,它是一个宏,定义如下
1
|
#define assert(_Expression) (void)( (!!(_Expression)) || (_wassert(_CRT_WIDE(#_Expression), _CRT_WIDE(__FILE__), __LINE__), 0) )
|
这一长串的宏定义,分为2个部分:
(void) ( (part1) || (part2) )
- part1:!!(_Expression),即对表达式求两次反,如果_Expression为真,则!!(_Expression)为1;如果_Expression为假,则!!(_Expression)为0。两次求反,可以防止用户恶意传的值(非0、非1的值),!!(_Expression)要么为1,要么为0,不能为其他值了
- part2:(_wassert(表达式字符串, 文件名, 行号), 0),#_Expression中#是一个构串符,将宏参数转成一个字符串,__FILE__和__LINE__分别对应包含assert宏的文件名和assert宏在该文件中的行号。这里_wassert的声明如