Java的动态绑定与双分派_动力节点Java学院整理

更新时间：2017年08月08日 10:25:47 作者：zhengzhb

这篇文章主要介绍了Java的动态绑定与双分派，小编觉得挺不错的，现在分享给大家，也给大家做个参考。一起跟随小编过来看看吧

Java的动态绑定

所谓的动态绑定就是指程执行期间（而不是在编译期间）判断所引用对象的实际类型，根据其实际的类型调用其相应的方法。java继承体系中的覆盖就是动态绑定的，看一下如下的代码：

class Father { 
  public void method(){ 
    System.out.println("This is Father's method"); 
  } 
} 
 
class Son1 extends Father{ 
  public void method(){ 
    System.out.println("This is Son1's method"); 
  } 
} 
 
class Son2 extends Father{ 
  public void method(){ 
    System.out.println("This is Son2's method"); 
  } 
} 
 
public class Test { 
  public static void main(String[] args){ 
    Father s1 = new Son1(); 
    s1.method(); 
     
    Father s2 = new Son2(); 
    s2.method(); 
  } 
}

运行结果如下：

This is Son1's method
This is Son2's method

通过运行结果可以看到，尽管我们引用的类型是Father类型的，但是运行时却是调用的它实际类型（也就是Son1和Son2）的方法，这就是动态绑定。在java语言中，继承中的覆盖就是是动态绑定的，当我们用父类引用实例化子类时，会根据引用的实际类型调用相应的方法。

java的静态绑定

相对于动态绑定，静态绑定就是指在编译期就已经确定执行哪一个方法。在java中，方法的重载（方法名相同而参数不同）就是静态绑定的，重载时，执行哪一个方法在编译期就已经确定下来了。看一下代码：

class Father {} 
class Son1 extends Father{} 
class Son2 extends Father{} 
 
class Execute { 
  public void method(Father father){ 
    System.out.println("This is Father's method"); 
  } 
   
  public void method(Son1 son){ 
    System.out.println("This is Son1's method"); 
  } 
   
  public void method(Son2 son){ 
    System.out.println("This is Son2's method"); 
  } 
} 
 
public class Test { 
  public static void main(String[] args){ 
    Father father = new Father(); 
    Father s1 = new Son1(); 
    Father s2 = new Son2(); 
 
    Execute exe = new Execute(); 
    exe.method(father); 
    exe.method(s1); 
    exe.method(s2); 
  } 
}

运行结果如下：

This is Father's method
This is Father's method
This is Father's method

在这里，程序在编译的时候就已经确定使用method(Father father)方法了，不管我们在运行的时候传入的实际类型是什么，它永远都只会执行method(Father father)这个方法。也就是说，java的重载是静态绑定的。

instanceof操作符与转型

有时候，我们希望在使用重载的时候，程序能够根据传入参数的实际类型动态地调用相应的方法，也就是说，我们希望java的重载是动态的，而不是静态的。但是由于java的重载不是动态绑定，我们只能通过程序来人为的判断，我们一般会使用instanceof操作符来进行类型的判断。我们要对method(Father father)进行修改，在方法体中判断运行期间的实际类型，修改后的method(Father father)方法如下：

public void method(Father father){ 
  if(father instanceof Son1){ 
    method((Son1)father); 
  }else if(father instanceof Son2){ 
    method((Son2)father); 
  }else if(father instanceof Father){ 
    System.out.println("This is Father's method"); 
  } 
}

请注意，我们必须把判断是否是父类的条件（也就是判断是否为Father类的条件）放到最后，否则将一律会被判断为Father类，达不到我们动态判断的目的。修改代码后，程序就可以动态地根据参数的实际类型来调用相应的方法了。运行结果如下：

This is Father's method
This is Son1's method
This is Son2's method

但是这种实现方式有一个明显的缺点，它是伪动态的，仍然需要我们来通过程序来判断类型。假如Father有100个子类的话，还是这样来实现显然是不合适的。必须通过其他更好的方式实现才行，我们可以使用双分派方式来实现动态绑定。

用双分派实现动态绑定

首先，什么是双分派？

类A中的方法method1和method2的区别就是，method2是双分派。我们可以看一下java双分派的特点：首先要有一个访问类B，类B提供一个showA(A a) 方法，在方法中，调用类A的method1方法，然后类A的method2方法中调用类B的showA方法并将自己作为参数传给showA。双分派的核心就是这个this对象。说到这里，我们已经明白双分派是怎么回事了，但是它有什么效果呢？就是可以实现方法的动态绑定，我们可以对上面的程序进行修改，代码如下：

class Father { 
  public void accept(Execute exe){ 
    exe.method(this); 
  } 
} 
class Son1 extends Father{ 
  public void accept(Execute exe){ 
    exe.method(this); 
  } 
} 
class Son2 extends Father{ 
  public void accept(Execute exe){ 
    exe.method(this); 
  } 
} 
 
class Execute { 
  public void method(Father father){ 
    System.out.println("This is Father's method"); 
  } 
   
  public void method(Son1 son){ 
    System.out.println("This is Son1's method"); 
  } 
   
  public void method(Son2 son){ 
    System.out.println("This is Son2's method"); 
  } 
} 
 
public class Test { 
  public static void main(String[] args){ 
    Father father = new Father(); 
    Father s1 = new Son1(); 
    Father s2 = new Son2(); 
 
    Execute exe = new Execute(); 
    father.accept(exe); 
    s1.accept(exe); 
    s2.accept(exe); 
  } 
}

可以看到我们修改的地方，在Father，Son1，Son2中分别加入一个双分派的方法。调用的时候，原本是调用Execute的method方法，现在改为调用Father的accept方法。运行结果如下：

This is Father's method
This is Son1's method
This is Son2's method

运行结果符合我们的预期，实现了动态绑定。双分派实现动态绑定的本质，就是在重载方法委派的前面加上了继承体系中覆盖的环节，由于覆盖是动态的，所以重载就是动态的了，与使用instanceof操作符的效果是一样的（用instanceof操作符可以实现重载方法动态绑定的原因也是因为instanceof操作符是动态的）。但是与使用instanceof操作符实现动态绑定相比，双分派方式的可扩展性要好的多。

您可能感兴趣的文章:

Java语言实现最大堆代码示例
这篇文章主要介绍了Java语言实现最大堆代码示例，具有一定参考价值，需要的朋友可以了解下。
2017-12-12
分享一个你不知道的Java异常实现的缺陷
Java中一个大家熟知的知识点就是异常捕获，try...catch...finally组合，但是很多人不知道这里面有一个关于Java的缺陷，或者说是异常实现的一点不足之处。本文就通过一个很简单的实验给大家演示下效果玩玩儿，希望大家能觉得有趣
2022-12-12
rocketmq如何修改存储路径
这篇文章主要介绍了rocketmq如何修改存储路径的操作，具有很好的参考价值，希望对大家有所帮助。如有错误或未考虑完全的地方，望不吝赐教
2021-07-07
Java通过PropertyDescriptor反射调用set和get方法
这篇文章主要为大家详细介绍了Java通过PropertyDescriptor反射调用set和get方法，具有一定的参考价值，感兴趣的小伙伴们可以参考一下
2017-03-03
Java中的vector类使用示例小结
Vector与ArrayList的实现基本相似,同样是基于动态数组,同样是需要扩容,下面举了三个简短的例子来帮助大家理解vertor:
2016-05-05
解读@SpringBootApplication注解有什么用
@SpringBootApplication是SpringBoot的核心注解,主要包含@SpringBootConfiguration、@EnableAutoConfiguration和@ComponentScan三个注解,这些注解共同简化了Spring应用的配置工作,并使得通过主程序类就可以启动SpringBoot应用
2024-09-09
Mybatis日志模块的适配器模式详解
这篇文章主要介绍了Mybatis日志模块的适配器模式详解，，mybatis用了适配器模式来兼容这些框架，适配器模式就是通过组合的方式，将需要适配的类转为使用者能够使用的接口
2022-08-08
Springboot公共字段填充及ThreadLocal模块改进方案
这篇文章主要为大家介绍了Springboot公共字段填充及ThreadLocal模块改进方案详解，有需要的朋友可以借鉴参考下，希望能够有所帮助，祝大家多多进步，早日升职加薪
2022-11-11
基于Class.forName()用法及说明
这篇文章主要介绍了基于Class.forName()用法及说明，具有很好的参考价值，希望对大家有所帮助。如有错误或未考虑完全的地方，望不吝赐教
2022-11-11
Kotlin 基础语法详细介绍
这篇文章主要介绍了Kotlin 基础语法详细介绍的相关资料,需要的朋友可以参考下
2017-05-05

Java的动态绑定与双分派_动力节点Java学院整理

相关文章

最新评论

大家感兴趣的内容

最近更新的内容

常用在线小工具