小编典典

将泛型列表分配给具体的ArrayList会导致编译时错误

java

我正在努力寻找合适的措词来回答我的问题(这可能就是为什么我无法使用Google),但归结为:为什么下面的行无效?

List<AbstractInst<? extends IInstType>> insts = new ArrayList<MIPSInst>();

我收到了一个编译时错误ArrayList<MIPSInst> cannot be converted to List<AbstractInst<? extends IInstType>>。班级MIPSInst extends AbstractInst<MIPSInstType>和班级MIPSInstType implements IInstType

我已经阅读了有关泛型Oracle文档,但显然这里缺少一些关键之处。朝正确方向轻推将不胜感激!


阅读 218

收藏
2020-09-28

共1个答案

小编典典

今天早些时候,我认为您想List<? extends AbstractInst<? extendsIInstType>>成为的数据类型insts。当然,这是将与您创建的对象匹配的数据类型,但是我怀疑在这种情况下它是否真的是您想要的。请按要求进行解释。

假设您有一个扩展了另一个类的类,例如PrintWriterextends Writer。就是说,每个PrintWriter也都是a
Writer,但是还有一些额外的方法(例如println),您可以使用type变量来调用PrintWriter,但不能使用type变量来调用Writer。(与标准相比,我更喜欢真实的示例Dog extends Animal)。

重要的是要了解它ArrayList<PrintWriter>不是的子类型ArrayList<Writer>,尽管从直观上看可能不是。原因是这样的。假设我有一个变量myList,并且写了myList.add(new StringWriter()); 什么类型的myList?显然不能是类型ArrayList<PrintWriter>,因为a
StringWriter不是a PrintWriter。但是它 可能 是类型ArrayList<Writer>,因为a
StringWriter肯定是a Writer,因此必须能够将其添加到中ArrayList<Writer>

因此,任何ArrayList<Writer>行都可以正常工作

myList.add(new StringWriter());

但任何ArrayList<PrintWriter>不会 。因此,从某种意义上来说,a
ArrayList<PrintWriter>不可能是的特殊类型。ArrayList<Writer>``PrintWriter``Writer

换句话说,应该可以这样写

ArrayList<Writer> myList = new ArrayList<Writer>();
myList.add(new StringWriter());

但是编译器应该以某种方式阻止我们编写此代码

ArrayList<Writer> myList = new ArrayList<PrintWriter>();
myList.add(new StringWriter());

由于第二行显然可以,因此它必须是第一行会产生编译错误。事实上,这是-
你不能分配ArrayList<PrintWriter>给类型的变量ArrayList<Writer>,因为ArrayList<PrintWriter>只是
不是 一个ArrayList<Writer>。或如乔恩·斯基特(Jon
Skeet)在https://stackoverflow.com/a/2745301/1081110上所说的“Awooga awooga”。

尽管如此ArrayList<Writer>ArrayList<PrintWriter>ArrayList<StringWriter>似乎都有些相似。似乎应该有某种类型的变量可以引用这三个变量中的任何一个。确实有-是ArrayList<? extends Writer>。但这是一种 抽象类型 。您无法实例化它。您不能写new ArrayList<? extends Writer>()-最终ArrayList<? extendsWriter>必须实际上是一个ArrayList<Writer>,一个ArrayList<PrintWriter>或一个ArrayList<StringWriter>(或可能是ArrayList某种其他类型的Writer)。

这对我们来说应该不会太打扰。毕竟List<Writer>也是抽象类型。您无法编写文字new List<Writer>(),因为a
List<Writer>实际上必须是ArrayList<Writer>LinkedList<Writer>或其他类型的列表Writer

另外,类型变量ArrayList<? extends Writer>并不总是拥有最有用的变量,因为您不能使用它来向列表中添加内容。如果myList是类型的ArrayList<? extends Writer>,那么你就不能写myList.add(myWriter);不论类型是什么myWriter是,因为编译器无法检查的方式myWriter
正确 的排序Writer的名单。

您可以使用类型变量ArrayList<? extends Writer>来将事情从列表中删除。如果myList是类型ArrayList<? extends Writer>,则 可以

Writer myWriter = myList.get(0);

因为无论myList指的是ArrayList<Writer>an ArrayList<PrintWriter>还是an
ArrayList<StringWriter>,您都知道其中的含义是Writer

所以回到实际问题,你在哪里

List<AbstractInst<? extends IInstType>> insts = new ArrayList<MIPSInst>();

最初看来是合理的,因为正如您所解释的MIPSInst,的确是的子类型AbstractInst<? extendsIInstType>。或者换一种说法,每个MIPSInst都是一个AbstractInst<? extends IInstType>

显然,您可能已经写过

List<MIPSInst> insts = new ArrayList<MIPSInst>();

并能够将内容添加到列表中,并从列表中删除内容。但是您想使用某种类型表达式来表明任何类型AbstractInst<? extendsIInstType>都可以,并且您只会将该变量用于可以在任何类型ListAbstractInst<? extendsIInstType>对象上使用的东西。

正如我在示例中展示StringWriter / PrintWriter的那样,您正在寻找的类型是List<? extends AbstractInst<? extends IInstType>>。这封装了以下事实:该列表可以是List任何类型的AbstractInst<?extends IInstType>,包括MIPSInst

但是,除非您将此变量强制转换为其他变量,否则使用此类型将限制您使用列表的只读视图。您可以get从列表中进行操作,但是却add一无所获,因为编译器无法检查添加的类型是否正确AbstractInst<?extends IInstType>

在这种情况下,您将创建一个空列表。因此,引用可以让您get填充但不能add填充的引用可能不是很有用。因此,与我之前的评论相反,最好只是将变量声明为aList<MIPSInst>,然后将所有add事情都get放在心上。

2020-09-28