位运算&1与比较运算==1哪种代码风格更优、效率更高？

• 首先要明确：这两种写法不存在“风格二选一”的前提，二者逻辑并不等价，选错了会直接出业务bug，这是比风格、效率优先级高得多的问题。

逻辑差异 #

第一种写法（位检测写法）：

if (bitset[index] & 1)
{
//do something
}

它的实际逻辑是：取bitset[index]的值和1做按位与运算，只要值的二进制最低位为1（也就是值为奇数），不管其他位是什么，条件就成立。这是位操作场景下的标准写法，作用是检测目标位（这里是存储单元的最低位）是否被置1，不受存储单元内其他位的干扰。

第二种写法（等值判断写法）：

if (bitset[index] == 1)
{
//do something
}

它的实际逻辑是：判断bitset[index]的取值是否精确等于整数1，只要值不是严格的1，哪怕是二进制11（十进制3，最低位同样为1）、101（十进制5），条件都不会成立。

只有当你能100%保证bitset[index]的取值只会是0或1、不存在任何其他值的场景下（比如标准库std::bitset的[]运算符返回的单比特代理对象、或者你手动把每个位单独存成0/1的布尔值/整数值），两种写法的执行结果才会完全一致。如果是自定义bitset常用的「用整数数组存储多个位」的实现方案，第二种写法几乎必然会出现判断错误——因为单个存储整数会同时承载多个位的信息，值不可能刚好等于1。

执行效率对比 #

在二者逻辑等价（即取值仅为0/1）的前提下：

• 开O2及以上编译优化的现代编译器，会把两种写法编译成完全相同的机器指令，不存在任何执行效率差异。
• 无优化编译时二者可能存在1-2条指令的区别，但是运行时的差异完全可以忽略，没有必要在这种层级抠性能。

风格选择建议 #

• 如果你的需求是做bitset的位检测（也就是判断某一位是否置位，这是bitset的常规使用场景），优先选& 掩码的写法。这是系统编程领域的通用惯用法，读代码的人一眼就能识别出这是位操作，语义清晰，而且不会因为存储单元出现意外的其他位值导致判断错误，鲁棒性更强。
• 如果你的需求和位操作无关，就是要判断变量存储的数值是否精确等于1，才选== 1的写法。这种场景下用按位与反而会误导读代码的人，以为你在做位检测，增加理解成本。

内容的提问来源于stack exchange，提问作者Thicc Theo