Java编译器在编译期严格依据静态类型校验显式强转：仅当声明类型与目标类型存在继承、实现或基本类型兼容关系时才允许，无关类型强转直接报错，泛型擦除不影响该检查。
Java 编译器在编译阶段对显式强转（如 (TargetType) expr）的校验，不是走形式，而是严格依据类型关系做静态判定——它不看对象实际是什么，只看“声明类型”和“目标类型”之间是否存在合法路径。这一步过不了，代码根本进不了 JVM。
编译期只认声明类型，不查运行时实例
javac 完全忽略变量背后真实对象，只分析表达式的**静态类型**（即编译期已知的类型）与目标类型是否满足继承、实现或基本类型兼容规则：
- 引用类型向下转型：要求源类型必须是目标类型的父类或接口，且二者有明确继承链（如
Object → String合法，String → Integer直接报错） - 基本类型转换：仅允许“范围缩小”的显式转换（如
double → int），但禁止无损拓宽的反向操作（如int → double不需强转，写了反而冗余） - 无关类型间强转（如
String → Date）无法通过编译——这不是类型系统的问题，而是语义错误，必须用解析逻辑（如SimpleDateFormat.parse()）替代
基本类型强转的编译期数值字面量拦截
对于带字面量的强制转换，编译器会做额外常量折叠和范围预判：
-
byte b = (byte) 300;编译通过（因 300 可被截断为 byte），但结果是44（300 % 256） -
byte b = (byte) 1000;同样编译通过，结果为-24（1000 % 256 = 232，再按补码解释） - 但
byte b = 300;（无括号）直接编译失败——因为这是隐式赋值，编译器拒绝超出目标类型表示范围的字面量
泛型擦除不影响编译期强转检查
泛型类型参数（如 T 或 List<string></string>）在编译期参与完整校验，但擦除后生成的字节码中仍保留必要的强转指令：
立即学习“Java免费学习笔记（深入）”；
-
String s = list.get(0);编译后等价于String s = (String) list.get(0);，这个强转由编译器自动插入 - 若原始 list 实际存了
Integer，该强转仍会在运行时触发ClassCastException—— 编译期只确保list声明为List<string></string>，不保证内容真实 -
(List<string>) rawList</string>这类裸泛型强转会触发unchecked警告，因为编译器无法验证rawList元素是否真为String
编译失败的典型信号
以下写法会在 javac 阶段直接报错，无需运行：
-
String s = (String) new Integer(1);→ “inconvertible types” 错误 -
int i = "123";→ 未加括号的非法赋值，编译器不认为这是类型转换场景 -
if (list instanceof List<string>)</string>→ 编译错误，泛型类型不可用于instanceof
编译期校验本质是类型契约的静态签署——它不担保运行正确，但能筛掉明显矛盾的语法和继承关系。真正落地的安全，还得靠运行时 checkcast 和合理设计兜底。
