该文章将会带你了解行为方法分派，帮助你更了解在行为分派时的一些功能操作。主要

将会讲解行为分派的类型：静态 & 动态行为分派，希望能给大家带来帮助。

1.目录

1.知识储备

分派

定义：确定执行哪个方法的过程。

有些读者会问，方法的执行不是取决于代码设置中的执行对象吗？为什么还要选择呢？答案是，若一个对象对应于多个方法时，就需要进行选择。

读者应该都想到了Java中的特性：多态，即重写 & 重载。

此外还有分类，分类包括静态分派 & 动态分派。下面我将详细讲解。

变量的静态类型 & 动态类型

先看下面的代码

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) { 

sayHello('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 { 

@Override 

protected void sayHello { 

System.out.println("woman say hello"); 

} 

} 

// 测试代码

public static void main(String[] args) { 

// 情况1

Human man = new man; 

man.sayHello; 

// 情况2

man = new Woman; 

man.sayHello; 

} 

}

// 运行结果

man say hello

woman say hello

// 原因解析

// 1\. 方法重写（Override） = 动态分派 = 根据 变量的动态类型 确定执行（重写）哪个方法

// 2\. 对于情况1：根据变量（Man）的动态类型（man）确定调用man中的重写方法sayHello

// 3\. 对于情况2：根据变量（Man）的动态类型（woman）确定调用woman中的重写方法sayHello

特别注意，对于代码中：

Human man = new Man; 

man = new Woman; 

man.sayHello; 

// man称为执行sayHello方法的所有者，即接受者。

• invokevirtual指令执行的第一步 = 确定接受者的实际类型。

• invokevirtual指令执行的第二步 = 将 常量池中 类方法符号引用 解析到不同的直接引用上。第二步即方法重写（Override）的本质。

  4.二者区别

5.总结

以上内容希望可以给大家带来帮助，如果觉得有用的话，可以点赞关注我，后续会持续更新我对JAVA相关知识的见解。如有不同的见解欢迎在评论区留言。