个人博客导航页(点击右侧链接即可打开个人博客):大牛带你入门技术栈
问题
日常在写 Java 代码时对警告 Type safety: Unchecked cast from XXX to YYY
一定不会陌生,例如 Type safety: Unchecked cast from Object to Map<String,String>
。如果仔细观察的话,可以注意到,YYY
从来不会是一个非泛型的类型。
原因
产生这个警告的原因是在强制类型转换时目标类型是一个非无边界通配符的泛型类型,而 Java 的半残泛型又无法在运行时判断一个泛型类型是否匹配目标类型。举个例子来说就是:
Object source = Collections.singletonMap("a", 2); // #1
var target = (Map<String, String>) source; // #2
var value = target.get("a"); // #3
对于上面的代码,无法在 #2
行代码执行时就确认 target
是一个完全通过类型检查的值,当 #3
行代码执行时,还是会产生 java.lang.ClassCastException
异常;而从直觉上,如果 #2
行没有编译期错误或者运行时 java.lang.ClassCastException
异常,那 target
就是 Map<String, String>
类型的。在这个矛盾之下,在 #2
处产生 Type safety: Unchecked cast
警告提醒该行可能有问题,也是一种没有办法的办法。
前面提到了非无边界通配符的泛型类型,如果目标类型