Java的引用变量有两个类型,一个是编译时类型,一个是运行时类型,编译时类型由声明该变量时使用的类型决定,运行时类型由实际赋给该变量的对象决定。若是编译时类型和运行时类型不一致,会出现所谓的多态。由于子类实际上是一种特殊的父类,所以java容许把一个子类对象直接赋值给一个父类引用变量,无须任何类型转换,或者被称为向上转型,由系统自动完成。java
引用变量在编译阶段只能调用其编译时类型所具备的方法,但运行时则执行它运行时类型所具备的方法,所以,编写Java代码时,引用变量只能调用声明该变量所用类里包含的方法。与方法不一样的是,对象的属性则不具有多态性。经过引用变量来访问其包含的实例属性时,系统老是试图访问它编译时类所定义的属性,而不是它运行时所定义的属性。对象
所谓的编译期,就是将Java代码编译成.class文件的过程,该过程只涉及到语法句法的正确与否,不涉及内存方面及执行方面的检查。
所谓的运行期,就是Java虚拟机执行.class文件的过程。该过程会涉及到内存调用。实际类型检查等方面。内存
关于动态绑定,在调用该引用实例的方法的时候,会优先去调用该实例引用的运行时方法,也就是实际类型的方法。而在调用该引用实例的成员变量的时候,会优先去调用该实例应用的编译时的成员变量,也就是声明的类型的成员变量。对于,调用引用实例的方法,在编译时,是调用声明类型的成员方法(多态的实现原理),也就是所谓的编译时类型的方法,而到了运行时,调用的是实际的类型的成员方法,也就是所谓的运行时类型的方法。而对于调用引用实例的成员变量,在编译时,便是调用声明类型的成员变量,在运行时更是调用声明类型的成员变量,也就时说,对于调用引用实例的成员变量,不管是编译时仍是运行时,均是调用编译时类型的成员变量。虚拟机