不用判断语句求绝对值的核心方法是：(x ^ (x >> 31)) - (x >> 31)，利用算术右移提取符号位生成掩码，再通过异或取反、减法加1统一实现补码负数的绝对值转换，适用于32位int，无分支、高效稳定。
不用判断语句，也能算出绝对值——关键在于利用补码结构和符号位的可预测性。核心思路是：用算术右移提取符号信息，再通过异或与减法统一完成“取反加1”操作。
理解符号掩码的生成原理
在32位有符号整数中，对任意整数 x 执行 x >> 31（算术右移31位）：
- 若 x ≥ 0，高位补0，结果为 0x00000000（即0）
- 若 x ，高位补1，结果为 0xFFFFFFFF（即−1，以补码表示）
这个结果就是天然的符号掩码，记作 mask，它能区分正负并参与后续位操作。
三步完成无分支绝对值计算
基于掩码，绝对值可通过以下三步原子操作实现：
- int mask = x >> 31;
- int flipped = x ^ mask; —— 正数不变（^0），负数取反（^0xFFFFFFFF）
- int abs_x = flipped - mask; —— 正数减0仍为自身；负数减(−1)即加1，完成补码还原
合并成单行表达式：(x ^ (x >> 31)) - (x >> 31)，适用于标准C/C++环境，不依赖分支预测，执行稳定。
注意边界与类型适配
该方法默认针对32位 int 类型。若用于其他位宽，需调整右移位数：
- 16位整型 → 改用 x >> 15
- 64位整型（long long）→ 改用 x >> 63
对浮点数不适用，因其内存布局非补码；若需处理 float，应直接操作其 IEEE 754 表示的符号位（如与 0x7FFFFFFF 按位与），而非使用算术右移。
为什么比 if-else 更高效？
现代CPU对分支指令存在预测开销，尤其在数据规律性差时易发生误预测，导致流水线冲刷。而位运算全程无跳转、无条件依赖，指令级并行度高，常被编译器优化为单条 CPU 指令（如 x86 的 cdq + xor + sub 组合）。在高频调用场景（如图形渲染、信号处理）中，性能优势明显。
