为什么linux内核使用双逻辑否定而不是强制转换为bools?

假设x是int类型的变量,其值为5,请考虑以下语句:
int y = !!x;

这就是我认为它发生的事情:x被隐式地转换为bool并且执行第一个否定,之后进行最后的否定,所以是一个演员和两个否定.

我的问题是,不仅仅是使用bool(执行int y =(bool)x;而不是使用int y = !! x)比使用双重否定更快,因为你要保存两个否定执行.

我可能错了,因为我在Linux内核中看到了很多双重否定,但我不明白我的直觉出了什么问题,也许你可以帮助我.

解决方法

Linux首次编写时没有bool类型. C语言将布尔表达式中不为零的所有内容视为真.所以7,-2和0xFF都是“真”.没有bool类型可以转换为.双重否定技巧确保结果为零或编译器编写者选择在布尔表达式中表示为真的任何位模式.当您调试代码并查看内存和寄存器值时,当它们都具有相同的位模式时,更容易识别真值.

附录:根据C89 draft standard,section 3.3.3.3

The result of the logical negation operator ! is 0 if the value of its operand compares unequal to 0,1 if the value of its operand compares equal to 0. The result has type int . The expression !E is equivalent to (0==E).

因此,尽管在Linux OS的早期阶段没有布尔类型,但是双重否定将产生0或1(由于Gox指出这一点),这取决于表达式的真实性.换句话说,INT_MIN ..- 1和1..INT_MAX范围内的任何位模式都将产生1,并且零位模式是不言自明的.

相关文章

文章浏览阅读1.8k次,点赞63次,收藏54次。Linux下的目录权限...
文章浏览阅读1.6k次,点赞44次,收藏38次。关于Qt的安装、Wi...
本文介绍了使用shell脚本编写一个 Hello
文章浏览阅读1.5k次,点赞37次,收藏43次。【Linux】初识Lin...
文章浏览阅读3k次,点赞34次,收藏156次。Linux超详细笔记,...
文章浏览阅读6.8k次,点赞109次,收藏114次。【Linux】 Open...