前言:
编译时类型由声明该变量时使用的类型决定,运行时类型由实际赋给该变量的对象决定
。如果编译时类型和运行时类型不一致,会出现所谓的多态。因为子类其实是一种特殊的父类,因此java允许把一个子类对象直接赋值给一个父类引用变量,无须任何类型转换,或者被称为向上转型,由系统自动完成。引用变量在编译阶段只能调用其编译时类型所具有的方法,但运行时则执行它运行时类型所具有的方法
,因此,编写Java代码时,引用变量只能调用声明该变量所用类里包含的方法(方法表)。与方法不同的是,对象的属性则不具备多态性
。通过引用变量来访问其包含的实例属性时,系统总是试图访问它编译时类所定义的属性,而不是它运行时所定义的属性。
--------引自《疯狂Java讲义》
1. 成员变量 & 静态成员函数:
- 编译时,参考引用型变量所属的类中是否有调用的成员变量/静态函数,有,编译通过,无,编译失败
- 运行时,参考引用型变量所属的类中是否有调用的成员变量/静态函数,并运行
- 简而言之,编译运行都参考等号
左边
引用型变量所属的类
2. 非静态成员函数:
- 编译时,参考引用型变量所属的类中是否有调用的非静态成员函数,有,编译通过,无,编译失败
- 运行时,参考的是对象所属的类中是否有调用的函数
- 简而言之,编译 – 左边 – 引用型变量所属类型,运行 – 右边 – 对象所属类型
示例说明
`Demo.java`
// 父类
class Fu{
int num = 3;
public void show(){
System.out.println("Fu show")