• JAVA:一篇文章理清多态


      很多人总是喜欢,或者说错误地将JAVA中的多态理解得很复杂,最常见的错误说法就是所谓“方法的多态”,他们会给出类似下面的例子来佐证“多态是指方法的多态”:

    //Enginner和Mechanic是Employee的子类,构造函数参数均为月薪salary
    Employee a=new Enginner(100);
    Employee b=new Mechanic(100);
    
    //getAnnualSalary是Employee类的方法,用于计算并返回年薪
    System.out.println(a.getAnnualSalary());//输出1500,Enginner年薪为15倍月薪
    System.out.println(b.getAnnualSalary());//输出1300,Mechanic年薪为13倍月薪

      从结果上看,a、b都是Employee类对象变量,然而对a调用getAnnualSalary()返回的是15*salary,对b调用getAnnualSalary()却返回了13*salary,好像的确是所谓“方法的多态”,毕竟对同一类对象变量调用同一个方法,内部实现方式却出现不同了嘛。基于这样的想法,甚至有一些人将多态扩展到了更广泛、更复杂的情况,比如下面这种,连泛型都算进了多态中:

      

      那么,多态真的是有那么多种情况吗?真的是只要方法名相同,而参数或者内部实现方式不同,就要看成是多态吗?不不不,这种说法纯属扯淡,JAVA中的多态有且只有一种情况:对象变量是多态的。这个理解至关重要,可以说对于多态的概念,要记住的就是这个点。但是,为什么在上面的例子中,对a和b调用同一个方法,会有不同的效果呢?注意,这是方法调用的知识范畴,只是恰好和多态相关罢了。下面我们就来理清一下多态与方法调用的知识。

      JAVA中的多态是由继承机制带来的,正是因为有继承机制,所以才存在多态。简单来说,多态的起因就是JAVA中允许一个父类对象变量引用一个子类对象(至于为什么我们之后会说):

    //Son是Father的子类
    Father variable=new Son(); //variable是一个Father类对象变量,但它实际引用的对象却是Son类对象

      由于父类对象变量可以引用子类对象,所以当我们看到一个A类对象变量时,我们不能一口咬定它所引用的对象就是A类对象,它也有可能引用B类对象、C类对象……只要它引用的对象是A类的子类对象就行。这就是多态:对象变量实际引用的对象的类型不一定是对象变量声明的类型。

      但是单纯的多态并没卵用,我令Employee类对象变量a引用了一个Enginner对象,然后呢,即便我在Enginner中重写了getAnnualSalary以返回15薪,在对a调用getAnnualSalary时依然返回12薪吗?(假设Employee类中getAnnualSalary返回12*salary)那有什么意义?

      所以实际上,多态的存在,必须要有方法调用时的动态绑定支持才有意义。所谓方法调用的动态绑定,就是:虚拟机会调用与变量所引用的实际类型最匹配的那个方法。

      举例来说,Employee类的getAnnualSalary返回12*salary,Enginner类重写了该方法以返回15*salary,那么当出现下述情况时:

    Employee a=new Enginner(100);
    int annualSalary=a.getAnnualSalary();

      虚拟机会先判断变量a所引用的对象实际上是什么类型(此例实际类型为Enginner),然后查看其实际类型是否重写了该方法(此例Enginner重写了Employee中的getAnnualSalary方法),如果是则调用其实际类型中的该方法(此例也即调用Enginner类中返回15*salary的getAnnualSalary),否则调用a声明的类型(即Employee)中的该方法。

      通过多态+动态绑定,我们就可以快速地实现一些效果。比如说写一个抽象类List,声明一个get方法以获取列表中指定元素,声明一个set方法以设置列表中指定元素,然后实现一个非抽象子类LinkedList,内部采用链表结构存储列表,再实现一个ArrayList,内部采用数组结构存储列表。这样一来,我们就可以利用多态+动态绑定这样写代码:

    List a=new ArrayList();
    oldValue=a.get(i);
    a.set(i,newValue);

      如果我们想要使用一个可以良好支持随机访问的列表,我们就可以像上面这样写,即令a引用一个ArrayList对象,如果哪一天我们希望此处改用使用良好支持动态增减的列表了,只需要将

    List a=new ArrayList();

      改为:

    List a=new LinkedList();

      即可,而其余代码不需要改动。通过方法的动态绑定,对get和set的调用都将自动成为对LinkedList类中的方法调用。这样一来,改变列表的实际存储结构就成了一个很简单的事情。

      此外,多态+动态绑定还可以在“只关注通用方法”时起到简化代码的效果。什么意思呢?举例来说就是Enginner和Mechanic有各自不同的,在Employee类基础上新增的方法。但是我们在统计员工薪水时,并不想关注它们各自独有的东西,只想关注同样作为Employee都会有的年薪。那我就可以将各个Enginner、Mechanic都放进一个Employee数组中,然后遍历该数组,对每个元素调用getAnnualSalary并输出,而不用为Enginner创个数组遍历一遍,再对Mechanic创个数组遍历一遍。

      当然,多态+动态绑定还有许多其他用途,尤其是在JAVA的各集合类应用上,此处不予细谈。

      如果说动态绑定是解决了多态的方法调用问题,那么静态绑定就是为了快速实现(方法)重载机制。所谓重载机制就是指在JAVA中,允许一个方法的名字与已存在的另一个方法相同,只要这两个方法的参数个数或类型不同即可。这种多个方法名字相同、参数不同的情况,就是方法重载。此处所说的“方法”也可以是构造器,因此这种机制叫做:重载。

      要想实现重载,就得在调用方法时,根据调用时所给的参数决定到底调用哪个方法。但是到底该什么时候确定这件事呢?在JAVA中,这个确认步骤在编译器将源代码翻译为字节码时确定,也即由编译器javac根据方法调用时所给的参数个数、类型来确定实际该调用哪个方法,从而实现重载。因为是在编译时确定的,所以这个绑定过程就是静态绑定。

      但是需要注意的是,静态绑定并不算真正的“绑定”,它其实是一个筛选。什么意思呢?举例来说,假设Employee类的getAnnualSalary还有一个带参数的版本:getAnnualSalary(double bonusRate),即给定一个“奖金比例”来计算年薪,那么当对一个Employee类对象变量a调用getAnnualSalary()时,编译器会先进行静态绑定,即筛选,从而确定此处的方法调用不可能是带参数的版本,但有可能是Employee类的该方法,也有可能是Enginner或Mechanic类的该方法,经过静态绑定后,剩下了三种可能,再由虚拟机在运行时通过动态绑定确定真正调用的方法。

      其实重载也可以做成让虚拟机来做的事情,但是通过编译器的静态绑定筛选掉一部分方法,就可以令虚拟机在确定实际调用方法时减少一些工作量,只关注于动态绑定的可能方法上。所以说静态绑定是为了快速实现重载。

      有关多态、方法调用的相关知识当然还有许多细节,比如一个方法x(int)和重载的方法x(double),在调用x(3)时既可以是调用x(int),也可以是调用x(double),到底选哪个?为什么重载不允许仅仅返回类型不同?不过这些细节问题并不是本文想要讨论的东西,本文要说的基本上就是上面那些提纲挈领的内容。

      总的来说,在学习JAVA多态时最重要的点就是要明白多态就是指对象变量的多态,不要去把多态这个概念复杂化。至于所谓“方法的多态”,其实就是方法调用的静态绑定(筛选)和动态绑定。

  • 相关阅读:
    SqlServer丢失.ldf日志文件,附加数据库mdf文件的解决办法
    NetCore+Consul服务注册+Ocelot网关配置
    docker 配置apollo
    docker部署nacos
    金蝶云星空自定义WebApi接口开发和调用
    挂载错误:系统不支持 cifs 文件系统
    staticmethod classmethod
    Kitex源码阅读——脚手架代码是如何通过命令行生成的(一)
    Kitex源码阅读——脚手架代码是如何通过命令行生成的(二)
    GO的日志库log竟然这么简单!
  • 原文地址:https://www.cnblogs.com/mm93/p/8620470.html
Copyright © 2020-2023  润新知