java多态的理解_Java多态的深度理解

多态基于封装和继承，是Java三大特性的重中之重。多态通过动态绑定的技术，根据引用对象的实际类型调用对应的方法，这样的特性有利于消除类与类之间的耦合关系。其应用广泛，比如那些自动生成代码的软件，一般都会有提前写好的公有代码，而如果软件使用者自定义了某项功能代码，则会优先使用自定义的代码。

实现多态的三个必要条件：

• 继承
• 重写
• 父类引用指向子类对象

这三个条件缺一不可，继承和重写这里就不再赘述了，主要说明下父类引用指向子类对象。

一个父类的引用可以指向多个子类对象，而运行时，则由子类对象的类型来决定调用的是哪个类型的方法。当父类引用指向子类对象时，其实调用的是父类（即当前类）的方法，而根据动态绑定的技术，如果在子类中重写了某个父类方法，则会调用子类中的该方法。当然了，这个方法必须是在父类中已定义的，如果只在子类定义了某个方法，则父类的引用是无法调用的。

举个例子：

public 

以上代码输出结果如下：

为何会是这样？

实际上，这里涉及到调用方法的优先级。按如下数字序号的顺序调用：

1. this.show(O)：优先查找当前类的show(O)，找不到继续第2步；
2. super.show(O)：往父类查找show(O)，找不到继续第3步；
3. this.show((super)O)：将参数类型O转换成其父类类型后，在当前类查找show((super)O)，找不到继续第4步；
4. super.show((super)O)：将参数类型O转换成其父类类型后，往父类查找show((super)O)。

this表示当前类型，即父类引用的类型。O表示参数类型。

接下来我们按照上面的方法优先级，逐个分析代码里那五行的调用逻辑。

1. a2.show(c)：a2是A类引用指向子类B的对象，实参c的类型是C，会先在A类查找show(C obj)方法，在A类找到了，检查子类B是否有重写，没有重写，那么直接输出“W”；
2. a1.show(b)：a1是A类的引用对象，并且指向了本类（非多态），实参b的类型是B，会直接在A类查找show(B obj)方法，发现A类中没有该方法，那么继续往Object类查找该方法（默认继承Object类），很显然Object类也没有，那么继续第3步，将实参类型B转换成其父类类型A，然后在A类查找show(A obj)，找到了，那么直接输出“Q”；
3. a2.show(b)：a2是A类引用指向子类B的对象，实参b的类型是B，会先在A类查找show(B obj)方法，没找到，继续往Object类查找该方法，很显然也没有，那么继续第3步，将实参类型B转换成其父类类型A，然后在A类查找show(A obj)，找到了，检查子类B是否有重写，发现有重写，那么输出“Q”；
4. a3.show(c)：a3是B类引用指向子类C的对象，实参c的类型是C，会先在B类查找show(C obj)方法，没找到，继续往其父类A找该方法，找到了，检查子类C是否有重写，发现有重写，那么输出“T”；
5. a3.show()：a3是B类引用指向子类C的对象，无参，会先在B类查找show()方法，没找到，继续往父类A找该方法，找到了，同时A类中的该方法调用了show2()方法，show2()方法在子类C重写了，那么输出“D”。

作者：陈小挺

原文链接：Java多态的深度理解