Java中位取反运算符~如何影响二进制、补码及有符号数表示？

本文共计828个文字，预计阅读时间需要4分钟。

本文字深入解析+

在 Java 中，int 是固定宽度、有符号、采用二进制补码（Two’s Complement）表示的 32 位整数类型。理解 ~（按位取反）的行为，必须紧扣这一前提。

以 int x = 2 为例：

• 其二进制表示为（32 位，高位补零）：
  00000000 00000000 00000000 00000010
• 执行 ~x 后，每一位翻转：
  11111111 11111111 11111111 11111101

此时，该 32 位模式本身不携带“正/负”或“有/无符号”信息；它只是一串比特。Java 虚拟机（JVM）和 Java 语言规范强制规定：所有 int 值均按有符号补码解释。因此，我们需按补码规则将其转换为十进制：

1. 最高位（bit 31）为 1 → 表示负数；
2. 求其绝对值：对 11111111 11111111 11111111 11111101 再取反加 1：
   • 取反 → 00000000 00000000 00000000 00000010
   • 加 1 → 00000000 00000000 00000000 00000011 = 3
3. 故原值为 -3。

这就是 ~2 == -3 的完整推导过程。

立即学习“Java免费学习笔记（深入）”；

⚠️ 关键澄清：机器本身并不“区分”这个比特序列是 -3 还是 4294967293。

• 在 Java 中，int 类型没有无符号解释，因此 11111111...1101 永远被解释为 -3；
• 若在 C/C++ 等支持 uint32_t 的语言中，同一比特串可被声明为无符号整数，此时其值为 $2^{32} - 3 = 4294967293$；
• 但该语义差异完全由程序员声明的数据类型决定，CPU 的加法器、ALU 等硬件单元执行的是相同的底层二进制运算（如加法、取反），不关心符号含义。

以下代码直观验证 Java 的行为：

public class BitwiseComplement { public static void main(String[] args) { int x = 2; int result = ~x; // 11111111 11111111 11111111 11111101 System.out.println(result); // 输出: -3 System.out.println(Integer.toBinaryString(result)); // 输出: "11111111111111111111111111111101"（注意：toBinaryString 不补前导零，但高位隐含为1） // 验证补码关系：~x == -x - 1 （对所有 int 成立） System.out.println(~x == -x - 1); // true } }

✅ 总结要点：

• ~ 是纯位级操作，不改变位宽，仅逐位翻转；
• Java 中 int 的语义是有符号补码，因此结果必然按该规则解释；
• “同一比特串对应多个数值”的错觉，源于混淆了位模式（bit pattern） 与 数值语义（interpretation） ——后者由类型系统静态定义；
• JVM 不做运行时符号判定，编译器和字节码指令（如 iadd, if_icmplt）已根据操作数类型绑定语义（例如 if_icmplt 执行有符号比较，而 if_icmpult 才用于无符号逻辑，但 Java 源码中无直接对应）。

因此，不存在“机器如何区分”的问题；只有“你告诉语言如何解释”的问题。在 Java 的类型安全体系下，int 的补码语义是确定且唯一的。