为什么使用！！（条件）而不是（条件）？[副本]

Question

我看过一些代码，其中人们使用了带有两个“！”的条件子句s

#define check_bit(var, pos)       (!!((var) & (1 << (pos))))
#define likely(x)       __builtin_expect(!!(x),1)
#define unlikely(x)     __builtin_expect(!!(x),0)

这是我能找到的一些例子。

使用有什么好处吗！！（条件）超过（条件）？

Answer 1

我能看到的最大的一点是，它将强制（或规范化）值为1或0或varchardoubleint

Answer 2

一元！逻辑否定运算符，应用于任何标量，如果其操作数非零，则产生int值0，如果操作数等于零，则产生1。引用标准：

表达 ！E 等价于 （0==E）。

应用<代码>！对同一个标量值执行两次操作会产生一个结果，如果该值为false，则为false；如果该值为true，则为true——但是结果会分别规范化为< code>0或< code>1。

在大多数情况下，这不是必需的，因为任何标量值都可以直接用作条件。但在某些情况下，您实际上需要0或1值。

在 C99 或更高版本中，将表达式转换为 _Bool（如果有，则转换为布尔值#include

Answer 3

如果你使用的变量是< code >！！还不是一个< code>bool(零或一)，那么它会将值规范化为< code>0或< code>1。

关于__builtin_expect，这个内核新手线程讨论了符号，其中一个响应解释了（强调我的）：

__builtin_expect的签名

http://gcc.gnu.org/onlinedocs/gcc/Other-Builtins.html)是:

long __builtin_expect(长exp，长c)

请注意，exp参数应该是一个整数表达式，因此这里没有指针或浮点类型。双重否定处理从这些类型到整数表达式的自动转换。这样，您可以简单地写：like（ptr）而不是like（ptr！=NULL）。

用于C99bool宏扩展为_Bool，true扩展为1和false扩展为0。详细信息在标准草案部分7.16布尔类型和值中给出。

逻辑否定在第5段的6.5.3.3一元算术运算符中涉及：

逻辑否定运算符的结果！如果其操作数的值比较不等于 0，则为 0;如果其操作数的值比较等于 0，则为 1。结果的类型为 int。表达 ！E 等效于 （0==E）。