Java整型取值范围不对称的根本原因是补码编码必须同时满足符号位参与运算、零唯一表示和加法封闭性：8位byte因此为−128到127，其中−128由腾出的−0编码自然填充，确保256个状态连续映射且运算无歧义。

Java整型取值范围不对称，比如byte是−128到127，而不是−127到127或−128到128，根本原因在于补码编码方式下“符号位参与运算”和“零唯一表示”这两个硬性约束共同决定的数值空间分配。

补码让最高位既是符号位又是权重位

在n位补码中，最高位（第n−1位）不再只是标记正负的“开关”，而是被赋予了−2ⁿ⁻¹的权重。例如8位补码中，二进制10000000不表示−0，而直接解释为−2⁷ = −128；而01111111是2⁷−1 = 127。整个8位能表示2⁸=256个不同状态，全部被连续、无空隙地映射到[−128, 127]区间——没有浪费、没有重复、没有跳变。

零必须唯一，且只能占一个编码

原码和反码都存在+0（00000000）和−0（10000000）两种表示，实际浪费了一个编码。补码通过设计消除了−0：计算−0的补码，即对00000000取反得11111111，再加1得100000000，高位溢出后只剩00000000——+0和−0统一为同一个码。这个“腾出来的”编码就被自然分配给了−128，使负数多出一个可表示值。

Java Maven Code Review

审查Java Maven项目（ZIP压缩包或GitLab仓库URL），检查代码规范、命名、模块边界、可维护性问题以及重复代码。

下载

加法电路要求封闭性和一致性

CPU加法器不做正负判断，只对两个补码做二进制加法并丢弃溢出位。这种设计要求整个数值空间构成一个模2ⁿ的循环群：
• 127 + 1 → −128（01111111 + 1 = 10000000）
• −1 + 1 → 0（11111111 + 1 = 00000000）
要满足这种环绕行为，最小值必须是−2ⁿ⁻¹，最大值必须是2ⁿ⁻¹−1。否则加法结果会断裂或产生歧义。

溢出静默环绕是补码数学特性的直接体现

Java整型溢出不报错，是因为补码下的加减法本质上是模运算：所有运算都在Z/(2ⁿ)Z中进行。例如8位下，−128 − 1不是“错误”，而是(−129) mod 256 = 127，对应二进制10000000 − 1 = 01111111。这种一致性依赖于不对称范围的严格构造——若强行对称（如−127~127），就无法同时满足零唯一、加法封闭、符号位权重这三项基本条件。

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