腾讯 T3 大牛 - 带你深入解析静态分派 -&- 动态分派原理
public class Test {
static abstract class Human {
}
static class Man extends Human {
}
static class Woman extends Human {
}
// 执行代码
public static void main(String[] args) {
Human man = new Man;
// 变量 man 的静态类型 = 引用类型 = Human：不会被改变、在编译器可知
// 变量 man 的动态类型 = 实例对象类型 = Man：会变化、在运行期才可知
}
}
即：
变量的静态类型 = 引用类型 ：不会被改变、在编译器可知
变量的动态类型 = 实例对象类型 ：会变化、在运行期才可知
下面，我将详细讲解 Java 中的分派类型：静态分派 & 动态分派
2.静态分派
定义
根据变量的静态类型，进行方法分派的行为，即根据变量的静态类型，确定执行哪个方法。这一般发生在编译期，所以不由 Java 虚拟机来执行。
应用场景：方法重载（OverLoad）
实例说明：
public class Test {/* 类定义 */
static abstract class Human {}
/* 继承自抽象类 Human */
static class Man extends Human {}
static class Woman extends Human {}
/* 可供重载的方法 */
public void sayHello( Human guy ){System.out.println( "hello,guy!" );}
public void sayHello( Man guy ){System.out.println( "hello gentleman!" );}
public void sayHello( Woman guy ){System.out.println( "hello lady!" );}
/* 测试代码 */
public static void main( String[] args ){Human man = new Man;
Human woman = new Woman;
Test test = new Test;
test.sayHello( man );
test.sayHello( woman );}}
// 运行结果
hello,guy!
hello,guy!
根据上述的讲解，大家应该明白运行结果的原因：
方法重载（OverLoad） = 静态分派 = 根据变量的静态类型确定执行（重载）哪个方法。
所以上述的方法执行时，是根据变量（Man、Woman）的静态类型（Human）确定重载 sayHello 中参数为 Human guy 的方法，即 sayHello(Human guy)
特别注意变量的静态类型发生变化的情况，遇到这种情况时，可通过强制类型转换改变变量的静态类型。
Human man = new Man;
test.sayHello((Man)man);
// 强制类型转换
// 此时 man 的静态类型从 Human 变为 Man
// 所以会调用 sayHello 中参数为 Man guy 的方法，即 sayHello(Man guy)
静态分派的优先级匹配问题
问题描述：
1、背景
现需要进行静态分派。
2、问题
程序中没有显示指定静态类型。
3、解决方案
程序会根据静态类型的优先级，从而选择优先的静态类型进行方法分配。
实例说明
public class Overload {
private static void sayHello(char arg){
System.out.println("hello char");
}
private static void sayHello(Object arg){
System.out.println("hello Object");
}
private static void sayHello(int arg){
System.out.println("hello int");
}
private static void sayHello(long arg){
System.out.println("hello long");
}
// 测试代码
public static void main(String[] args) {
sayH
ello('a');
}
}
// 运行结果
hello char
因为‘a’除了可代表字符串，还可代表数字 97。因此当没有最合适的 sayHello(char arg)方式进行重载时，会选择第二合适（第二优先级）的方法重载，即
hello int
因为‘a’除了可代表字符串，还可代表数字 97。因此当没有最合适的 sayHello(char arg)方式进行重载时，会选择第二合适（第二优先级）的方法重载，即 sayHello(int arg)
总结：当没有最合适的方法进行重载时，会选优先级第二高的的方法进行重载，如此类推。
优先级顺序为：char>int>long>float>double>Character>Serializable>Object>...
其中...为变长参数，将其视为一个数组元素。变长参数的重载优先级最低。
因为 char 转型到 byte 或 short 的过程是不安全的，所以不会选择参数类型为 byte 或 short 的方法进行重载，故优先级列表里也没有。
特别注意，上面讲解的主要是基本数据类型的优先级匹配问题，若是引用类型，则根据继承关系进行优先级匹配，注意只跟其编译时类型（即静态类型）相关。
3.动态分派
定义：根据变量的动态类型，进行方法分派的行为，即根据变量的动态类型确定执行哪个方法。
应用场景：方法重写（Override）
实例说明
// 定义类
class Human {
public void sayHello{
System.out.println("Human say hello");
}
}
// 继承自 抽象类 Human 并 重写 sayHello
class Man extends Human {
@Override
protected void sayHello {
System.out.println("man say hello");
}
}
class Woman extends Human {
评论