在VS里面查看了一下 assert 的实现方式
#define assert(_Expression) (void)( (!!(_Expression)) || (_wassert(_CRT_WIDE(#_Expression), CRT_WIDE(_FILE__), LINE), 0) )
assert是一个带参的宏，实现是
(void)( (!!(_Expression)) || (_wassert(_CRT_WIDE(#_Expression), CRT_WIDE(_FILE__), LINE), 0) )
问题：
1 (void) 干嘛的？为什么要写这个东西？跟后面括号的逻辑表达式有什么关系？
2 !!(_Expression)是不是 !(!(_Expression)) 的意思？
http://blog.csdn.net/dacxu/article/details/27313799
谢谢回帖，assert的实现确实简单明了。
不过我问的问题倒不是整个实现，而是宏定义里面的两个语法细节。
第一个语法细节 (void) 不明所以，跳过去也似乎不会影响整个宏的含义，但是让人很好奇为什么要写这个东西。
第二个语法细节 !!(expr) 似乎就是 !(!(expr)) 的简写，虽然这么写有点别扭但是还没有什么不可理解的。
自己给出一个可能的原因
第一个之所以在开头用 (void) 做一个强转，是防止有人误用assert宏写出如下的代码
if (assert(expr)) { ... } //会提示if内的表达式不是bool型也不可以转换成bool型
或者写出
int flag = assert(expr); //会提示void类型的值不能用于初始化 int 实体
第二个，就是 !(!(expr)) ，之所以这样是防止expr本身不能直接转换成bool型