位运算实现奇偶交替的核心是利用奇偶性驱动流程变化:用 n & 1 快速判奇偶,flag = -flag 实现符号翻转,state ^= 1 翻转开关,异或交换变量,掩码分离奇偶位。

用位运算实现奇偶交替逻辑,关键不在“判断奇偶”,而在于“利用奇偶性驱动流程变化”。它不是为了替代 if,而是让符号切换、状态翻转、步骤调度这些操作更轻量、更确定、更贴近硬件节奏。
用 & 1 快速识别奇偶性并触发分支
整数最低位决定奇偶:$n & 1$ 结果为 1 → 奇数;为 0 → 偶数。这个操作是原子级的,比 n % 2 更快、不依赖类型转换、无负数取模歧义。
- 在循环中直接用 (i & 1) ? do_odd() : do_even() 替代条件判断,减少分支预测失败开销
- 配合索引使用,比如数组下标为奇数时读配置A,偶数时读配置B,可写成 config[(i & 1)]
- 注意:括号不能省——i & 1 == 1 实际等价于 i & (1 == 1),必须写成 (i & 1) == 1
用 flag = -flag 实现符号自动交替
不需要 if 判断第几项,也不需要计数器模 2,只需一个整数标志位,每轮执行 flag = -flag 即可完成正负翻转。
- 初始设 flag = 1,第一次加,第二次减,第三次加……天然符合“奇数项加、偶数项减”的需求
- 比 flag = 1 - flag 或 flag ^= 1(后者仅适用于 0/1)更通用,支持任意带符号累加
- 典型场景:计算 1 − 3 + 5 − 7 + … + 101,只需 sum += flag * i; flag = -flag;
用异或 ^ 实现无临时变量的状态翻转与交换
异或的自反性(a ^ a = 0,a ^ 0 = a)和结合律,让它成为状态翻转和变量交换的底层利器。
- 开关变量翻转:state ^= 1 —— state 是 0 就变 1,是 1 就变 0,比 state = !state 更底层、更确定
- 两变量交换:a ^= b; b ^= a; a ^= b; 全程无内存分配、无类型转换风险
- 批量标志位管理:如用一个整数 flags 存多个开关,flags ^= MASK_EVEN 可单独翻转“偶数模式”位
用掩码分离并重组奇偶位(进阶控制流)
当“奇偶”指二进制位的位置(从右往左第1、3、5…位为奇数位),可用固定掩码提取+移位+合并,实现位级调度。
- 取奇数位:n & 0x55555555(0x5555… = 0101 0101…₂)
- 取偶数位:n & 0xAAAAAAAA(0xAAAA… = 1010 1010…₂)
- 交换后合成:(odd_bits > 1),可用于压缩通信、图像位重排等硬实时场景










