精华内容
下载资源
问答
  • java中实现多态机制Java系列2021.pdf
  • java 笔试 java中实现多态机制是什么

    分享一下我老师大神的人工智能教程!零基础,通俗易懂!http://blog.csdn.net/jiangjunshow

    也欢迎大家转载本篇文章。分享知识,造福人民,实现我们中华民族伟大复兴!

                   

    java中实现多态的机制是什么?


    答:方法的重写Overriding和重载Overloading是Java多态性的不同表现.

     

    重写Overriding是父类与子类之间多态性的一种表现

     

    重载Overloading是一个类中多态性的一种表现.

               

    给我老师的人工智能教程打call!http://blog.csdn.net/jiangjunshow

    这里写图片描述
    展开全文
  • java中实现多态机制

    千次阅读 2018-05-28 15:09:21
    在Java运行时多态性:继承和接口的实现一文,我们曾详细介绍了Java实现运行时多态性的动态方法调度;今天我们再次深入Java核心,一起学习Java多态性的实现。“polymorphism(多态)”一词来自希腊语,意为“多种...

    多态性是面向对象程序设计代码重用的一个重要机制,我们曾不只一次的提到Java多态性。在Java运行时多态性:继承和接口的实现一文中,我们曾详细介绍了Java实现运行时多态性的动态方法调度;今天我们再次深入Java核心,一起学习Java中多态性的实现。

    “polymorphism(多态)”一词来自希腊语,意为“多种形式”。多数Java程序员把多态看作对象的一种能力,使其能调用正确的方法版本。尽管如此,这种面向实现的观点导致了多态的神奇功能,胜于仅仅把多态看成纯粹的概念。

    Java中的多态总是子类型的多态。几乎是机械式产生了一些多态的行为,使我们不去考虑其中涉及的类型问题。本文研究了一种面向类型的对象观点,分 析了如何将对象能够 表现的行为和对象即将表现的行为分离开来。抛开Java中的多态都是来自继承的概念,我们仍然可以感到,Java中的接口是一组没有公共代码的对象共享实 现。

    多态的分类

    多态在面向对象语言中是个很普遍的概念.虽然我们经常把多态混为一谈,但实际上 有四种不同类型的多态。在开始正式的子类型多态的细节讨论前,然我们先来看看普通面向对象中的多态。

    Luca Cardelli和Peter Wegner("On Understanding Types, Data Abstraction, and Polymorphism"一文的作者, 文章参考资源链接)把多态分为两大类----特定的和通用的----四小类:强制的,重载的,参数的和包含的。他们的结构如下:

    Java中多态的类型结构

    在这样一个体系中,多态表现出多种形式的能力。通用多态引用有 相同结构类型的大量对象,他们有着共同的特征。特定的多态涉及的是小部分没有相同特征的对象。四种多态可做以下描述:

    ◆强制的:一种隐 式做类型转换的方法。

    ◆重载的:将一个标志符用作多个意义。

    ◆参数的:为不同类型的参数提供相同的操作。

    ◆包含的:类包含关系的抽象操作。

    我将在讲述子类型多态前简单介绍一下这几种多态。

    强制的多态

    强制多态隐式的将参数按某种方法,转换成编译器认为正确的类型以避免错误。在以下的表达式中,编译器必须决定二元运算符‘+’所应做的工作:

    2.0 + 2.0

    2.0 + 2

    2.0 + "2"

    第一个表达式将两个double的 操作数相加;Java中特别声明了这种用法。

    第二个表达式将double型和int相加。Java中没有明确定义这种运算。不过,编 译器隐式的将第二个操作数转换为double型,并作double型的加法。做对程序员来说十分方便,否则将会抛出一个编译错误,或者强制程序员显式的将 int转换为double。

    第三个表达式将double与一个String相加。Java中同样没有定义这样的操作。所以,编译器将 double转换成String类型,并将他们做串联。

    强制多态也会发生在方法调用中。假设类Derived继承了类Base,类C 有一个方法,原型为m(Base),在下面的代码中,编译器隐式的将Derived类的对象derived转化为Base类的对象。这种隐式的转换使 m(Base)方法使用所有能转换成Base类的所有参数。

    1. C c = new C();  
    2.  
    3. Derived derived = new Derived();  
    4.  
    5. c.m( derived );  

    并且,隐式的强制转换,可以避免 类型转换的麻烦,减少编译错误。当然,编译器仍然会优先验证符合定义的对象类型。

    重载的多态

    重载 允许用相同的运算符或方法,去表示截然不同的意义。‘+’在上面的程序中有两个意思:两个double型的数相加;两个串相连。另外还有整型相加,长整 型,等等。这些运算符的重载,依赖于编译器根据上下文做出的选择。以往的编译器会把操作数隐式转换为完全符合操作符的类型。虽然Java明确支持重载,但 不支持用户定义的操作符重载。

    Java支持用户定义的函数重载。一个类中可以有相同名字的方法,这些方法可以有不同的意义。这些重载 的方法中,必须满足参数数目不同,相同位置上的参数类型不同。这些不同可以帮助编译器区分不同版本的方法。

    编译器以这种唯一表示的特 征来表示不同的方法,比用名字表示更为有效。据此,所有的多态行为都能编译通过。

    强制和重载的多态都被分类为特定的多态,因为这些多 态都是在特定的意义上的。这些被划入多态的特性给程序员带来了很大的方便。强制多态排除了麻烦的类型和编译错误。重载多态像一块糖,允许程序员用相同的名 字表示不同的方法,很方便。

    参数的多态

    参数多态允许把许多类型抽象成单一的表示。例如,List 抽象类中,描述了一组具有同样特征的对象,提供了一个通用的模板。你可以通过指定一种类型以重用这个抽象类。这些参数可以是任何用户定义的类型,大量的用 户可以使用这个抽象类,因此参数多态毫无疑问的成为最强大的多态。

    乍一看,上面抽象类好像是java.util.List的功能。然 而,Java实际上并不支持真正的安全类型风格的参数多态,这也是java.util.List和java.util的其他集合类是用原始的 java.lang.Object写的原因(参考我的文章"A Primordial Interface?" 以获得更多细节)。Java的单根继承方式解决了部分问题,但没有发挥出参数多态的全部功能。Eric Allen有一篇精彩的文章“Behold the Power of Parametric Polymorphism”,描述了Java通用类型的需求,并建议给Sun的Java规格需求#000014号文档"Add Generic Types to the Java Programming Language."(参考资源链接)

    包含的多态

    包含多态通过值的类型和集合的包含关系实现了多态的行为.在包括Java在内的众多面向对象语言中,包含关系是子类型的。所以,Java的包含多态是子 类型的多态。

    在早期,Java开发者们所提及的多态就特指子类型的多态。通过一种面向类型的观点,我们可以看到子类型多态的强大功 能。以下的文章中我们将仔细探讨这个问题。为简明起见,下文中的多态均指包含多态。

    面向类型观点

    图1的UML类图给出了类和类型的简单继承关系,以便于解释多 态机制。模型中包含5种类型,4个类和一个接口。虽然UML中称为类图,我把它看成类型图。如"Thanks Type and Gentle Class," 一文中所述,每个类和接口都是一种用户定义的类型。按独立实现的观点(如面向类型的观点),下图中的每个矩形代表一种类型。从实现方法看,四种类型运用了 类的结构,一种运用了接口的结构。

    图1:示范代码的UML类图 
    图1:示范代码的UML类图

    以下的代码实现了每个用户 定义的数据类型,我把实现写得很简单。

    用这样的类型声明和类的定义,图2从概念的观点描述了Java指令。

    Derived2 derived2 = new Derived2();

    图2 :Derived2 对象上的引用 
    图2 :Derived2 对象上的引用

    上文中声明了 derived2这个对象,它是Derived2类的。图2种的最顶层把Derived2引用描述成一个集合的窗口,虽然其下的Derived2对象是可 见的。这里为每个Derived2类型的操作留了一个孔。Derived2对象的每个操作都去映射适当的代码,按照上面的代码所描述的那样。例 如,Derived2对象映射了在Derived中定义的m1()方法。而且还重载了Base类的m1()方法。一个Derived2的引用变量无权访问 Base类中被重载的m1()方法。但这并不意味着不可以用super.m1()的方法调用去使用这个方法。关系到derived2这个引用的变量,这个 代码是不合适的。Derived2的其他的操作映射同样表明了每种类型操作的代码执行。

    既然你有一个Derived2对象,可以用任 何一个Derived2类型的变量去引用它。如图1所示,Derived, Base和IType都是Derived2的基类。所以,Base类的引用是很有用的。图3描述了以下语句的概念观点。

    Base base = derived2;

     

    图3:Base类引用附于Derived2对象之上 
    图3:Base类引用附于Derived2对象之上

    虽然Base类的引用不用再访问m3()和m4(),但是却不会改变它Derived2对象的任何特征及操作映射。无论是变量derived2还是 base,其调用m1()或m2(String)所执行的代码都是一样的。

    两个引用之所以调用同一个行为,是因为Derived2对象并不知道去调用哪个方法。对 象只知道什么时候调用,它随着继承实现的顺序去执行。这样的顺序决定了Derived2对象调用Derived里的m1()方法,并调用Derived2 里的m2(String)方法。这种结果取决于对象本身的类型,而不是引用的类型。

    尽管如此,但不意味着你用derived2和 base引用的效果是完全一样的。如图3所示,Base的引用只能看到Base类型拥有的操作。所以,虽然Derived2有对方法m3()和m4()的 映射,但是变量base不能访问这些方法。

    运行期的Derived2对象保持了接受m3()和m4()方法的能力。类型的限制使 Base的引用不能在编译期调用这些方法。编译期的类型检查像一套铠甲,保证了运行期对象只能和正确的操作进行相互作用。换句话说,类型定义了对象间相互 作用的边界。

    多态的依附性

    类型的一致性是多态的核心。对象上的每一个引用,静态的类型检查器都要确认这样的依附和其对象的层次是一致的。当一个引用成功的依附于另一个不同的 对象 时,有趣的多态现象就产生了。(严格的说,对象类型是指类的定义。)你也可以把几个不同的引用依附于同一个对象。在开始更有趣的场景前,我们先来看一下下 面的情况为什么不会产生多态。

    多个引用依附于一个对象

    图2和图3描述的例子是把两个及两个以上的 引用依附于一个对象。虽然Derived2对象在被依附之后仍保持了变量的类型,但是,图3中的Base类型的引用依附之后,其功能减少了。结论很明显: 把一个基类的引用依附于派生类的对象之上会减少其能力。

    一个开发这怎么会选择减少对象能力的方案呢?这种选择是间接的。假设有一个名 为ref的引用依附于一个包含如下方法的类的对象:

    用一个Derived2的参数调用poly(Base)是符合参数类型检查的:

    方法调用把一个本地Base类型的变量依附在一个引入的对象上。所以,虽然这个方法只接 受Base类型的参数,但Derived2对象仍是允许的。开发这就不必选择丢失功能的方案。从人眼在通过Derived2对象时所看到的情况,Base 类型引用的依附导致了功能的丧失。但从执行的观点看,每一个传入poly1(Base)的参数都认为是Base的对象。执行机并不在乎有多个引用指向同一 个对象,它只注重把指向另一个对象的引用传给方法。这些对象的类型不一致并不是主要问题。执行器只关心给运行时的对象找到适当的实现。面向类型的观点展示 了多态的巨大能力。

    附于多个对象的引用

    让我们来看一下发生在poly1(Base)中的多态行 为。下面的代码创建了三个对象,并通过引用传给poly1(Base):

    poly1(Base)的实现代码是调用传进来的参数的m1()方法。图3和图4展示了 把三个类的对象传给方法时,面向类型的所使用的体系结构。

    图4:将Base引用指向Derived类,以及Base对象 
    图4:将Base引用指向Derived类,以及Base对象

    请注意每个图中方法m1()的映射。图3中,m1()调用了Derived类的代码;上面代码中的注释标明了ploy1(Base)调用 Derived.m1()。图4中Derived对象调用的仍然是Derived类的m1()方法。最后,图4中,Base对象调用的m1()是Base 类中定义的代码。

    多态的魅力何在?再来看一下poly1(Base)的代码,它可以接受任何属于Base类范畴的参数。然而,当他收 到一个Derived2的对象时,它实际上却调用了Derived版本的方法。当你根据Base类派生出其他类时,如 Derived,Derived2,poly1(Base)都可以接受这些参数,并作出选择调用合适的方法。多态允许你在完成poly1(Base)后扩 展它的用途。

    这看起来当然很神奇。基本的理解展示了多态的内部工作原理。在面向类型的观点中,底层的对象所实现的代码是非实质性的。 重要的是,类型检查器会在编译期间为每个引用选择合适的代码以实现其方法。多态使开发者运用面向类型的观点,不考虑实现的细节。这样有助于把类型和实现分 离(实际用处是把接口和实现分离)。

    对象接口

    多态依赖于类型和实现的分离,多用来把接口和实现分离。但下面的观点好像把Java的关键字 interface搞得很糊涂。

    更为重要的使开发者们怎样理解短语“the interface to an object",典型地,根据上下文,这个短语的意思是指一切对象类中所定义的方法,至一切对象公开的方法。这种倾向于以实现为中心的观点较之于面向类型 的观点来说,使我们更加注重于对象在运行期的能力。图3中,引用面板的对象表面被标志成"Derived2 Object"。这个面板上列出了Derived2对象的所有可用的方法。但是要理解多态,我们必须从实现这一层次上解放出来,并注意面向类型的透视图中 被标为"Base Reference"的面板。在这一层意思上,引用变量的类型指明了一个对象的表面。这只是一个表面,不是接口。在类型一致的原则下,我们可以用面向类型 的观点,为一个对象依附多个引用。对interface to an object这个短语的理解没有确定的理解。

    在类型概念 中,the interface to an object refers 引用了面向类型观点的最大可能----如图2的情形。把一个基类的引用指向相同的对象缩小了这样的观点----如图3所示。类型概念能使人获得把对象间的 相互作用同实现细节分离的要领。相对于一个对象的接口,面向类型的观点更鼓励人们去使用一个对象的引用。引用类型规定了对象间的相互作用。当你考虑一个对 象能做什么的时候,只需搞明白他的类型,而不需要去考虑他的实现细节。

    Java接口

    以上所谈到的 多态行为用到了类的继承关系所建立起来的子类型关系。Java接口同样支持用户定义的类型,相对地,Java的接口机制启动了建立在类型层次结构上的多态 行为。假设一个名为ref的引用变量,并使其指向一个包含一下方法的类对象:

    为了弄明白poly2(IType)中的多态,以下的代码从不同的类创建两个对象,并分别把他们传给 poly2(IType):

    上面的代码类似于关于poly1(Base)中的多态的讨论。poly2(IType)的实现代码是调 用每个对象的 本地版本的m3()方法。如同以前,代码的注释表明了每次调用所返回的CString类型的结果。图5表明了两次调用poly2(IType)的概念结 构:

    图5:指向Derived2和Separate对象的IType引用 
    图5:指向Derived2和Separate对象的IType引用

    方法poly1(Base)和poly2(IType)中所表现的多态行为的相似之处可以从透视图中直接看出来。把我们在实现在一层上的理解再提高 一 层,就可以看到这两段代码的技巧。基类的引用指向了作为参数传进的类,并且按照类型的限制调用对象的方法。引用既不知道也不关心执行哪一段代码。编译期间 的子类型关系检查保证了通过的对象有能力在被调用的时候选择合适的实现代码。

    然而,他们在实现层上有一个重要的差别。在 poly1(Base)的例子中(图3和图4),Base-Derived-Derived2的类继承结构为子类型关系的建立提供了条件,并决定了方法去 调用哪段代码。在poly2(IType)的例子中(如图5),则是完全不同的动态发生的。Derived2和Separate不共享任何实现的层次,但 是他们还是通过IType的引用展示了多态的行为。

    这样的多态行为使Java的接口的功能的重大意义显得很明显。图1中的UML类图 说明了Derived是Base和IType的子类型。通过完全脱离实现细节的类型的定义方法,Java实现了多类型继承,并且不存在Java所禁止的多 继承所带来的烦人的问题。完全脱离实现层次的类可以按照Java接口实现分组。在图1中,接口IType和Derived,Separate以及这类型的 其他子类型应该划为一组。

    按照这种完全不同于实现层次的分类方法,Java的接口机制是多态变得很方便,哪怕不存在任何共享的实现或 者复写的方法。如图5所示,一个IType的引用,用多态的方法访问到了Derived2和Separate对象的m3()方法。

    再次探讨对象的接口

    注意图5中的Derived2和Separate对象的对m1()的映射方法。如前所述,每一个对象的接 口都包含方法m1()。但却没有办法用这两个对象使方法m1()表现出多态的行为。每一个对象占有一个m1()方法是不够的。必须存在一个可以操作 m1()方法的类型,通过这个类型可以看到对象。这些对象似乎是共享了m1()方法,但在没有共同基类的条件下,多态是不可能的。通过对象的接口来看多 态,会把这个概念搞混。

    结论

    从全文所述的面向对象多态所建立起来的子类型多态,你可以清楚地认识到这种面向类型的观点。如果你想理解子类型多态的思想,就应该把注意力从实现的细节转移到类型的上。类型把对象分成组,并且管理着这些对象的接口。类型的 继承层次结构决定了实现多态所需的类型关系。

    有趣的是,实现的细节并不影响子类型多态的层次结构。类型决定了对象调用什么方法,而实 现则决定了对象怎么执行这个方法。也就是说,类型表明了责任,而负责实施的则是具体的实现。将实现和类型分离后,我们好像看到了这两个部分在一起跳舞,类 型决定了他的舞伴和舞蹈的名字,而实现则是舞蹈动作的设计师。


    展开全文
  • java中实现多态机制是什么?

    千次阅读 2017-12-29 10:01:05
    java中实现多态机制是什么? 多态性是面向对象程序设计代码重用的一个重要机制,我们曾不只一次的提到Java多态性。在Java运行时多态性:继承和接口的实现一文,我们曾详细介绍了Java实现运行时多态性的...



    java中实现多态的机制是什么?

    多态性是面向对象程序设计代码重用的一个重要机制,我们曾不只一次的提到Java多态性。在Java运行时多态性:继承和接口的实现一文中,我们曾详细介绍了Java实现运行时多态性的动态方法调度;今天我们再次深入Java核心,一起学习Java中多态性的实现。

    “polymorphism(多态)”一词来自希腊语,意为“多种形式”。多数Java程序员把多态看作对象的一种能力,使其能调用正确的方法版本。尽管如此,这种面向实现的观点导致了多态的神奇功能,胜于仅仅把多态看成纯粹的概念。

    Java中的多态总是子类型的多态。几乎是机械式产生了一些多态的行为,使我们不去考虑其中涉及的类型问题。本文研究了一种面向类型的对象观点,分 析了如何将对象能够 表现的行为和对象即将表现的行为分离开来。抛开Java中的多态都是来自继承的概念,我们仍然可以感到,Java中的接口是一组没有公共代码的对象共享实 现。

    多态的分类

    多态在面向对象语言中是个很普遍的概念.虽然我们经常把多态混为一谈,但实际上 有四种不同类型的多态。在开始正式的子类型多态的细节讨论前,然我们先来看看普通面向对象中的多态。

    Luca Cardelli和Peter Wegner("On Understanding Types, Data Abstraction, and Polymorphism"一文的作者, 文章参考资源链接)把多态分为两大类----特定的和通用的----四小类:强制的,重载的,参数的和包含的。他们的结构如下:

    Java中多态的类型结构

    在这样一个体系中,多态表现出多种形式的能力。通用多态引用有 相同结构类型的大量对象,他们有着共同的特征。特定的多态涉及的是小部分没有相同特征的对象。四种多态可做以下描述:

    ◆强制的:一种隐 式做类型转换的方法。

    ◆重载的:将一个标志符用作多个意义。

    ◆参数的:为不同类型的参数提供相同的操作。

    ◆包含的:类包含关系的抽象操作。

    我将在讲述子类型多态前简单介绍一下这几种多态。

    强制的多态

    强制多态隐式的将参数按某种方法,转换成编译器认为正确的类型以避免错误。在以下的表达式中,编译器必须决定二元运算符‘+’所应做的工作:

    2.0 + 2.0

    2.0 + 2

    2.0 + "2"

    第一个表达式将两个double的 操作数相加;Java中特别声明了这种用法。

    第二个表达式将double型和int相加。Java中没有明确定义这种运算。不过,编 译器隐式的将第二个操作数转换为double型,并作double型的加法。做对程序员来说十分方便,否则将会抛出一个编译错误,或者强制程序员显式的将 int转换为double。

    第三个表达式将double与一个String相加。Java中同样没有定义这样的操作。所以,编译器将 double转换成String类型,并将他们做串联。

    强制多态也会发生在方法调用中。假设类Derived继承了类Base,类C 有一个方法,原型为m(Base),在下面的代码中,编译器隐式的将Derived类的对象derived转化为Base类的对象。这种隐式的转换使 m(Base)方法使用所有能转换成Base类的所有参数。

    1. C c = new C();  
    2.  
    3. Derived derived = new Derived();  
    4.  
    5. c.m( derived );  

    并且,隐式的强制转换,可以避免 类型转换的麻烦,减少编译错误。当然,编译器仍然会优先验证符合定义的对象类型。

    重载的多态

    重载 允许用相同的运算符或方法,去表示截然不同的意义。‘+’在上面的程序中有两个意思:两个double型的数相加;两个串相连。另外还有整型相加,长整 型,等等。这些运算符的重载,依赖于编译器根据上下文做出的选择。以往的编译器会把操作数隐式转换为完全符合操作符的类型。虽然Java明确支持重载,但 不支持用户定义的操作符重载。

    Java支持用户定义的函数重载。一个类中可以有相同名字的方法,这些方法可以有不同的意义。这些重载 的方法中,必须满足参数数目不同,相同位置上的参数类型不同。这些不同可以帮助编译器区分不同版本的方法。

    编译器以这种唯一表示的特 征来表示不同的方法,比用名字表示更为有效。据此,所有的多态行为都能编译通过。

    强制和重载的多态都被分类为特定的多态,因为这些多 态都是在特定的意义上的。这些被划入多态的特性给程序员带来了很大的方便。强制多态排除了麻烦的类型和编译错误。重载多态像一块糖,允许程序员用相同的名 字表示不同的方法,很方便。

    参数的多态

    参数多态允许把许多类型抽象成单一的表示。例如,List 抽象类中,描述了一组具有同样特征的对象,提供了一个通用的模板。你可以通过指定一种类型以重用这个抽象类。这些参数可以是任何用户定义的类型,大量的用 户可以使用这个抽象类,因此参数多态毫无疑问的成为最强大的多态。

    乍一看,上面抽象类好像是java.util.List的功能。然 而,Java实际上并不支持真正的安全类型风格的参数多态,这也是java.util.List和java.util的其他集合类是用原始的 java.lang.Object写的原因(参考我的文章"A Primordial Interface?" 以获得更多细节)。Java的单根继承方式解决了部分问题,但没有发挥出参数多态的全部功能。Eric Allen有一篇精彩的文章“Behold the Power of Parametric Polymorphism”,描述了Java通用类型的需求,并建议给Sun的Java规格需求#000014号文档"Add Generic Types to the Java Programming Language."(参考资源链接)

    包含的多态

    包含多态通过值的类型和集合的包含关系实现了多态的行为.在包括Java在内的众多面向对象语言中,包含关系是子类型的。所以,Java的包含多态是子 类型的多态。

    在早期,Java开发者们所提及的多态就特指子类型的多态。通过一种面向类型的观点,我们可以看到子类型多态的强大功 能。以下的文章中我们将仔细探讨这个问题。为简明起见,下文中的多态均指包含多态。

    面向类型观点

    图1的UML类图给出了类和类型的简单继承关系,以便于解释多 态机制。模型中包含5种类型,4个类和一个接口。虽然UML中称为类图,我把它看成类型图。如"Thanks Type and Gentle Class," 一文中所述,每个类和接口都是一种用户定义的类型。按独立实现的观点(如面向类型的观点),下图中的每个矩形代表一种类型。从实现方法看,四种类型运用了 类的结构,一种运用了接口的结构。

    图1:示范代码的UML类图 
    图1:示范代码的UML类图

    以下的代码实现了每个用户 定义的数据类型,我把实现写得很简单。

    用这样的类型声明和类的定义,图2从概念的观点描述了Java指令。

    Derived2 derived2 = new Derived2();

    图2 :Derived2 对象上的引用 
    图2 :Derived2 对象上的引用

    上文中声明了 derived2这个对象,它是Derived2类的。图2种的最顶层把Derived2引用描述成一个集合的窗口,虽然其下的Derived2对象是可 见的。这里为每个Derived2类型的操作留了一个孔。Derived2对象的每个操作都去映射适当的代码,按照上面的代码所描述的那样。例 如,Derived2对象映射了在Derived中定义的m1()方法。而且还重载了Base类的m1()方法。一个Derived2的引用变量无权访问 Base类中被重载的m1()方法。但这并不意味着不可以用super.m1()的方法调用去使用这个方法。关系到derived2这个引用的变量,这个 代码是不合适的。Derived2的其他的操作映射同样表明了每种类型操作的代码执行。

    既然你有一个Derived2对象,可以用任 何一个Derived2类型的变量去引用它。如图1所示,Derived, Base和IType都是Derived2的基类。所以,Base类的引用是很有用的。图3描述了以下语句的概念观点。

    Base base = derived2;

     

    图3:Base类引用附于Derived2对象之上 
    图3:Base类引用附于Derived2对象之上

    虽然Base类的引用不用再访问m3()和m4(),但是却不会改变它Derived2对象的任何特征及操作映射。无论是变量derived2还是 base,其调用m1()或m2(String)所执行的代码都是一样的。

    两个引用之所以调用同一个行为,是因为Derived2对象并不知道去调用哪个方法。对 象只知道什么时候调用,它随着继承实现的顺序去执行。这样的顺序决定了Derived2对象调用Derived里的m1()方法,并调用Derived2 里的m2(String)方法。这种结果取决于对象本身的类型,而不是引用的类型。

    尽管如此,但不意味着你用derived2和 base引用的效果是完全一样的。如图3所示,Base的引用只能看到Base类型拥有的操作。所以,虽然Derived2有对方法m3()和m4()的 映射,但是变量base不能访问这些方法。

    运行期的Derived2对象保持了接受m3()和m4()方法的能力。类型的限制使 Base的引用不能在编译期调用这些方法。编译期的类型检查像一套铠甲,保证了运行期对象只能和正确的操作进行相互作用。换句话说,类型定义了对象间相互 作用的边界。

    多态的依附性

    类型的一致性是多态的核心。对象上的每一个引用,静态的类型检查器都要确认这样的依附和其对象的层次是一致的。当一个引用成功的依附于另一个不同的 对象 时,有趣的多态现象就产生了。(严格的说,对象类型是指类的定义。)你也可以把几个不同的引用依附于同一个对象。在开始更有趣的场景前,我们先来看一下下 面的情况为什么不会产生多态。

    多个引用依附于一个对象

    图2和图3描述的例子是把两个及两个以上的 引用依附于一个对象。虽然Derived2对象在被依附之后仍保持了变量的类型,但是,图3中的Base类型的引用依附之后,其功能减少了。结论很明显: 把一个基类的引用依附于派生类的对象之上会减少其能力。

    一个开发这怎么会选择减少对象能力的方案呢?这种选择是间接的。假设有一个名 为ref的引用依附于一个包含如下方法的类的对象:

    用一个Derived2的参数调用poly(Base)是符合参数类型检查的:

    方法调用把一个本地Base类型的变量依附在一个引入的对象上。所以,虽然这个方法只接 受Base类型的参数,但Derived2对象仍是允许的。开发这就不必选择丢失功能的方案。从人眼在通过Derived2对象时所看到的情况,Base 类型引用的依附导致了功能的丧失。但从执行的观点看,每一个传入poly1(Base)的参数都认为是Base的对象。执行机并不在乎有多个引用指向同一 个对象,它只注重把指向另一个对象的引用传给方法。这些对象的类型不一致并不是主要问题。执行器只关心给运行时的对象找到适当的实现。面向类型的观点展示 了多态的巨大能力。

    附于多个对象的引用

    让我们来看一下发生在poly1(Base)中的多态行 为。下面的代码创建了三个对象,并通过引用传给poly1(Base):

    poly1(Base)的实现代码是调用传进来的参数的m1()方法。图3和图4展示了 把三个类的对象传给方法时,面向类型的所使用的体系结构。

    图4:将Base引用指向Derived类,以及Base对象 
    图4:将Base引用指向Derived类,以及Base对象

    请注意每个图中方法m1()的映射。图3中,m1()调用了Derived类的代码;上面代码中的注释标明了ploy1(Base)调用 Derived.m1()。图4中Derived对象调用的仍然是Derived类的m1()方法。最后,图4中,Base对象调用的m1()是Base 类中定义的代码。

    多态的魅力何在?再来看一下poly1(Base)的代码,它可以接受任何属于Base类范畴的参数。然而,当他收 到一个Derived2的对象时,它实际上却调用了Derived版本的方法。当你根据Base类派生出其他类时,如 Derived,Derived2,poly1(Base)都可以接受这些参数,并作出选择调用合适的方法。多态允许你在完成poly1(Base)后扩 展它的用途。

    这看起来当然很神奇。基本的理解展示了多态的内部工作原理。在面向类型的观点中,底层的对象所实现的代码是非实质性的。 重要的是,类型检查器会在编译期间为每个引用选择合适的代码以实现其方法。多态使开发者运用面向类型的观点,不考虑实现的细节。这样有助于把类型和实现分 离(实际用处是把接口和实现分离)。

    对象接口

    多态依赖于类型和实现的分离,多用来把接口和实现分离。但下面的观点好像把Java的关键字 interface搞得很糊涂。

    更为重要的使开发者们怎样理解短语“the interface to an object",典型地,根据上下文,这个短语的意思是指一切对象类中所定义的方法,至一切对象公开的方法。这种倾向于以实现为中心的观点较之于面向类型 的观点来说,使我们更加注重于对象在运行期的能力。图3中,引用面板的对象表面被标志成"Derived2 Object"。这个面板上列出了Derived2对象的所有可用的方法。但是要理解多态,我们必须从实现这一层次上解放出来,并注意面向类型的透视图中 被标为"Base Reference"的面板。在这一层意思上,引用变量的类型指明了一个对象的表面。这只是一个表面,不是接口。在类型一致的原则下,我们可以用面向类型 的观点,为一个对象依附多个引用。对interface to an object这个短语的理解没有确定的理解。

    在类型概念 中,the interface to an object refers 引用了面向类型观点的最大可能----如图2的情形。把一个基类的引用指向相同的对象缩小了这样的观点----如图3所示。类型概念能使人获得把对象间的 相互作用同实现细节分离的要领。相对于一个对象的接口,面向类型的观点更鼓励人们去使用一个对象的引用。引用类型规定了对象间的相互作用。当你考虑一个对 象能做什么的时候,只需搞明白他的类型,而不需要去考虑他的实现细节。

    Java接口

    以上所谈到的 多态行为用到了类的继承关系所建立起来的子类型关系。Java接口同样支持用户定义的类型,相对地,Java的接口机制启动了建立在类型层次结构上的多态 行为。假设一个名为ref的引用变量,并使其指向一个包含一下方法的类对象:

    为了弄明白poly2(IType)中的多态,以下的代码从不同的类创建两个对象,并分别把他们传给 poly2(IType):

    上面的代码类似于关于poly1(Base)中的多态的讨论。poly2(IType)的实现代码是调 用每个对象的 本地版本的m3()方法。如同以前,代码的注释表明了每次调用所返回的CString类型的结果。图5表明了两次调用poly2(IType)的概念结 构:

    图5:指向Derived2和Separate对象的IType引用 
    图5:指向Derived2和Separate对象的IType引用

    方法poly1(Base)和poly2(IType)中所表现的多态行为的相似之处可以从透视图中直接看出来。把我们在实现在一层上的理解再提高 一 层,就可以看到这两段代码的技巧。基类的引用指向了作为参数传进的类,并且按照类型的限制调用对象的方法。引用既不知道也不关心执行哪一段代码。编译期间 的子类型关系检查保证了通过的对象有能力在被调用的时候选择合适的实现代码。

    然而,他们在实现层上有一个重要的差别。在 poly1(Base)的例子中(图3和图4),Base-Derived-Derived2的类继承结构为子类型关系的建立提供了条件,并决定了方法去 调用哪段代码。在poly2(IType)的例子中(如图5),则是完全不同的动态发生的。Derived2和Separate不共享任何实现的层次,但 是他们还是通过IType的引用展示了多态的行为。

    这样的多态行为使Java的接口的功能的重大意义显得很明显。图1中的UML类图 说明了Derived是Base和IType的子类型。通过完全脱离实现细节的类型的定义方法,Java实现了多类型继承,并且不存在Java所禁止的多 继承所带来的烦人的问题。完全脱离实现层次的类可以按照Java接口实现分组。在图1中,接口IType和Derived,Separate以及这类型的 其他子类型应该划为一组。

    按照这种完全不同于实现层次的分类方法,Java的接口机制是多态变得很方便,哪怕不存在任何共享的实现或 者复写的方法。如图5所示,一个IType的引用,用多态的方法访问到了Derived2和Separate对象的m3()方法。

    再次探讨对象的接口

    注意图5中的Derived2和Separate对象的对m1()的映射方法。如前所述,每一个对象的接 口都包含方法m1()。但却没有办法用这两个对象使方法m1()表现出多态的行为。每一个对象占有一个m1()方法是不够的。必须存在一个可以操作 m1()方法的类型,通过这个类型可以看到对象。这些对象似乎是共享了m1()方法,但在没有共同基类的条件下,多态是不可能的。通过对象的接口来看多 态,会把这个概念搞混。

    结论

    从全文所述的面向对象多态所建立起来的子类型多态,你可以清楚地认识到这种面向类型的观点。如果你想理解子类型多态的思想,就应该把注意力从实现的细节转移到类型的上。类型把对象分成组,并且管理着这些对象的接口。类型的 继承层次结构决定了实现多态所需的类型关系。

    有趣的是,实现的细节并不影响子类型多态的层次结构。类型决定了对象调用什么方法,而实 现则决定了对象怎么执行这个方法。也就是说,类型表明了责任,而负责实施的则是具体的实现。将实现和类型分离后,我们好像看到了这两个部分在一起跳舞,类 型决定了他的舞伴和舞蹈的名字,而实现则是舞蹈动作的设计师。


    展开全文
  • java中实现多态机制是什么?

    千次阅读 2017-11-16 09:29:23
    java中实现多态机制是什么 ? 面向对象编程有三大特性:封装、继承、多态。 封装隐藏了类的内部实现机制,可以在不影响使用的情况下改变类的内部结构,同时也保护了数据。对外界而已它的内部细节是隐藏的,...
                                                                           
    

    java中实现多态的机制是什么

    面向对象编程有三大特性:封装、继承、多态。

    封装隐藏了类的内部实现机制,可以在不影响使用的情况下改变类的内部结构,同时也保护了数据。对外界而已它的内部细节是隐藏的,暴露给外界的只是它的访问方法。

    继承是为了重用父类代码。两个类若存在IS-A的关系就可以使用继承。

     所谓多态就是指程序中定义的引用变量所指向的具体类型和通过该引用变量发出的方法调用在编程时并不确定,而是在程序运行期间才确定,即一个引用变量倒底会指向哪个类的实例对象,该引用变量发出的方法调用到底是哪个类中实现的方法,必须在由程序运行期间才能决定。因为在程序运行时才确定具体的类,这样,不用修改源程序代码,就可以让引用变量绑定到各种不同的类实现上,从而导致该引用调用的具体方法随之改变,即不修改程序代码就可以改变程序运行时所绑定的具体代码,让程序可以选择多个运行状态,这就是多态性。


    但是向上转型存在一些缺憾,那就是它必定会导致一些方法和属性的丢失,而导致我们不能够获取它们。所以父类类型的引用可以调用父类中定义的所有属性和方法,对于只存在与子类中的方法和属性它就望尘莫及了。


    class Wine {
        public void fun1(){
            System.out.println("Wine 的Fun.....");
            fun2();
        }
        
        public void fun2(){
            System.out.println("Wine 的Fun2...");
        }
    }


     class JNC extends Wine{
        /**
         * @desc 子类重载父类方法
         *        父类中不存在该方法,向上转型后,父类是不能引用该方法的
         * @param a
         * @return void
         */
        public void fun1(String a){
            System.out.println("JNC 的 Fun1...");
            fun2();
        }
        
        /**
         * 子类重写父类方法
         * 指向子类的父类引用调用fun2时,必定是调用该方法
         */
        public void fun2(){
            System.out.println("JNC 的Fun2...");
        }
    }

    public class test24 {
        public static void main(String[] args) {
            Wine a = new JNC();
            a.fun1();
        }
    }

    分析:在这个程序中子类JNC重载了父类Wine的方法fun1(),重写fun2(),而且重载后的fun1(String a)与 fun1()不是同一个方法,由于父类中没有该方法,向上转型后会丢失该方法,所以执行JNC的Wine类型引用是不能引用fun1(String a)方法。而子类JNC重写了fun2() ,那么指向JNC的Wine引用会调用JNC中fun2()方法。

    所以对于多态我们可以总结如下:

      指向子类的父类引用由于向上转型了,它只能访问父类中拥有的方法和属性,而对于子类中存在而父类中不存在的方法,该引用是不能使用的,尽管是重载该方法。若子类重写了父类中的某些方法,在调用该些方法的时候,必定是使用子类中定义的这些方法(动态连接、动态调用)。

    多态分为编译时多态运行时多态。其中编辑时多态是静态的主要是指方法的重载,它是根据参数列表的不同来区分不同的函数,通过编辑之后会变成两个不同的函数,在运行时谈不上多态。而运行时多态是动态的,它是通过动态绑定来实现的,也就是我们所说的多态性。

    多态的实现

    Java实现多态有三个必要条件:继承、重写、向上转型。

    继承:在多态中必须存在有继承关系的子类和父类。

    重写:子类对父类中某些方法进行重新定义,在调用这些方法时就会调用子类的方法。

    向上转型:在多态中需要将子类的引用赋给父类对象,只有这样该引用才能够具备技能调用父类的方法和子类的方法。

    只有满足了上述三个条件,我们才能够在同一个继承结构中使用统一的逻辑实现代码处理不同的对象,从而达到执行不同的行为。

    对于Java而言,它多态的实现机制遵循一个原则:当超类对象引用变量引用子类对象时,被引用对象的类型而不是引用变量的类型决定了调用谁的成员方法,但是这个被调用的方法必须是在超类中定义过的,也就是说被子类覆盖的方法。

    实现形式:

    在Java中有两种形式可以实现多态。继承和接口

    class A{
    public String show(D obj){
    return ("A and D");
    }
    public String show(A obj){
    return ("A and A");
    }
    }
    class B extends A{
    public String show(B obj){
    return("B and B");
    }
    public String show(A obj){
    return("B and A");
    }
    }
    class C extends B{}
    class D extends B{}
    public class test25 {
    public static void main(String[] args) {
    A a1=new A();
    A a2=new B();
    B b=new B();
    C c=new C();
    D d=new D();

    System.out.println("1--"+a1.show(b));
    System.out.println("2--"+a1.show(c));
    System.out.println("3--"+a1.show(d));
    System.out.println("4--"+a2.show(b));
    System.out.println("5--"+a2.show(c));
    System.out.println("6--"+a2.show(d));
    System.out.println("7--"+b.show(b));
    System.out.println("8--"+b.show(c));
    System.out.println("9--"+b.show(d));
    }
    }

    结果为:

    1--A and A
    2--A and A
    3--A and D
    4--B and A
    5--B and A
    6--A and D
    7--B and B
    8--B and B
    9--A and D

    当超类对象引用变量引用子类对象时,被引用对象的类型而不是引用变量的类型决定了调用谁的成员方法,但是这个被调用的方法必须是在超类中定义过的,也就是说被子类覆盖的方法。这句话对多态进行了一个概括。其实在继承链中对象方法的调用存在一个优先级:this.show(O)、super.show(O)、this.show((super)O)、super.show((super)O)。

    首先我们分析5,a2.show(c),a2是A类型的引用变量,所以this就代表了A,a2.show(c),它在A类中找发现没有找到,于是到A的超类中找(super),由于A没有超类(Object除外),所以跳到第三级,也就是this.show((super)O),C的超类有B、A,所以(super)O为B、A,this同样是A,这里在A中找到了show(A obj),同时由于a2是B类的一个引用且B类重写了show(A obj),因此最终会调用子类B类的show(A obj)方法,结果也就是B and A。

    方法已经找到了但是我们这里还是存在一点疑问,我们还是来看这句话:当超类对象引用变量引用子类对象时,被引用对象的类型而不是引用变量的类型决定了调用谁的成员方法,但是这个被调用的方法必须是在超类中定义过的,也就是说被子类覆盖的方法。这我们用一个例子来说明这句话所代表的含义:a2.show(b);

    这里a2是引用变量,为A类型,它引用的是B对象,因此按照上面那句话的意思是说有B来决定调用谁的方法,所以a2.show(b)应该要调用B中的show(B obj),产生的结果应该是“B and B”,但是为什么会与前面的运行结果产生差异呢?这里我们忽略了后面那句话“但是这儿被调用的方法必须是在超类中定义过的”,那么show(B obj)在A类中存在吗?根本就不存在!所以这句话在这里不适用?那么难道是这句话错误了?非也!其实这句话还隐含这这句话:它仍然要按照继承链中调用方法的优先级来确认。所以它才会在A类中找到show(A obj),同时由于B重写了该方法所以才会调用B类中的方法,否则就会调用A类中的方法。

    所以多态机制遵循的原则概括为:当超类对象引用变量引用子类对象时,被引用对象的类型而不是引用变量的类型决定了调用谁的成员方法,但是这个被调用的方法必须是在超类中定义过的,也就是说被子类覆盖的方法,但是它仍然要根据继承链中方法调用的优先级来确认方法,该优先级为:this.show(O)、super.show(O)、this.show((super)O)、super.show((super)O)。



    展开全文
  • Java中实现多态机制是什么?多态就是指一个引用变量倒底会指向哪个类的实例对象,该引用变量发出的方法调用到底是哪个类实现的方法,必须在由程序运行期间才能决定。 因为在程序运行时才确定具体的类,这样,...
  • 72、java中实现多态机制是什么? 方法的重写Overriding和重载Overloading是Java多态性的不同表现。 重写Overriding是父类与子类之间多态性的一种表现,重载Overloading是一个类多态性的一种表现。 JAVA面试问题...
  • Java中实现多态机制是什么? 多态就是指一个引用变量倒底会指向哪个类的实例对象,该引用变量发出的方法调用到底是哪个类实现的方法,必须在由程序运行期间才能决定。 因为在程序运行时才确定具体的类,这样,...
  • Java 中实现多态机制是什么? 答:重载(overload)和重写(override) 如果一个子类继承了一个父类,子类拥有和父类相同方法名称,返回值,参数类型的话,就是重写,会执行子类的方法。 如果一个类定义了多个...
  • 父类或接口(定义的引用变量可以)指向子类或具体实现类的实例对象
  • 在Java运行时多态性:继承和接口的实现一文,我们曾详细介绍了Java实现运行时多态性的动态方法调度;今天我们再次深入Java核心,一起学习Java多态性的实现。 “polymorphism(多态)”一词来自希腊语,意为...
  • JAVA中多态机制

    2017-07-19 16:22:08
    JAVA中多态是继数据抽象和继承后的第三种基本特征,多态可以分离做什么和怎么做,将接口和实现分离开来,改善代码的组织结构和可读性,能够方便将来的创建可扩展程序,多态的作用是消除类型之间的耦合性。
  • java中实现多态机制是什么?答:方法的重写Overriding和重载Overloading是Java多态性的不同表现. 重写Overriding是父类与子类之间多态性的一种表现 重载Overloading是一个类多态性的一种表现.
  • 方法的覆盖Overriding 和重载Overloading 是java 多态性的不同表现;覆盖Overriding 是父类与子类之间多态性的一种表现,重载Overloading 是一个类多态性的一种表现。 ...
  • 靠的是父类或接口定义的引用变量可以指向子类或具体实现类的实例对象,而程序调 用的方法在运行时才动态绑定,就是引用变量所指向的具体实例对象的方法,也就是内存里 正在运行的那个对象的方法,而不是引用变量的...

空空如也

空空如也

1 2 3 4 5 ... 20
收藏数 68,153
精华内容 27,261
关键字:

java中实现多态的机制

java 订阅