Java 类型转换和泛型原理（JVM 层面）

一、类型转换

概念解释：

编译类型：在编译时确定，保存在虚拟机栈的栈帧中的局部变量表中；

运行类型：在运行时确定，由保存在局部变量表中变量指向的堆中对象实例的类型决定（存储在对象头中）；

合法性：运行类型必须是变量类型本身或其子类，否则会抛出 ClassCastException 等异常

在进行强制类型转换时，做的操作非常简单，检查被转换的变量指向的堆中实例类型和转换后的类型是否合法。

// 向上转向，安全的（子类包含父类的所有信息）
// animal 的编译类型是 Animal，运行类型是 Dog
Animal animal = new Dog(); 
// 向下转型，将animal引用转换为Dog类型的引用
Dog dog = (Dog) animal; 

二、泛型

Java 泛型的底层原理是通过 泛型擦除 实现的。

1. 编译时进行类型检查；
2. 编译时将泛型类型擦除，替换为对应的边界类型（未指定时替换为 Object）
   1. 例如：List -> List