看到一个很骚的写法
#define assert(A) (sizeof(struct{int:-!!(A)}))
先看一下效果
若断言条件不成立,则编译成功
int main()
{
assert(1 == 2);
}
若断言条件成立,则编译失败
int main()
{
assert(1 == 1);
}
原理解析:
这里使用了C语言的两个性质
- 位域大小不能为负数
- 对于任意值
A
,!!A
的值为为0(A为0)
或者`1(A的值不为0,第一次非操作转换为0,第二次非操作转换为1)
我们定义了一个结构体,里面有一个成员变量,类型为int
,我们指定它的位域大小为 -!!(A)
A的值 | !A | !!A | -!!A |
---|---|---|---|
0 | 1 | 0 | 0 |
其他值 | 0 | 1 | -1 |
可以看到,如果传入的条件A
为假(0)
,则最终的位域长度-!!A
为0
,是一个合法值,编译通过。
但如果传入的条件A
为真(非0)
,则最终位域的长度则变成了-1
,这时就无法通过编译