什么是 ”：-！！” 用C代码？

作者: 狗头军师
发布时间: 2024-06-07 06:08:59 (1月前)

2 条回复

1#
回复此人
狗头军师 | 2020-07-24 16-55

实际上，这是一种检查表达式e是否可以评估为0的方法，如果不能，则使build失败。该宏的名称有些错误；它应该更像是BUILD_BUG_OR_ZERO，而不是...ON_ZERO。（偶尔会讨论这个名称是否令人困惑。）您应该这样阅读表达式： sizeof(struct { int: -!!(e); })) (e)：计算表达式e。 !!(e)：逻辑上取反两次：0if 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为零）。有人问：为什么不只使用assert？ keithmo的回答在这里得到了很好的回应：这些宏实现编译时测试，而assert（）是运行时测试。非常正确。您不想在运行时检测内核中可能早已发现的问题！这是操作系统的关键部分。无论在何种程度上都可以在编译时检测到问题，所以更好。

编辑

登录后才能参与评论