深入总结Java中多态实现机制

深入总结Java中多态实现机制 

 

一、多态概述:

面向对象程序设计语言中,多态是继数据抽象和继承之后的第三种基本特征。“封装”通过合并特征和行为来创建新的数据类型。“实现隐藏”则通过将细节“私有化”把接口和实现分离开来。而多态的作用则是消除类型之间的耦合关系。

二、向上转型(Upcasting):

导出类是基类的一个超集,Upcasting是从一个较专用的类型向较通用的类型转换,所以总是很安全的。导出类必须至少具备有基类中所含有的方法在向上转型的过程中,类接口中唯一可能发生的事情是丢失方法,而不是获取它们。

三、多态的缺陷:

1、缺陷:“覆盖”私有方法。只有非private的方法才可以被覆盖,尽管编译器不会报错,但是也不会按照我们所期望的来执行。在导出类中,对于基类中的private方法,最好采用不同的名字。

2、缺陷:域在转型时候的问题。对于成员变量(域),导出类将拥有从基类继承而来的成员变量和自己的成员变量(变量名字相同时也是如此),而且,将分配不同的存储空间,这样,导出类将拥有两个名称一样的域。为了得到基类的域,必须现实地知名super.field才能访问,而默认的域则是导出类自己的域。

3、静态方法是与类相关联的,而非与某个对象相关联的,那么它就不具有多态行为。

四、构造器和多态:

1.         构造器不同于普通的方法,涉及到多态的时候仍然是这样。构造器实际上是static方法,只不过static声明是隐式的。

2.         编译器强制每个导出类都必须调用构造器的原因:

基类的构造器总是在导出类的构造过程中被调用,而且按照继承层次逐渐向上连接,以使每个基类的构造器都能够得到调用。这样的做的意义是,因为构造器有一个特殊的任务:检查对象是否被正确地构造。导出类只能访问它自己的成员,不能访问基类中的成员(基类成员通常是private型)。只有基类的构造器才具有恰当的知识和权限来对自己的元素进行初始化。因此,必须令所有构造器都得到调用,否则就不可能正确构造完整对象。这就是上面问题的原因。

3.         初始化的实际过程:

A、在其他任何事物发生之前,将分配给对象的存储空间初始化成二进制的0

B、 调用基类的构造器;

C、 按照声明的顺序调用成员的初始化方法;

D、调用导出类的构造器主体

4.         继承和清理

如果确实遇到需要清理的问题,那么必须用心为新类创建dispose()方法。并且忧郁继承的缘故,如果我们有其他作为垃圾回收一部分的特殊清理动作,就必须在导出类中覆盖dispose()方法。当覆盖基类的dispose()方法时,务必记住调用基类版本的dispose()方法,否则,基类的清理动作就不会发生。

       万一某个子对象要依赖于其他对象,销毁的顺序应该和初始化的顺序相反。这是因为导出类的清理可能会调用基类中的某些方法,所以需要使基类中的构建仍起作用而不应该过早地销毁它们。

       然而,成员对象中存在于其他一个或者多个对象共享的情况,问题就变得更加复杂了,你就不能简单地假设可以调用dispose()了,在这种情况下,必须使用“引用计数器”来跟踪仍旧访问着共享对象的对象数量了。

5.         构造器内部的多态方法的行为

如果要调用构造器内部的一个动态绑定方法,就要用到那个方法的被覆盖后的定义。然而,这个调用的效果可能相当难于预料,因为被覆盖的方法在对象被完全构造之前就会被调用。这可能会造成一些难以发现的隐藏错误。

       构造器的工作实际上是创建对象。在任何构造器内部,整个对象可能只是部分形成——我们只知道基类对象以及初始化。如果构造器只是在构建对象的过程中的一个步骤,并且该对象所属的泪是从这个构造器所属的类导出的。那么导出部分在当前构造器正在被嗲用的时刻仍旧是没有被促使的。然而,一个动态绑定的方法调用却会向外深入到继承层次结构内部,它可以调用导出类里的方法。如果我们是在构造器内部这样做,那么就可能会调用某个方法,而这个方法所操纵的成员可能还未进行初始化,这肯定会导致灾难。下面是一个典型的例子:

class Glyph{

       void draw(){

       System.out.println(“Glyph.draw()”);

}

 

Glyph(){

       System.out.println(“Glyph() before draw()”);

       draw();

       System.out.println(“Glyph() after draw()”);

}

}

 

Class RoundGlyph extends Glyph{

       private int radius=1;

       RoundGlyph(int r ){

              radius=r;

              System.out.println(“RoundGlyph. RoundGlyph(),radius=”+radius);

}

void draw(){

       System.out.println(“RoundGlyph.draw(),radius=”+radius);

}

}

 

public class PolyConstructors{

       public static void main(Stringp[] args){

       new RoundGlyph(5);

}

}

/*Output:

Glyph() before draw()

RoundGlyph.draw(),radius=0

Glyph() after draw()

RoundGlyph. RoundGlyph(),radius=5

*/

 

 

  • 1
    点赞
  • 5
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
Java多态实现的底层逻辑是通过动态绑定实现的。具体来说,当一个父类型的引用指向子类型的实例时,编译器会根据引用的类型来确定调用的方法,但是真正的方法实现是在运行时确定的。换句话说,编译器只负责确定调用的方法的签名,而具体执行哪个类的方法则是在运行时根据对象的实际类型决定的。这个过程是通过查找方法表来实现的。方法表是每个类的特定数据结构,它存储了该类的所有方法的地址和其他相关信息。当程序执行过程需要调用方法时,会根据对象的类型在方法表查找对应的方法地址,然后执行该方法。这种动态绑定的机制使得多态能够实现不同类的对象调用同一方法时产生不同的行为方式。<span class="em">1</span><span class="em">2</span><span class="em">3</span> #### 引用[.reference_title] - *1* *2* [Java多态的底层实现原理](https://blog.csdn.net/weixin_42178281/article/details/101635534)[target="_blank" data-report-click={"spm":"1018.2226.3001.9630","extra":{"utm_source":"vip_chatgpt_common_search_pc_result","utm_medium":"distribute.pc_search_result.none-task-cask-2~all~insert_cask~default-1-null.142^v93^chatsearchT3_1"}}] [.reference_item style="max-width: 50%"] - *3* [夯实Java基础系列23:深入理解Java继承、封装、多态的底层实现原理](https://blog.csdn.net/a724888/article/details/101168871)[target="_blank" data-report-click={"spm":"1018.2226.3001.9630","extra":{"utm_source":"vip_chatgpt_common_search_pc_result","utm_medium":"distribute.pc_search_result.none-task-cask-2~all~insert_cask~default-1-null.142^v93^chatsearchT3_1"}}] [.reference_item style="max-width: 50%"] [ .reference_list ]

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值