编译时类型和运行时类型
引用类型:
由类型的实际值引用(类似于指针)表示的数据类型。如果为某个变量分配一个引用类型,则该变量将引用(或"指向")原始值。不创建任何副本。引用类型包括类、接口、委托、装箱值类型。
Java的引用变量有两个类型,一个是编译时类型,一个是运行时类型,编译时类型由声明该变量时使用的类型决定,运行时类型由实际赋给该变量的对象决定。
eg:
Person p=new Women()(Women类继承自Person类)那么,假如p的属性修饰符为public 访问属性时得到的是Person类的属性还是Women类的属性?方法调用又是哪个类?
答案:会得到Person类的属性,调用Women类的方法。
Java程序状态会分为编译和运行这两种状态,编译时,JVM会在栈中静态创建基本数据变量,和引用数据变量的引用,回到刚刚那句代码,显然,p这个引用就是在编译时创建的,那么,p的编译时类型就是Person了,当运行这句java代码时,JVM在堆中为p新建一块内存,对应new Women()这句代码,所以p的运行时类型就是Women
我的理解:
在栈中存放的是一些引用和一些变量,而堆内存中存放的是对象。 编译时期可以理解为堆内存中还没有为该对象创建内存,只是在栈中创建了一些基本类型的变量和引用,所以编译时类型就是指在new该对象之前被加载到栈中的属性或方法。而运行时类型,是指new了一个对象出来,在栈中为该对象分配了内存,此时的运行时类型也就是栈中对象的属性或方法了
多态:
把子类对象直接赋给父类的引用时,当运行时调用该引用类型的方法时,其方法行为总是表现出子类的行为特征,而不是父类的行为特征,这就出现了同一引用调用引用变量带的方法是,表现出不同的特征,这就是多态。
多态的体现:
父接口的引用指向子类对象
//具体类型声明
ArrayList arrayList = new ArrayList();
//接口类型声明
List list = new ArrayList();//多态的体现
一个具体的例子体现多态
eg:
Person person = new student();
编译时类型是Person,当new了一个对象之后,堆内存中产生了一个Student对象,此时的类型就是运行时类型,也就是Student类型了。
注意:
只能调用父类的方法,而不能调用本身的方法的情况:
public class Father {
public String name;
public Father(){
this.name = "father";
}
public void show(){
System.out.println("father's name : " + this.name);
}
}
public class Son extends Father {
public String name;
public Son(){
this.name = "son";
}
public void show(){
System.out.println("Son's name: " + this.name);
}
public void show2(){
System.out.println("show2");
}
public static void main(String[] args) {
Father son = new Son();
son.show2();//此处就会报错
}
}
因为多态中强调:编写java程序时,引用类型变量只能调用其编译时类型的变量,不能调用其运行时类型变量。此时的show2()就是运行时类型的变量了。所以会报错
总结:
编译时类型决定了可以调用哪些方法,而运行时类型决定了实际的对象是什么。在面向接口编程时,通过接口类型进行声明可以提高代码的灵活性和可维护性。