分派是指在方法调用时确定应该调用哪个方法的过程。Java语言中,根据分派时期的不同,可以将分派分为静态分派和动态分派;根据分派的目标数量不同,可以将分派分为单分派和多分派。
- 静态分派:在编译期间确定方法调用的目标方法。它的分派过程是根据静态类型信息发生的,因此也被称为静态类型绑定。最典型的例子是方法重载,即同一个类中定义了多个同名方法,但参数类型或个数不同。根据方法调用时实参的静态类型,编译器可以明确调用哪个方法。
- 动态分派:在运行期间根据实际类型确定方法调用的目标方法。它的分派过程是根据实际类型信息发生的,因此也被称为动态类型绑定。最典型的例子是方法重写,即子类中重写了父类中的方法,而父类类型的变量引用了子类对象时,运行时就会根据子类的实际类型调用相应的方法。
- 单分派:根据一个宗量就可以确定方法调用的目标方法,最典型的例子是Java语言中的重载(Overload)。在Java语言中,方法的调用只能按照方法接收者的引用类型来确定,因此Java语言的静态分派属于单分派。
- 多分派:根据多个宗量才能确定方法调用的目标方法。Java语言中并没有多分派的语法和语义,但是Java语言可以通过方法重写实现多分派。在Java语言中,方法重写是根据接收者的实际类型和参数类型来确定方法调用的目标方法的,因此Java语言的动态分派属于多分派。
综合上述,Java语言中的分派可以分为以下四种组合:
- 静态单分派:根据参数的静态类型确定方法的目标方法,即方法重载。例如:
Animal a = new Cat(); a.eat(new Food());
- 静态多分派:根据参数的静态类型和数量确定方法的目标方法,即方法重载。例如:
Animal a = new Cat(); a.eat(new Meat(), new Fish());
- 动态单分派:根据接收者的实际类型确定方法的目标方法,即方法重写。例如:
Cat cat = new Cat(); cat.eat(new Food());
- 动态多分派:根据接收者的实际类型和参数的实际类型确定方法的目标方法,即方法重写。例如:`Animal cat = new Cat(); cat.eat