java自动类型转换体现“安全可验证优先”设计哲学：只允许编译期可证明安全的单向拓宽（byte→int→long→float→double）、常量窄化、向上转型，严禁boolean/字符串与数值互转，坚守语义边界。
Java 自动类型转换不是语法便利的妥协，而是类型系统设计哲学在运行规则上的直接体现——它把“安全可验证”放在“写起来省事”之前，用编译期确定性换掉运行时不确定性。
自动转换只许“拓宽”，不许“窄化”
Java 规定 byte → int、int → long、float → double 等路径可自动发生，本质是允许“小容器装进大容器”，数据不会被截断或丢失。这种单向拓宽路径（byte → short → int → long → float → double）不是随意排列，而是严格按存储位数和精度递增排序。编译器能静态确认：只要沿这个方向走，就永远不会出错。一旦反向（比如 int → byte），哪怕值恰好在范围内，编译器也拒绝——因为变量值在运行时可能变化，而编译器只信“此刻可证明的安全”。
常量窄化赋值是例外，但仍是编译期可控的
像 byte b = 100; 或 final int x = 5; byte c = x + 3; 这类写法能通过，关键在于它们属于“编译期常量表达式”：值在编译时完全已知且不可变。这并非打破窄化禁令，而是把“安全边界检查”提前到编译阶段完成。它延续了同一哲学：所有自动行为，必须有静态证据支撑；没有证据，就不自动。
向上转型是多态基石，也是类型安全的延伸
子类对象赋给父类引用（如 Animal a = new Dog();）无需强制转换，因为它不改变对象，只收窄变量的“视角”。编译器知道 Dog 是 Animal 的一种，所有 Animal 能做的事，Dog 都能做。这种自动向上转型，把继承关系转化为类型兼容性，让集合、参数、返回值可以面向抽象编程。它不是让步，而是把面向对象的语义，原封不动地嵌入到类型检查机制中。
拒绝 boolean 和字符串的自动数值转换，守住语义边界
Java 明确禁止 boolean 与 int 互转，也不允许字符串隐式转数字（如 int i = "123";）。这不是功能缺失，而是刻意划界：类型不只是数据容器，更是语义标签。true/false 表达逻辑状态，不是 0/1 的别名；字符串是文本序列，不是待解析的数字字面量。这种“不自动”，恰恰是类型系统拒绝模糊、捍卫清晰语义的表现。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
