变量被声明时的类型叫做变量的静态类型(Static Type) 又叫明显类型(Apparent Type)。变量所引用的对象的真实类型又叫做变量的实际类型(Actual Type)。
根据对象的类型而对方法进行的选择,就是分派(Dispatch)。根据分派发生的时期，可以将分派分为两种，即分派分静态分派和动态分派。
静态分派(Static Dispatch) 发生在编译时期，分派根据静态类型信息发生。方法重载(Overload)就是静态分派。（所谓的：编译时多态）
动态分派(Dynamic Dispatch) 发生在运行时期，动态分派动态地置换掉某个方法。面向对象的语言利用动态分派来实现方法置换产生的多态性。（所谓的：运行时多态）
方法重载（静态分派）
解析调用时静态过程，编译器即可以确定方法的版本。解析调用类的类型兵没有关系。解析调用主要包括静态方法，私有方法，类初始化方法，父类方法。
解析调用与分派并不是互斥关系。是站在不同的角度的说法。分派是站在根据类型选择方法版本的角度上的说法。静态方法是解析调用，但是静态方法的重载，也可是静态分派。