新手对对象数组的困惑：数组声明与方法调用报错疑问

嘿，这个问题其实戳中了Java数组协变特性里最容易踩的两个坑，我来给你拆解清楚：

首先先补全下你没写出的代码上下文（根据你的描述推断），方便后续解释：

class Type1 {
    // Type1的基础方法
    void method1() {}
}

class Type2 extends Type1 {
    // Type2独有的方法
    void method2() {}
}

public class Test {
    public static void main(String[] args) {
        Type1[] arr = new Type2[2]; 
        arr[0] = new Type1(); // 第一个错误：运行时抛出ArrayStoreException
        arr[0].method2(); // 第二个错误：编译期直接报错
    }
}

第一个错误：运行时的ArrayStoreException #

你一开始的理解有个偏差：new Type2[2]确实是创建了一个只能存Type2及其子类实例的数组，但你把它赋值给了Type1[]类型的变量——这是Java的数组协变特性（因为Type2是Type1的子类，所以Type2[]可以向上转型为Type1[]）。

但要注意：数组是运行时具体化的，也就是说这个数组在JVM里的实际类型还是Type2[]，不是Type1[]。所以当你尝试把Type1实例塞进数组时，编译期会通过（因为编译期认为arr是Type1[]，可以存任何Type1及其子类），但运行时JVM会检查数组的实际类型，发现你要存的Type1不是Type2（也不是它的子类），直接抛出ArrayStoreException。这和你想的“子类型无法引用超类型”逻辑刚好相反——问题出在数组运行时的类型校验，不是引用变量的赋值规则。

第二个错误：编译期的方法不存在报错 #

这是Java静态类型检查的规则导致的：虽然你知道数组里实际会存Type2实例，但编译期只认变量的声明类型——arr的声明类型是Type1[]，所以arr[0]的编译期类型是Type1，而Type1并没有定义method2()，编译器直接就会报错，根本到不了运行时环节。

哪怕你之前给arr[0]赋值的是new Type2()，编译期还是会报错。如果要调用method2()，你需要手动做强制类型转换，告诉编译器这个实例实际是Type2：

((Type2) arr[0]).method2();

这样编译期就能通过，运行时如果实际对象确实是Type2，也能正常调用。

最后总结下核心要点 #

1. 数组协变是Java的历史特性，但它带来了编译期和运行时类型不一致的坑，这也是后来泛型（比如List<Type2>）默认不支持协变的原因（除非用通配符List<? extends Type1>）。
2. 子类独有的方法无法通过超类型引用调用——Java的方法调用是编译期静态检查，只看变量声明类型，只有重写的方法才会触发运行时多态。

内容的提问来源于stack exchange，提问作者Lindstorm