java编译时类型和运行时类型该如何理解?报错

"

在书中有这么一段代码:

class Useful { public void d(){System.out.println("d()") ;} public void f(){System.out.println("f()") ;} }

class MoreUseful extends Useful { public void d(){System.out.println("More.d()") ;} public void f(){System.out.println("More.f()") ;} public void u(){} public void g(){} }

public class Main { public static void main(String args[]) { Useful[] x = {new Useful() , new MoreUseful()} ; x[0].f() ; x[1].d() ; ((MoreUseful)x[1]).u() ; ((MoreUseful)x[0]).g() ; //编译时通过,运行时会产生ClassCastException } }

书中使用这段代码用来解释运行时类型检查, 运行类型检查我倒是可以理解, 但是我在想为什么编译时没有报错呢?


但是上网查找了许多关于编译时类型和运行类型之后还是没有理解. 在main函数的第一行创建了一个Useful类型的数组, 但是编译时x[0]和x[1]都是什么类型呢?为什么最后一行在编译时没有报错呢?