利用C语言宏进行断言

看到一个很骚的写法

#define assert(A) (sizeof(struct{int:-!!(A)}))

先看一下效果
若断言条件不成立，则编译成功

int main()
{
	assert(1 == 2);
}

若断言条件成立，则编译失败

int main()
{
	assert(1 == 1);
}

原理解析：
这里使用了C语言的两个性质

1. 位域大小不能为负数
2. 对于任意值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，这时就无法通过编译