编译时类型和运行时类型到底是什么？多态到底是什么？

学习目标

掌握引用变量编译时类型和运行时类型的区别及什么是多态

---

一、首先要知道什么是多态

Java引用变量有两个类型：一个是编译时类型，一个是运行时类型。编译时类型由声明该变量时使用的类型决定的，运行时类型由实际赋给该变量的对象决定。如果编译时类型和运行时类型不一致，就可能出现所谓的多态。

二、究竟什么是编译时类型、什么是运行时类型

编译时类型由声明该变量时使用的类型决定，运行时类型由实际赋给该变量的对象决定。
如果编译时类型和运行时类型不一致，会出现所谓的多态。因为子类其实是一种特殊的父类，因此java允许把一个子类对象直接赋值给一个父类引用变量，无须任何类型转换，或者被称为向上转型，由系统自动完成。
引用变量在编译阶段只能调用其编译时类型所具有的方法，但运行时则执行它运行时类型所具有的方法，因此，编写Java代码时，引用变量只能调用声明该变量所用类里包含的方法(方法表)。
与方法不同的是，对象的属性则不具备多态性。通过引用变量来访问其包含的实例属性时，系统总是试图访问它编译时类所定义的属性，而不是它运行时所定义的属性。
--------引自《疯狂Java讲义》

代码解释

Person类

public class Person {
	String name="我是Person属性";
	public void per() {
		System.out.println("我是Person类中的方法");
	}
}

Student 继承Person

public class Student extends Person {
	String name="我是Student属性";
	public void per() {
		System.out.println("我是Student类中的方法");
	}
}

public class Test {
	public static void main(String[] args) {
		Person p = new Student();
		p.per();
		System.out.println(p.name);
	}
}

问题：Person p = new Student();方法调用时调用谁的？访问属性时访问谁的？

运行结果

我是Student类中的方法
我是Person属性

答案：调用Student方法，访问Person属性。

运行一个Java程序是先编译后运行。编译时，java虚拟机会在栈中存放一些变量和一些引用，p的引用就是在编译的时候创建的，编译时还没有在堆内存为Student对象创建内存，此时p是Person类型。
而运行的时候，运行到new一个Student对象这条代码的时候，会在堆内存新建空间存放Student对象，此时p的类型就是运行时类型，也就是Student类型了。

编译时类型：就是指new出这个Student对象之前，被加载到栈中的属性或方法。
运行时类型：就是值new出这个Student对象之后，给Student对象分配了堆内存，这时候运行时类型就是栈中的属性或方法。

注意：引用变量在编译阶段只能调用其编译时类型所具有的方法，但运行时则执行它运行时类型所具有的方法。因此，编写代码的时候，引用变量p只能调用声明该变量时所用类里包含的方法，例如，通过Person p = new Student();代码定义一个变量p，p只能声明调用Person 类里包含的方法，而不能声明调用Student类里定义的方法。下面代码解释

public class Person {
	String name="我是Person属性";
	public void per() {
		System.out.println("我是Person类中的方法");
	}
}

public class Student1 extends Person {
	public void per() {
		System.out.println("我是学生1");
	}
	public void per1() {
		System.out.println("我是学生2");
	}
}

public class Test {
	public static void main(String[] args) {
		Person p1 = new Student1();
		p1.per1();//这里会报错！
	}
}

问题：为什么运行时访问的属性是Person的name呢？

答：因为通过引用变量来访问其包含的实例变量时，系统总是试图访问它编译时类型所定义的成员变量，而不是它运行时类型所定义的成员变量。因此p.name访问的是Person的name。

---

三、这就是多态

当一个子类对象赋值给父类引用变量时，Person p = new Student();这个引用变量p编译时类型是Person，而运行时类型是Student，当运行时调用该引用变量的方法时，其方法行为总是表现出子类方法的行为特征，而不是父类的行为特征，这就可能出现：相同类型的变量、调用同一个方法时呈现出多种不同的行为特征，这就是多态。

		Person p1 = new Student1();
		Person p2 = new Student2();
		Person p3 = new Student3();
		p1.per();//相同的Person类型变量调用同一个方法
		p2.per();
		p3.per();

运行结果呈现出多种不同的行为特征

我是学生1
我是学生2
我是学生3

---