单分派与多分派

方法的调用者的类型（父类型）称作静态类型。调用者最终类型（本身的类型）称作实际类型。

当确定方法的版本是通过调用者实际类型+方法参数中的类型才能确定方法版本时候，这种分派称作多分派。只是依据调用者和方法参数，叫做单分派。

分派是站在通过类型确定方法版本的角度上说的。

java是静态多分派，动态单分派的。

首先，静态分派是发生在编译阶段的。在编译阶段如果要确定方法的版本，需要知道调用者的实际类型与参数类型。所以是多分派的。

多分派是发生在编译阶段的，此时由于编译过后已经知道了参数的实际类型，所以此时只需要知道方法调用者的实际类型就可确定出方法的唯一版本，所以动态分派一定是单分派。

时间： 2024-09-20 20:52:44

单分派与多分派的相关文章

Jvm（67），方法调用----单分派与多分派

方法的接收者与方法的参数统称为方法的宗量,这个定义    早应该来源于<Java与模式>一书.根据分派基于多少种宗量,可以将分派划分为单分派和多分派两种.单分派是根据一个宗量对目标方法进行选择,多分派则是根据多于一个宗量对目标方法进行选择. 单分派和多分派的定义读起来拗口,从字面上看也比较抽象,不过对照着实例看就不难理解了.代码清单8-10中列举了一个Father和Son一起来做出"一个艰难的决定"的例子. package demo.jvm.test8? public cl

多态性实现机制——静态分派与动态分派

方法解析 Class 文件的编译过程中不包含传统编译中的连接步骤,一切方法调用在 Class 文件里面存储的都只是符号引用,而不是方法在实际运行时内存布局中的入口地址.这个特性给 Java 带来了更强大的动态扩展能力,使得可以在类运行期间才能确定某些目标方法的直接引用,称为动态连接,也有一部分方法的符号引用在类加载阶段或第一次使用时转化为直接引用,这种转化称为静态解析.这在前面的“Java 内存区域与内存溢出”一文中有提到. 静态解析成立的前提是:方法在程序真正执行前就有一个可确定的调用版本,并

Java方法重载与重写（静态分派与动态分派）

Java面向对象3个基本特征:继承.封装和多态:多态主要体现在重载和重写: 1.静态分派 静态分派与重载有关,虚拟机在重载时是通过参数的静态类型,而不是运行时的实际类型作为判定依据的:静态类型在编译期是可知的: 1)基本类型 以char为例,按照char>int>long>double>float>double>Character>Serializable>Object>...(变长参数,将其视为一个数组元素) 变长参数的重载优先级最低 (注意char

浅谈动态分派和静态分派

前言 动态分派和静态分派机制是Java多态实现的原理.本文将针对这两种机制进行浅析. 静态分派 静态分派机制最典型的代码示例如下 void test() { Father father = new Son(); //静态分派 print(father); } void print(Father father) { System.out.println("this is father"); } void print(Son son) { System.out.println("

Java静态分派和动态分派

前言 动态分派和静态分派机制是Java多态实现的原理.本文将针对这两种机制进行浅析. 静态分派 静态分派机制最典型的代码示例如下 void test() { Father father = new Son(); //静态分派 print(father); } void print(Father father) { System.out.println("this is father"); } void print(Son son) { System.out.println("

Java静态分派与动态分派（二）

方法调用并不等于方法执行,方法调用阶段唯一的任务就是确定被调用方法的版本(即调用哪一个方法),暂时还不涉及方法内部的具体运行过程. 在程序运行时,进行方法调用是最普遍.最频繁的操作,但是Class文件的编译过程不包括传统编译中的连接步骤,一切方法调用在Class文件里面存储的都只是符号引用,而不是方法在实际运行时内存布局中的入口地址(相对于之前说的直接引用).这个特性给Java带来了更强大的动态扩展能力,但也使得Java方法调用过程变得相对复杂起来,需要在类加载期间,甚至到运行期间才能确定目标方

（三十）分派调用：静态分派和动态分派

分派调用 其实分派分为两种,即动态分派和静态分派.我们在了解分派的时候,通常把它们与重写和重载结合到一起. 重载(overload)与静态分派 我们先看一个题: public class Main { static abstract class Father { } static class Son extends Father { } static class Daughter extends Father { } public void getSex(Daughter daughter) {

设计模式解密（22）- 访问者模式 - 扩展篇（分派的概念）

前言:访问者模式拆分  访问者模式基础篇 :http://www.cnblogs.com/JsonShare/p/7380772.html  访问者模式扩展篇 - 分派的概念: http://www.cnblogs.com/JsonShare/p/7381705.html 1.分派的概念 变量被声明时的类型叫做变量的静态类型(Static Type),有些人又把静态类型叫做明显类型(Apparent Type):而变量所引用的对象的真实类型又叫做变量的实际类型(Actual Type).比如:

多态方法调用的解析和分派

方法调用并不等同于方法执行,方法调用阶段唯一的任务就是确定被调用方法的版本(即调用哪一个方法),暂时还不涉及方法内部的具体运行过程.在程序运行时,进行方法调用是最普遍.最频繁的操作,Class文件的编译过程中不包含传统编译中的连接步骤,一切方法调用在Class文件里面存储的都只是符号引用,而不是方法在实际运行时内存布局中的入口地址(相当于之前说的直接引用).这个特性给Java带来了更强大的动态扩展能力,但也使得Java方法调用过程变得相对复杂起来,需要在类加载期间,甚至到运行期间才能确定目标方法