方法分派

最新推荐文章于 2025-02-23 16:31:58 发布

吴帝永

最新推荐文章于 2025-02-23 16:31:58 发布

阅读量610

点赞数

CC 4.0 BY-SA版权

分类专栏： JVM

本文链接：https://blog.youkuaiyun.com/wudiyong22/article/details/47357645

JVM 专栏收录该内容

10 篇文章

订阅专栏

本文详细解释了Java中的静态分派与动态分派的概念，包括静态类型与实际类型的区分，以及静态分派与动态分派的区别与应用场景。通过代码示例，展示了静态分派与动态分派的实现过程，并强调了它们在Java程序中的重要性。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

可以从两方面划分：

静态分派及动态分派

单分派及多分派

静态分派及动态分派

静态分派：

先来看一段代码：

public class StaticDispatch {

    public void sayHello(Human guy) {

        System.out.println("hello, guy!");

}

    public void sayHello(Man guy) {

        System.out.println("hello, man!");

}

    public void sayHello(Women guy) {

        System.out.println("hello, women!");

}

    public static void main(String[] args) {

        Human man = new Man();

        Human women = new Women();

        StaticDispatch sd = new StaticDispatch();

        sd.sayHello(man);

        sd.sayHello(women);

}

}

class Human {}

class Man extends Human {}

class Women extends Human {}

输出：

hello, guy!

上面代码如果把

    public void sayHello(Human guy) {

        System.out.println("hello, guy!");

}

注释掉，则编译报错，这时需要用

sd.sayHello((Man)man);

sd.sayHello((Women)women);

才可通过编译，说明了man和women在编译时是Human类型的，虚拟机不会默认把父类变成子类（因为它不知道变成哪个子类），所以需要我们手动去强制转换。

我们把 Human称为变量的静态类型， Man称为变量的实际类型。变量的静态类型和动态类型在程序中都可以发生变化，如下：

静态类型变化：

sd.sayHello((Man)man);

sd.sayHello((Women)women);

实际类型变化：

Human man = new Man();

man = new Women();

而区别是变量的静态类型是在编译阶段就可知的，但是动态类型要在运行期才可以确定，编译器在编译的时候并不知道变量的实际类型是什么。现在回到代码中，由于方法的接受者已经确定是StaticDispatch的实例sd了，所以最终调用的是哪个重载版本也就取决于传入参数的类型了。实际上，虚拟机（应该说是编译器）在重载（注意：是重载overload，不是重写override）时是通过参数的静态类型来当判定依据的，而且静态类型在编译期就可知，所以编译器在编译阶段就可根据静态类型来判定究竟使用哪个重载版本。于是对于例子中的两个方法的调用都是以Human为参数的版本。

再看下面两段代码：

public class StaticDispatch {

    public void sayHello(Human guy) {

        System.out.println("hello, guy!");

}

    public void sayHello(Man guy) {

        System.out.println("hello, man!");

}

    public void sayHello(Women guy) {

        System.out.println("hello, women!");

}

    public static void main(String[] args) {

        Man man = new Man();

        Women women = new Women();

        StaticDispatch sd = new StaticDispatch();

        sd.sayHello(man);

        sd.sayHello(women);

}

}

class Human {}

class Man extends Human {}

class Women extends Human {}

输出：

hello, man!

hello, women!

public class StaticDispatch {

    public void sayHello(Human guy) {

        System.out.println("hello, guy!");

}

    public static void main(String[] args) {

        Man man = new Man();

        Women women = new Women();

        StaticDispatch sd = new StaticDispatch();

        sd.sayHello(man);

        sd.sayHello(women);

}

}

class Human {}

class Man extends Human {}

class Women extends Human {}

输出：

hello, guy!

同样都是静态分派，只不过参数是子类型，这时，如果找不到与之匹配的子类型，可以往上找其父类型，依次类推。

动态分派：

先看下面代码：

public class DynamicDispatch {

    public static void main(String[] args) {

        Human man = new Man();

        Human women = new Women();

        man.sayHello();

        women.sayHello();

        man = new Women();

        man.sayHello();

    }

}

class Human {

    protected void sayHello(){

        System.out.println("hello Human!");

    };

}

class Man extends Human {

    @Override

    protected void sayHello() {

        System.out.println("hello man!");

    }

}

class Women extends Human {

    @Override

    protected void sayHello() {

        System.out.println("hello women!");

    }

}
输出：