Java会让我这样做:
public static class SomeType<I>{}
private static Map<Class<?>, Object> m = new HashMap<Class<?>, Object>();
public static <X> List<SomeType<X>> getList(Class<X> clazz)
{
return (List<SomeType<X>>)m.get(clazz);//warning
}
它也会让我这样做:
public static class SomeType<I>{}
private static Map<Class<?>, List<?>> m = new HashMap<Class<?>, List<?>>();
public static <X> List<SomeType<X>> getList(Class<X> clazz)
{
return (List<SomeType<X>>)m.get(clazz);//warning
}
但它不会让我这样做:
public static class SomeType<I>{}
private static Map<Class<?>, List<SomeType<?>>> m = new HashMap<Class<?>, List<SomeType<?>>>();
public static <X> List<SomeType<X>> getList(Class<X> clazz)
{
return (List<SomeType<X>>)m.get(clazz);//will not compile
}
除非我采用以下解决方法:
public static class SomeType<I>{}
private static Map<Class<?>, List<SomeType<?>>> m = new HashMap<Class<?>, List<SomeType<?>>>();
public static <X> List<SomeType<X>> getList(Class<X> clazz)
{
return (List<SomeType<X>>)(Object)m.get(clazz);//warning
}
因此,Java使得可以从A<?>显式地从Object转换为A< B< B>>>.至A< B>>但不是来自A< B>>至A< B>.
这是为什么?
解决方法:
Java不会编译可证明不能成功的类型转换(假设事物是它们被声明为的类型,并假设该值不为null).为了使类型转换成功,必须(理论上)具有非空类型,该类型是两种类型的子类型.
>对象A< B< C>>:这可能成功.例如,类型A< B>>是两者的子类型.
> A<?>至A< B>>:这可能成功.例如,类型A< B>>是两者的子类型.
> A< B>>至A< B>>:这不可能成功.即,不存在作为两者的子类型的类型.
为了了解最后一个的原因,请回想一下,对于参数化类型,Foo< A>不能是Foo< B>的子类型.如果A和B不同,也不是通配符.因此,考虑A< B>>.其参数B< 2>不是通配符(它是一个实际的类型;它不是?,?扩展的东西,或者?超级的东西).
因此,唯一可以是A< B<?>>的子类型的类型本身就是,而且SubclassOfA< B<?>>.同样的事情适用于A< B>> ;:可以是A< B>的子类型的唯一类型>本身就是,并且SubclassOfA< B< C>>.
那么你能看出不可能有一个类型是两者的子类型吗?
标签:java,casting,generics 来源: https://codeday.me/bug/20190529/1177537.html
本站声明: 1. iCode9 技术分享网(下文简称本站)提供的所有内容,仅供技术学习、探讨和分享; 2. 关于本站的所有留言、评论、转载及引用,纯属内容发起人的个人观点,与本站观点和立场无关; 3. 关于本站的所有言论和文字,纯属内容发起人的个人观点,与本站观点和立场无关; 4. 本站文章均是网友提供,不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属;如您发现该文章侵犯了您的权益,可联系我们第一时间进行删除; 5. 本站为非盈利性的个人网站,所有内容不会用来进行牟利,也不会利用任何形式的广告来间接获益,纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。