Java字节码中窄化转换由显式指令实现，包括i2b、i2c、i2s、f2i、d2i、f2l、d2l、d2f等，每种对应特定类型截断逻辑，如i2b保留低8位按补码重解释，f2i/d2i向零舍入，且浮点到短整型需d2i→i2s两步完成。
Java字节码中，强制类型转换的截断与变窄行为由特定指令显式体现，不是编译器“优化”或“省略”的结果，而是JVM规范强制要求的底层操作。分析关键在于识别窄化转换指令、理解其位级执行逻辑，并结合实际字节码验证。
窄化转换指令有哪些
所有窄化（narrowing）转换都需对应字节码指令，不能自动发生。常见指令包括：
- i2b：int → byte（保留低8位）
- i2c：int → char（保留低16位，无符号解释）
- i2s：int → short（保留低16位，有符号解释）
- f2i、d2i：float/double → int（向零舍入后截断）
- f2l、d2l：float/double → long（同上，结果转为long）
- d2f：double → float（按IEEE 754最近舍入，可能溢出为±∞或0）
如何用javap查看转换指令
写一段含强制转换的代码，编译后用javap -c反编译，就能看到真实指令：
示例源码：
立即学习“Java免费学习笔记（深入）”；
public class CastDemo {
public void test() {
int i = 257;
byte b = (byte) i;
double d = 200000.0;
short s = (short) d;
}
}
执行javac CastDemo.java && javap -c CastDemo，关键部分输出类似：
0: sipush 257 3: istore_1 4: iload_1 5: i2b // ← 这里就是int转byte的窄化指令 6: istore_2 7: ldc2_w #2 // double 200000.0 10: dstore_3 11: dload_3 12: d2i // ← double转int（先舍入为200000） 13: i2s // ← 再int转short（保留低16位） 14: istore 5
注意：d2s不存在，JVM不支持直接double→short，必须经d2i→i2s两步，这也印证了窄化是逐级、显式的。
截断的本质是低位保留+补码重解释
整数窄化不进行数学意义上的“取模”或“范围检查”，而是纯粹的位截取：
- int（32位）→ byte（8位）：只取原值二进制表示的最低8位，然后按byte的有符号补码规则重新解读
- 例如int 257二进制为00000000 00000000 00000001 00000001，取低8位得00000001 → 十进制1
- 而int 255低8位是11111111，按byte补码解释即-1
- char是无符号16位，所以i2c截取低16位后直接当正数用，不会变负
浮点转整数遵循向零舍入
这和日常四舍五入不同，也不同于Math.round：
- f2i/d2i对正数直接去掉小数，对负数也“往零靠”：-12.9 → -12，不是-13
- 若结果超出int范围（如double 3e9），则返回int最大值2147483647或最小值-2147483648
- 若源值是NaN，结果恒为0
这些规则在字节码层面不可见，但JVM执行f2i或d2i时严格按JVM规范处理。
