方法分派

可以从两方面划分：
静态分派及动态分派
单分派及多分派

静态分派及动态分派

静态分派：
先来看一段代码：

public

class

StaticDispatch {

public

void

sayHello(Human guy) {

System.out.println(

"hello, guy!"

);

}

public

void

sayHello(Manguy) {

System.out.println(

"hello, man!"

);

}

public

void

sayHello(Womenguy) {

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!
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(Manguy) {

System.out.println(

"hello, man!"

);

}

public

void

sayHello(Womenguy) {

System.out.println(

"hello, women!"

);

}

public

static

void

main(String[] args) {

Manman =

new

Man();

Womenwomen = 

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) {

Manman =

new

Man();

Womenwomen = 

new

Women();

StaticDispatch sd =

new

StaticDispatch();

sd.sayHello(man);

sd.sayHello(women);

}

}

class

Human {}

class

Man

extends

Human {}

class

Women

extends

Human {}

输出：

hello, guy!

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!"

);

}

}

输出：

hello man!
hello women!
hello women!

重写（override）方法的调用是根据实际类型来调用的！
总结：
重载（overload）方法的调用根据静态类型来决定，即采用静态分派！
重写（override）方法的调用根据实际类型来决定，即采用动态分派！

单分派和多分派
直至jdk6为止（jdk6以后不知道，因为《深入理解JVM》是基于jdk6来说明的），动态分派都是单分派，静态分派都是多分派，所以有以下两个名词：
静态多分派和动态单分派