铸造中的模棱两可行为

Question

我有一节简单的课

public class ObjectUtility {

  public static void main(String[] args) {
    System.out.println(castToType(10,new HashMap<Integer,Integer>()));
  }

  private static <V,T> T castToType(V value, T type){
    return (T) value;
  }

}

这将输出为10，没有任何错误！！！我原以为这会给我一个ClassCastException，其中有些错误，比如Integer不能转换为HashMap。

出于好奇和愤怒，我尝试了getclass()返回值，如下所示

System.out.println(castToType(10,new HashMap<Integer,Integer>()).getClass());

Object o = castToType(10,new HashMap<Integer,Integer>());
System.out.println(o.getClass());

openjdk version "1.7.0_181"
OpenJDK Runtime Environment (Zulu 7.23.0.1-macosx) (build 1.7.0_181-b01)
OpenJDK 64-Bit Server VM (Zulu 7.23.0.1-macosx) (build 24.181-b01, mixed mode)

Answer 1

t在运行时不存在。它解析到约束的下界。在本例中，没有，所以它解析为object。所有内容都可以转换为object，因此类转换不会异常。

如果要将约束更改为

private static <V,T extends Map<?,?>> T castToType(V value, T type){
    return (T) value;
}

然后，对t的强制转换变成了对map下限的强制转换，显然integer不是这样，您将得到预期的类强制转换异常。

Object o = castToType(10,new HashMap<Integer,Integer>());
System.out.println(o.getClass());

castToType(10,new HashMap<Integer,Integer>()).getClass() 

当你第一次使用这个

Object o = castToType(10,new HashMap<Integer,Integer>());

您现在静态地链接Object::GetClass，不管实际返回的是什么，这都很好。

“未拆分”版本相当于这个

final HashMap<Integer, Integer> map = castToType(10, new HashMap<>());
System.out.println(map.getClass());