单分派与多分派

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

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

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

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

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

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