java - 子类型多态性和数组

Question

Computer[] labComputers = new Computer[10];

与

public class Computer {
...
     void toString(){
     // print computer specs
     }
}
public class Notebook extends Computer{
...
     void toString(){
     // print computer specs + laptop color
     }
}

每个下标变量 labComputers[i] 都可以引用 Computer 对象或 Notebook 对象，因为 Notebook是 Computer 的子类。对于方法调用 labComputers[i].toString()，多态性确保调用正确的 toString 方法。

我想知道如果我们这样做会怎样

Notebook[] labComputers = new Notebook[10];

如果我引用 Computer 对象和 Notebook 对象，我会得到什么类型或错误

Answer 1

由于这个问题特别询问了错误的种类，我将在下面的场景中解释它们

如果你这样做

Notebook[] labComputers = new Notebook[10];

现在你只能在数组中设置笔记本对象。

labComputers[0]  = new Notebook(); // Fine
labComputers[1]  = new Computer(); // Compilation error 

现在如果你这样做

Computer[] notebooks = new Notebook[10];
notebooks[0] = new Notebook();
notebooks[1] = new Computer(); // <--- ArrayStoreException

因为数组本质上是covarant，reified。如果 Sub 是 Super 的子类型，则数组类型 Sub[] 是 Super[] 的子类型，并且数组在运行时强制执行它们的元素类型，这将导致 ArrayStoreException

您可以阅读有关 Polymorphism 的 oracle 文档了解更多它是如何工作的。