我有一个通用的方法,我需要获取参数的类:
public static<S> void doSomething(S inst) {
@SuppressWarnings("unchecked")
Class<? extends S> cls = (Class<? extends S>) inst.getClass();
// do something with 'cls' and with 'inst'...
}
事实证明,从编译器的类型系统的角度来看,.getClass()返回一个Class<?>因此向下转换为Class<?延伸S>这是一个未经检查的演员表. 我的问题如下:在什么情况下,这种下线是不安全的? IIUC,此方法的所有调用站点必须传递inst参数的值,该参数是静态(编译时)类型S.值的动态(运行时)类型D必须是S或子类型它们.因此,inst.getClass()将返回Class< D>给定D是S的子类型的对象应该可以赋给Class<?延伸S>.
最佳答案
in what circumstance can this down-cast be unsafe?
inst.getClass()的返回类型是Class<? extends | X |>,其中| X |是表达式inst的编译时类型的擦除.这里,| X |是S的擦除,它是对象.这就是为什么它的Class<?>而不是Class<?延伸S>. 擦除是必要的原因是S可能是参数化类型,但只有在Class的类型参数中才应使用reified类型,因为Class对象仅表示具体类型.例如,你可以传入inst作为一个ArrayList< String>,但是获得一个Class<? extends ArrayList< String>>.
为什么有一个Class< ;?不安全? extends ArrayList< String>>?好吧,例如,您可以使用其.cast()方法将任何内容转换为ArrayList< String>没有任何警告.但是像.cast()这样的运行时类型检查只能检查已确定的类型(Class对象本身只表示一个具体的类型);他们无法检查类型参数(在运行时不存在).因此,使用.cast(),您实际上可以在没有警告的情况下进行未经检查的强制转换,这很糟糕.