方法分派

可以从两方面划分:
静态分派及动态分派
单分派及多分派
静态分派及动态分派
静态分派:
先来看一段代码:
public   class   StaticDispatch {
     public   void   sayHello(Human guy) {
         System.out.println( "hello, guy!" );
     }
     public   void   sayHello(Man guy) {
         System.out.println( "hello, man!" );
     }
     public   void   sayHello(Women guy) {
         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(Man guy) {
         System.out.println( "hello, man!" );
     }
     public   void   sayHello(Women guy) {
         System.out.println( "hello, women!" );
     }
     public   static   void   main(String[] args) {
         Man man =  new   Man();
         Women women =  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) {
         Man man =  new   Man();
         Women 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   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来说明的),动态分派都是单分派,静态分派都是多分派,所以有以下两个名词:
静态多分派和动态单分派



版权声明:本文为博主原创文章,未经博主允许不得转载。

你可能感兴趣的:(方法分派)