在进行泛型转换时在泛型方法中捕获 ClassCastException

Question

假设我有一个方法

@SuppressWarnings("unchecked")
public <T extends Number> T getNumber() {
   try {
      return (T)number; 
   } catch (ClassCastException e) {
      return null;
   }
}

假设number是Integer的一个实例，调用方法如

Float f = getNumber();

结果为@​​987654325@。

我知道（不知何故）这是因为 类型擦除，但有人可以提供更深刻的解释，为什么异常会升级到分配级别并且在方法内部无法捕获？

注意：我确实有版本 public <T extends Number> T getNumber(Class<T> classT)，它检查来自 classT 的类型，但希望摆脱通过 classT 并不再怀疑上述问题。

Answer 1

类型擦除后，return (T)number 变为return (Number)number（因为Number 是T 的类型绑定），这不会引发异常（因为number 是Integer 的一个实例）。

另一方面，任务

Float f = getNumber();

编译成

Float f = (Float) getNumber();

因为getNumber() 返回一个Number，它不能在没有强制转换的情况下分配给Float 变量。

当getNumber() 不是Float 时，此演员表会抛出ClassCastException。

4.6. Type Erasure

类型擦除是从类型（可能包括参数化类型和类型变量）到类型（绝不是参数化类型或类型变量）的映射。我们写 |T|用于类型 T 的擦除。擦除映射定义如下...

类型变量的擦除（第 4.4 节）是其最左边界的擦除。