java学习之编译时类型和运行时类型

Java中的许多对象（一般都是具有父子类关系的父类对象）在运行时都会出现两种类型：编译时类型和运行时类型，例如：Person person = new Student();这行代码将会生成一个person变量，该变量的编译时类型是Person，运行时类型是Student。

    说明一下编译时类型和运行时类型：

    Java的引用变量有两个类型，一个是编译时类型，一个是运行时类型，编译时类型由声明该变量时使用的类型决定，运行时类型由实际赋给该变量的对象决定。如果编译时类型和运行时类型不一致，会出现所谓的多态。因为子类其实是一种特殊的父类，因此java允许把一个子类对象直接赋值给一个父类引用变量，无须任何类型转换，或者被称为向上转型，由系统自动完成。

引用变量在编译阶段只能调用其编译时类型所具有的方法，但运行时则执行它运行时类型所具有的方法，因此，编写Java代码时，引用变量只能调用声明该变量所用类里包含的方法。与方法不同的是，对象的属性则不具备多态性。通过引用变量来访问其包含的实例属性时，系统总是试图访问它编译时类所定义的属性，而不是它运行时所定义的属性。

举例：

public class Base {//父类

private int i = 2 ;

public Base(){

this.display() ;

}

public void display(){

System.out.println(i);

}

}

子类中代码如下：

public class Derived extends Base {

private int i = 22 ;

public Derived(){

i = 222 ;

}

public void display(){

System.out.println(i);

}

}

测试用例如下：

public class Test {

public static void main(String[] args) {

new Derived() ;

}

}

程序的执行过程。当我们调用new Derived() ;创建Derived

实例的时候，系统会为Derived对象分配内存空间，Derived会有两个i实例变量，会分配两个空间来保存i的值。分配完空间以后i的值为0

，如果有引用类型则引用类型的值为null。接下来程序在执行Derived的构造器之前会执行Base的构造器，表面上看Base的构造器中只有

一行代码，但是在父类中定义i的时候执行的初始值2，因此经过编译之后，该构造方法中应该包含如下两行代码：

i =2 ;

this.display() ;

程序先将Base中的i赋值为2，然后执行display方法。此处有一个关键字this，this到底代表谁呢？表面上看this代表的是Base的当前实例，

但是实际上代码是放在Derived的构造器中的，所以this最终代表的是Derived的当前实例（编译类型是Base而实际引用一个Derived对象），

所以如果在父类的构造方法中直接输出System.out.println(this.i) ;则输出的结果为2(原因为上面的红字部分，即引用变量来访问其包含的实例属性时，系统总是试图访问它编译时类所定义的属性，而不是它运行时所定义的属性。)。但是调用this.display()方法，此时调用的是

子类中重写的display方法，输出的变量i也是子类中的i，但是此时子类中的变量i还没有赋值，所以输出结果为0。

为了详细的看清楚this变量到底代表什么实例，我们将Base的构造方法修改如下：

public Base(){

System.out.println(this.i);

System.out.println(this.getClass());

this.display() ;

}

再次运行程序，结果为：

2

class edu.qichao.chapter2.Derived

0

可以看到this代表的是Derived的实例，但是编译的时候类型为Base，所以输出this.i的值为2。