Java类型兼容性检测是编译期静态判定，基于声明类型与表达式推导类型的结构关系，包括相同类型、子类→父类、实现类→接口三种合法赋值情形。
Java 中的类型兼容性检测，核心是编译期对赋值操作是否合法的静态判定，它不依赖运行时对象实际类型，而是基于变量声明类型与表达式推导类型的结构关系。
赋值兼容性的基本规则
Java 要求右值（表达式）的类型必须能“安全地”赋给左值（变量或字段）的类型。这包括三种情形：
- 完全相同：如
String s = "hello" - 子类 → 父类：如
Object obj = new ArrayList<String>() - 实现类 → 接口：如
List<String> list = new ArrayList<String>()
反向赋值（父类引用直接赋给子类变量）不被允许，除非显式强制转换，且需运行时验证。
编译器如何做兼容性检查
javac 在解析赋值语句（如 a = b + c）时，会为左右两侧分别推导出类型规格（TypeSpec），再调用类似 TypeChecker.areAssignmentCompatible(targetType, exprType) 的逻辑判断是否可赋值。
立即学习“Java免费学习笔记（深入）”；
- 左侧类型来自变量声明或字段签名
- 右侧类型来自表达式计算结果（如方法调用返回值、字面量、new 表达式等）
- 检查失败时抛出
Incompatible types编译错误
运行时补充：isAssignableFrom 的作用
Class.isAssignableFrom() 是运行时的兼容性辅助工具，用于动态判断类型关系：
-
Animal.class.isAssignableFrom(Dog.class)返回true（Dog 可赋给 Animal） -
Dog.class.isAssignableFrom(Animal.class)返回false - 它支持接口、数组、泛型擦除后的原始类型，但不替代编译期检查
常用于反射调用前校验参数类型、插件系统加载时验证扩展类继承关系等场景。
泛型与类型擦除带来的限制
由于泛型在运行时被擦除，List<String> 和 List<Integer> 在 JVM 层都是 List，所以：
- 编译期禁止
List<String> list = new ArrayList<Integer>() - 但运行时无法靠
isAssignableFrom区分二者，只能检查原始类型 - 泛型边界（如
<T extends Number>）仅在编译期生效，用于约束实参类型
真正严格的类型兼容保障，始终发生在编译阶段。
