Java强制类型转换溢出时结果确定：截断高位后按目标类型编码规则重解释，如(byte)130得-126；浮点转整数则向零舍入；应通过校验或安全方法避免风险。
Java 中强制类型转换发生溢出时，结果不是随机的，而是由二进制位截断 + 补码规则共同决定的——它不报错、不修正，只做“位保留再重解释”。理解这个机制，就能准确算出任意强转后的值。
溢出本质：高位丢弃，低位按目标类型规则解读
Java 强转（如 (byte)255）不会检查范围，而是直接取源值的二进制表示，仅保留目标类型的最低若干位，然后用该类型的编码方式（有符号补码或无符号逻辑）重新解释这些位：
-
整数转 byte（8位）：取低8位，按 有符号补码 解释
例：(byte)130→ 130 的 int 表示为00000000 00000000 00000000 10000010→ 截取低8位得10000010→ 补码表示为 -126 -
int 转 short（16位）：取低16位，按 short 补码解释
例：(short)32768→ 32768 的二进制低16位是10000000 00000000→ 符号位为1，值为 -32768 -
long 转 int（32位）：丢弃高32位，保留低32位作为 int 值
例：(int)2147483648L→ 2147483648 的低32位全为1（即10000000 00000000 00000000 00000000）→ 解释为 -2147483648 -
负数转 char（16位无符号）：取低16位，按 无符号16位整数 解释
例：(char)-1→ -1 的 int 补码低16位全为1 →11111111 11111111= 65535 → Unicode 字符'\uffff'
快速估算方法：模运算（适用于有符号整型）
对大多数有符号整型强转（如 int→byte、long→int），结果等价于对目标类型最大容量取模后映射到其有符号范围：
deep-java-review
下载
Java项目代码review工具。分析Git变更+完整调用链路上下文，推断业务需求，进行多维度评分和分类汇总，生成完整PRD文档。包含细粒度Java代码审查清单（Null安全、异常处理、Streams、并发、equals/hashCode、资源管理、API设计、性能、MyBatis/ORM、事务边界、SQL/DD...
- byte 容量 = 256（2⁸），范围 [-128, 127] → 结果 = 源值 % 256，再调整到 [-128, 127]
例如：(byte)200→ 200 % 256 = 200 → 超出127，减去256 → -56 - short 容量 = 65536（2¹⁶），范围 [-32768, 32776] →
(short)40000→ 40000 % 65536 = 40000 → 减65536 → -25536 - 注意：该方法不适用于 float/double → int 类型，因其涉及舍入而非位截断
浮点转整数：不是溢出，而是截断+舍入规则
double 或 float 强转为 int/long 属于精度丢失，非位级溢出。它直接丢弃小数部分（向零取整）：
立即学习“Java免费学习笔记（深入）”；
-
(int)3.9→ 3 -
(int)-3.9→ -3（不是 -4） - 若需四舍五入，请用
Math.round()：(int)Math.round(3.9)→ 4，(int)Math.round(-3.9)→ -4
如何避免被溢出结果误导
依赖溢出结果是危险的。生产代码应主动防御：
- 转换前显式校验：
if (value >= Byte.MIN_VALUE && value <= Byte.MAX_VALUE) - 用 JDK 安全方法替代裸强转：
Math.toIntExact(longValue)（超范围抛ArithmeticException） - 需要饱和处理（溢出取边界值）时，使用 Guava：
Ints.saturatedCast(longValue) - 金额、计数等关键场景，优先用
long或BigInteger，避免降级转换
