Java泛型特化类型的类型擦除：为何可向Car列表添加Motor Bike？

嘿，这个问题戳中了Java泛型最经典的「反直觉」点之一——本质原因就是泛型类型擦除，咱们一步步拆解：

先搞懂什么是类型擦除 #

Java的泛型是个「编译时语法糖」——也就是说，泛型信息只在编译阶段存在，一旦代码编译成字节码，所有的泛型标记（比如<Car>）都会被擦除掉。List<Car>编译后会变成原始类型List，就像Java 5之前没有泛型时的样子，里面存的其实都是Object类型的对象。

怎么绕过编译检查往里面加错类型对象？ #

通常你直接写carList.add(new MotorBike())会被编译器拦下来，它会告诉你类型不匹配。但如果用下面这些方式绕过编译检查，就能成功添加：

1. 转成原始类型List

List<Car> carList = new ArrayList<>();
// 把泛型列表转成无泛型的原始类型
List rawList = carList;
// 这时候编译器不会再检查类型，允许添加MotorBike
rawList.add(new MotorBike());

2. 用反射
   反射直接操作字节码，完全绕开编译期的类型检查：

List<Car> carList = new ArrayList<>();
Method addMethod = List.class.getMethod("add", Object.class);
// 直接调用add方法传入MotorBike
addMethod.invoke(carList, new MotorBike());

运行时为什么不报错？ #

因为JVM运行时根本不知道这个列表原本是List<Car>——泛型信息已经被擦除了，它只知道这是一个List，里面存的都是Object。所以添加MotorBike对象和添加Car对象对JVM来说没有区别，都是存一个对象进去。

什么时候会出问题？ #

当你从列表里取出元素，并试图强转成Car的时候：

// 编译时没问题，但运行时会抛出ClassCastException
Car myCar = carList.get(0);

这时候JVM才发现，这个对象实际是MotorBike，没法转成Car，就会报错。

总结一下 #

泛型的类型检查只在编译阶段生效，运行阶段因为类型擦除，泛型约束消失了。只要能绕过编译器的检查，就能往泛型列表里加不符合类型的对象——这也是为什么Java泛型是「编译时安全」，而非「运行时安全」的原因。

内容的提问来源于stack exchange，提问作者olivier schirm