assert宏的原型定义在<assert.h>中，其作用是如果它的条件返回错误，则终止程序执行，我们常常这样使用assert宏：
void main()
{
int* p = NULL;
p = (int *)malloc(sizeof(int));
assert(p != NULL);
...
}
如果让我来定义assert宏，我可能会定义成如下的形式：
#define assert(exp) if(!exp) _assert(#exp, __FILE__, __LINE__)
上面的宏使用的是语句，在某些情形下，这个宏有一些难以察觉的错误，假如我们有如下的宏调用：
if(x > 0)
assert(y > x);
else
assert(x > y);
...
我们把宏展开：
if(x > 0)
if(!(y > x))) _assert("y > x", __FILE__, __LINE__);
else
if(!(x > y)) _assert(" x > y", __FILE__, __LINE__);
...
由于else默认是跟离它最近的if匹配，我们重新缩进下：
if(x > 0)
if(!(y > x))) _assert("y > x", __FILE__, __LINE__);
else
if(!(x > y)) _assert(" x > y", __FILE__, __LINE__);
...
这和我们想要的结果是不同的，
我们再来看看系统如何定义assert宏：
#define assert(exp) (void)((exp) || (_assert(#exp, __FILE__, __LINE__), 0))
这个宏是一个表达式，不是语句，利用了||语句的短路现象，||前面的表达式为真时，后面的不再计算，当||之前为假时，才处理后面的表达式;
宏中有个#exp，这里的#号是提取exp的值;
表达式最后有一个0处于逗号运算符之后，这样处理确保整个表达式最后值为0,即为false。
| 
楼主
标题置顶
标题高亮
