Java类型转换是嵌入JVM内存模型与编译检查的行为：自动转换为编译期安全的宽化，不改内存布局；强制转换为运行时截断，依赖二进制解释；boolean与引用类型无法与基本类型互转。
Java 的自动类型转换和强制转型不是孤立语法现象，而是紧密嵌入在 JVM 内存模型与编译期类型检查机制中的行为。它们的执行逻辑直接反映数据在栈帧、常量池与运行时常量池中的表示方式，也受基本类型存储结构（如补码、IEEE 754）约束。
自动类型转换：编译期安全提升，基于类型兼容性与范围包容
自动转换（widening conversion）本质是编译器在类型检查阶段确认“源类型所有合法值都能被目标类型无损表达”，从而省略显式转换符号。它不改变运行时内存布局，仅调整字节码中操作数栈的类型标签和指令选择。
- 触发条件：仅限数值类型间，且目标类型位宽 ≥ 源类型（或语义容量更大），例如 byte → int、int → long、float → double、char → int
- 表达式中的隐式提升：byte/short/char 在参与算术运算时，一律先提升为 int（即使结果赋给 long 或 float），这是 JVM 字节码规范要求（如 `iadd` 指令只处理 int 类型）
- 字面量特殊处理：整数字面量默认为 int，小数默认为 double；赋值时若在目标类型范围内（如 byte b = 10;），编译器静态验证后允许，实际仍按 int 加载，再截断——这属于编译优化，非运行时转换
强制转型：运行时风险操作，依赖底层二进制截断与精度舍入
强制转换（narrowing conversion）跳过编译期范围校验（除字面量外），将高位字节或尾部精度直接丢弃，其结果由 JVM 运行时按目标类型解释原始比特模式，不保证数学等价性。
-
整数截断逻辑：(byte)128 → -128，因 128 的 int 表示为
00000000 00000000 00000000 10000000，取低 8 位得10000000，按补码解释即 -128 - 浮点转整数：(int)3.9 → 3，(int)-3.9 → -3，JVM 执行的是向零截断（truncation），非四舍五入
- double → float 精度损失：因 float 仅 23 位有效尾数，超出部分直接舍去，例如 123456789.123456789d 强转为 float 后可能变为 123456792.0f
与 JVM 内存模型的协同关键点
类型转换行为受限于 JVM 运行时数据区的物理约束：局部变量表以 slot 为单位存放变量（long/double 占 2 slot），操作数栈按类型压入弹出，而基本类型值本身不携带类型元信息——类型仅存在于编译后的字节码指令（如 `i2b`, `d2f`）和局部变量表描述符中。
立即学习“Java免费学习笔记（深入）”；
- 栈帧层面：自动转换不生成额外指令；强制转换对应明确字节码（如 `i2b`、`d2i`），在方法调用或赋值前插入，影响操作数栈顶部值的重新解释
- 常量池协同：编译期可推导的常量表达式（如 `byte b = 10 + 5;`）直接计算并存入常量池，避免运行时转换；但变量参与的表达式（如 `int x = 10; byte b = x;`）必须靠强制转换指令
- 无对象头开销：基本类型转换不涉及堆内存或对象头，全程在栈或寄存器完成，因此无 GC 影响，但错误转换可能导致逻辑错误而非运行时异常
不可转换的边界：设计层面的硬隔离
JVM 明确禁止两类转换，源于内存模型与类型系统根本设计：
- boolean 与其他类型完全隔离：boolean 在 JVM 中不定义具体字节宽度，仅用于控制流（ifne/ifnull 等），其值不参与任何算术或位运算，故无法与 byte/int 互转
- 引用类型与基本类型无隐式桥接：String 不是 char[] 的别名，Integer 不是 int 的包装“容器”——自动装箱/拆箱是编译器生成的语法糖（调用 valueOf()/xxxValue()），非类型系统原生转换
