请教 表达式 !!(x) 和 (x)有什么差别吗？

Linux386

请教 表达式  !!(x) 和 (x)有什么差别吗？
比如下面这个宏
#  define likely(x)     (__builtin_constant_p(x) ? !!(x) : __branch_check__(x, 1))

!!(x) 和 x 不是相等的吗？

smalloc

类型不一样.

论坛ID

如果x不为0，!!(x)可以把x变成1

论坛ID

这个问题在《professional linux kernel architecture》里面有讨论，在1199页。

1. #define likely(x) __builtin_expect(!!(x), 1)
   
2. #define unlikely(x) __builtin_expect(!!(x), 0)
   
3. The double negation !! is used for two reasons:
   
4. ❑ It enables the macros to be used with pointers that are implicitly converted into a truth value.
   
5. ❑ Truth values greater than zero (explicitly allowed in C) are standardized to 1 as expected by __builtin_expect.

复制代码

Godbach

2 楼正解。

其实这样的问题，完全可以自己先实验一下。
x = 100，看一下这两个表达式执行结果是什么。

Linux386

回复 3# 论坛ID


    非常感谢！了解了

unbutun

!! 取的是bool值

chobit_s

http://haoyeren.blog.sohu.com/115430836.html（作者原创的 我不能转 就摘抄一点）
“
#define likely(x) __builtin_expect(!!(x), 1)
#define unlikely(x) __builtin_expect(!!(x), 0)

这两句是一对对应关系。__builtin_expect(expr, c)这个函数是新版gcc支持的，它是用来作代码优化的，用来告诉编译器，expr的期，非常有可能是c，这样在gcc生成对应的汇编代码的时候，会把相应的可能执行的代码都放在一起，这样能少执行代码的跳转。为什么这样能提高CPU的执行效率呢？因为CPU在执行的时候，都是有预先取指令的机制的，把将要执行的指令取出一部分出来准备执行。CPU不知道程序的逻辑，所以都是从可程序程序里挨着取的，如果这个时候，能不做跳转，则CPU预先取出的指令都可以接着使用，反之，则预先取出来的指令都是没有用的。还有个问题是需要注意的，在__builtin_expect的定义中，以前的版本是没有!!这个符号的，这个符号的作用其实就是负负得正，为什么要这样做呢？就是为了保证非零的x的值，后来都为1，如果为零的0值，后来都为0，仅此而已。
”

platinum

!!(x)

等同于

1. 
   
2. return x ? 1 : 0;
   

复制代码

Godbach

白金兄的总结 短小精悍！