我读了关于泛型和类型安全的书，发现数组在java中不能是泛型的。我也理解了数组的协变性质，这把我引向了数组存储异常。我理解了为什么会发生这种异常。
我尝试了下面的代码

class SuperClass {

}

class SubClass extends SuperClass {

}
public class ArrayCheck {

    public static void main (String args[]) {   
        SubClass arr[] = new SubClass[10];

        arr[0] = new SubClass();

        SuperClass[] arr1 = arr;
        arr1[1] = new SuperClass();

    }
}

这会产生一个预期的ArrayStoreException。
1.我的问题是JVM如何在运行时检查数组类型？编译器是否附加了任何额外的代码，或者JVM在执行指令之前是否遵循了一些预定义的过程？
1.这个异常是在什么时候引发的？我以为ArrayStoreException只会在我试图读取数组时发生，但我错了。所以我不明白这个错误是在什么时候引发的。
此外，还需要对Java程序的执行过程进行一些说明。
1.运行时错误和异常是指程序在执行过程中发生的错误，即JVM已开始解释和执行指令，或者字节码验证过程中发生的错误也被视为运行时错误。