我正在尝试找到一个引用,最好是从语言标准中找到,以解释为什么将 T 的容器转换为容器的父类(super class)型而 T 的父类(super class)型不会工作,在同一个语句中完成时。
我尝试查找删除、转换泛型和特定容器类的各种组合,但找不到精确的重复项(大多数仅地址 T 及其父类(super class))。我对语言标准对这个问题的规定以及所使用的术语特别感兴趣。
例如,编译器不接受以下内容:
final WebappContext context = ...;
final List<FilterRegistration> filters = Lists.newArrayList(
context.addFilter(...), ...
);
哪里WebappContext.addFilter
返回 org.glassfish.grizzly.servlet.FilterRegistration
,它实现 javax.servlet.FilterRegistration.Dynamic
,延伸FilterRegistration
。调用Lists.newArrayList
返回 ArrayList<T>
,取决于其参数的类型。
我收到如下错误:
Incompatible Types
Required: List<javax.servlet.FilterRegistration>
Found: ArrrayList<org.glassfish.grizzly.servlet.FilterRegistration>
尽管 List
是 ArrayList
的父类(super class),和FilterRegistration
是 Grizzly 实现的父类(super class)。
如果我将其更改为:
final WebappContext context = ...;
final List<FilterRegistration> filters = Lists.<FilterRegistration>newArrayList(
context.addFilter(...), ...
);
然后一切都非常愉快,甚至没有未经检查的警告。我能找到的唯一变化是返回类型从 ArrrayList<org.glassfish.grizzly.servlet.FilterRegistration>
至ArrrayList<javax.servlet.FilterRegistration>
.
我知道 C++ 有一条规则,即编译器在尝试解析特定调用的最佳类型时只能执行一次强制转换。这似乎以相同的方式运行,但是 Java 是如何调用它的以及规则是如何定义的呢?它与类型删除有关吗?如何关联?
最佳答案
有 2 个问题。首先,
Why can't I assign
Generic<T>
toSuperGeneric<SuperT>
?
答案是:出于同样的原因,你不能 assign Generic<T>
to Generic<SuperT>
。该问题是由泛型类型引起的,而不是由自动上转型引起的 Generic
至SuperGeneric
。另请检查wildcards ,这可以提供一些解决方法。
第二,
Why doesn't
Lists.newArrayList()
work as one would expect?
让我们考虑以下层次结构:
class SuperT
|
class MiddleT extends SuperT
/ \
class SubT1 extends MiddleT class SubT2 extends MiddleT
我们来看看 toList()
的简化版本方法,只需要 2 个参数:
<T> List<T> toList(T t1, T t2) { ... }
现在当编译器看到toList(A, B)
时在任何地方,它都会尝试找到 A
最接近的共同祖先。和B
,并将其替换为 T
。例如,toList(new SubT1(), new SubT2())
这里最接近的共同祖先是 MiddleT
,所以返回值为List<MiddleT>
。如果你想要List<SuperT>
作为返回值,您需要告诉编译器您想要替换 SuperT
对于类型T
:
List<SuperT> list = Lists.asList(new SubT1(), new SubT2()); // compile error (in 1.7 version)
List<SuperT> list = Lists.<SuperT> asList(new SubT1(), new SubT2()); // OK
( SubT1
和 SubT2
类是不必要的,示例与 asList(new MiddleT(), new MiddleT())
一样工作,但我想展示编译器如何用 T
替换最接近的常见父类(super class)型(如果您不这样做)明确地写出来)
但不用担心,Java 8 来拯救世界。使用 JDK 1.8.0_11
下面的代码编译得很好:
List<SuperT> list = Lists.asList(new SubT1(), new SubT2()); // OK in 1.8 version
我猜编译器现在会在决定什么时查看结果的用途 T
应该是。
关于java - 将 Generic<T> 转换为 SuperGeneric<SuperT>,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/25813654/