实际上，这是 一种检查表达式e是否可以评估为0的方法，如果不能，则使build失败 。
该宏的名称有些错误；它应该更像是
BUILD_BUG_OR_ZERO，而不是
...ON_ZERO。（
偶尔会讨论这个名称是否令人困惑
。）
您应该这样阅读表达式：
sizeof(struct { int: -!!(e); }))(e)
：计算表达式e
。!!(e)
：逻辑上取反两次：0
ife == 0
; 否则1
。-!!(e)
：数控否定表达来自步骤2：0
如果它是0
; 否则-1
。struct{int: -!!(0);} --> struct{int: 0;}：如果为零，则我们声明一个结构，该结构具有一个宽度为零的匿名整数位字段。一切都很好，我们会照常进行。struct{int: -!!(1);} --> struct{int: -1;}：另一方面，如果 不 为零， 则为 负数。声明任何宽度为 负的 位域都是编译错误。
因此，我们要么在结构中使用宽度为0的位域（这很好），要么使用宽度为负的位域（这是编译错误）结束。然后，我们采用
sizeof该字段，因此得到
size_t具有适当宽度的a（如果
e为零，则为零）。
有人问： 为什么不只使用assert
？
keithmo的回答在这里得到了很好的回应：
这些宏实现编译时测试，而assert（）是运行时测试。
非常正确。您不想在运行时检测 内核 中可能早已发现的问题！这是操作系统的关键部分。无论在何种程度上可以在编译时检测到问题，都更好。
