实际上,这是 。
该宏的名称有些错误;它应该更像是BUILD_BUG_OR_ZERO
,而不是...ON_ZERO
。( 。)
您应该这样阅读表达式:
sizeof(struct { int: -!!(e); }))
(e)
:计算表达式e
。
!!(e)
:逻辑上取反两次:0
if e == 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
为零,则为零)。
有人问:
keithmo的回答在这里得到了很好的回应:
这些宏实现编译时测试,而assert()是运行时测试。
非常正确。您不想在运行时检测 内核 中可能早已发现的问题!这是操作系统的关键部分。无论在何种程度上可以在编译时检测到问题,都更好。