(转)面向对象最核心的机制——动态绑定(多态)

一、面向对象最核心的机制——动态绑定,也叫多态

  

1.1.通过下面的例子理解动态绑定,即多态

  1 package javastudy.summary;
  2
  3 class Animal {
  4     /**
  5      * 声明一个私有的成员变量name。
  6      */
  7     private String name;
  8
  9     /**
 10      * 在Animal类自定义的构造方法
 11      * @param name
 12      */
 13     Animal(String name) {
 14         this.name = name;
 15     }
 16
 17     /**
 18      * 在Animal类里面自定义一个方法enjoy
 19      */
 20     public void enjoy() {
 21         System.out.println("动物的叫声……");
 22     }
 23 }
 24
 25 /**
 26  * 子类Cat从父类Animal继承下来,Cat类拥有了Animal类所有的属性和方法。
 27  * @author gacl
 28  *
 29  */
 30 class Cat extends Animal {
 31     /**
 32      * 在子类Cat里面定义自己的私有成员变量
 33      */
 34     private String eyesColor;
 35
 36     /**
 37      * 在子类Cat里面定义Cat类的构造方法
 38      * @param n
 39      * @param c
 40      */
 41     Cat(String n, String c) {
 42         /**
 43          * 在构造方法的实现里面首先使用super调用父类Animal的构造方法Animal(String name)。
 44          * 把子类对象里面的父类对象先造出来。
 45          */
 46         super(n);
 47         eyesColor = c;
 48     }
 49
 50     /**
 51      * 子类Cat对从父类Animal继承下来的enjoy方法不满意,在这里重写了enjoy方法。
 52      */
 53     public void enjoy() {
 54         System.out.println("我养的猫高兴地叫了一声……");
 55     }
 56 }
 57
 58 /**
 59  * 子类Dog从父类Animal继承下来,Dog类拥有了Animal类所有的属性和方法。
 60  * @author gacl
 61  *
 62  */
 63 class Dog extends Animal {
 64     /**
 65      * 在子类Dog里面定义自己的私有成员变量
 66      */
 67     private String furColor;
 68
 69     /**
 70      * 在子类Dog里面定义Dog类的构造方法
 71      * @param n
 72      * @param c
 73      */
 74     Dog(String n, String c) {
 75         /**
 76          * 在构造方法的实现里面首先使用super调用父类Animal的构造方法Animal(String name)。
 77          * 把子类对象里面的父类对象先造出来。
 78          */
 79         super(n);
 80         furColor = c;
 81     }
 82
 83     /**
 84      * 子类Dog对从父类Animal继承下来的enjoy方法不满意,在这里重写了enjoy方法。
 85      */
 86     public void enjoy() {
 87         System.out.println("我养的狗高兴地叫了一声……");
 88     }
 89 }
 90
 91 /**
 92  * 子类Bird从父类Animal继承下来,Bird类拥有Animal类所有的属性和方法
 93  * @author gacl
 94  *
 95  */
 96 class Bird extends Animal {
 97     /**
 98      * 在子类Bird里面定义Bird类的构造方法
 99      */
100     Bird() {
101         /**
102          * 在构造方法的实现里面首先使用super调用父类Animal的构造方法Animal(String name)。
103          * 把子类对象里面的父类对象先造出来。
104          */
105         super("bird");
106     }
107
108     /**
109      * 子类Bird对从父类Animal继承下来的enjoy方法不满意,在这里重写了enjoy方法。
110      */
111     public void enjoy() {
112         System.out.println("我养的鸟高兴地叫了一声……");
113     }
114 }
115
116 /**
117  * 定义一个类Lady(女士)
118  * @author gacl
119  *
120  */
121 class Lady {
122     /**
123      * 定义Lady类的私有成员变量name和pet
124      */
125     private String name;
126     private Animal pet;
127
128     /**
129      * 在Lady类里面定义自己的构造方法Lady(),
130      * 这个构造方法有两个参数,分别为String类型的name和Animal类型的pet,
131      * 这里的第二个参数设置成Animal类型可以给我们的程序带来最大的灵活性,
132      * 因为作为养宠物来说,可以养猫,养狗,养鸟,只要是你喜欢的都可以养,
133      * 因此把它设置为父类对象的引用最为灵活。
134      * 因为这个Animal类型的参数是父类对象的引用类型,因此当我们传参数的时候,
135      * 可以把这个父类的子类对象传过去,即传Dog、Cat和Bird等都可以。
136      * @param name
137      * @param pet
138      */
139     Lady(String name, Animal pet) {
140         this.name = name;
141         this.pet = pet;
142     }
143
144     /**
145      * 在Lady类里面自定义一个方法myPetEnjoy()
146      * 方法体内是让Lady对象养的宠物自己调用自己的enjoy()方法发出自己的叫声。
147      */
148     public void myPetEnjoy() {
149         pet.enjoy();
150     }
151 }
152
153 public class TestPolymoph {
154     public static void main(String args[]) {
155         /**
156          * 在堆内存里面new了一只蓝猫对象出来,这个蓝猫对象里面包含有一个父类对象Animal。
157          */
158         Cat c = new Cat("Catname", "blue");
159         /**
160          * 在堆内存里面new了一只黑狗对象出来,这个黑狗对象里面包含有一个父类对象Animal。
161          */
162         Dog d = new Dog("Dogname", "black");
163         /**
164          * 在堆内存里面new了一只小鸟对象出来,这个小鸟对象里面包含有一个父类对象Animal。
165          */
166         Bird b = new Bird();
167
168         /**
169          * 在堆内存里面new出来3个小姑娘,名字分别是l1,l2,l3。
170          * l1养了一只宠物是c(Cat),l2养了一只宠物是d(Dog),l3养了一只宠物是b(Bird)。
171          * 注意:调用Lady类的构造方法时,传递过来的c,d,b是当成Animal来传递的,
172          * 因此使用c,d,b这三个引用对象只能访问父类Animal里面的enjoy()方法。
173          */
174         Lady l1 = new Lady("l1", c);
175         Lady l2 = new Lady("l2", d);
176         Lady l3 = new Lady("l3", b);
177         /**
178          * 这三个小姑娘都调用myPetEnjoy()方法使自己养的宠物高兴地叫起来。
179          */
180         l1.myPetEnjoy();
181         l2.myPetEnjoy();
182         l3.myPetEnjoy();
183     }
184 }

运行结果:

  

1.2.画内存图理解动态绑定(多态)

  首先从main方法的第一句话开始分析:

    Cat c = new Cat("Catname","blue");

  程序执行到这里,栈空间里有一个变量c,c里面装着一系列的值,通过这些值可以找到位于堆内存里面new出来的Cat对象。因此c是Cat对象的一个引用,通过c可以看到这个Cat对象的全部。c指向new出来的Cat对象。在new这个Cat对象的时候,调用了Cat对象的构造方法Cat(String n,String c),定义如下:

    Cat(String n,String c){

      super(n);

      eyesColor=c;

    }

  因此在构造子类对象时首先使用父类对象的引用super调用父类的构造方法Animal(String name),定义如下:

    Animal(String name){

      this.name=name;

    }

  因此会把传过来的字符串“Catname”传递给父类对象的name属性。当Cat(String n,String c)构造方法调用结束后,真真正正在堆内存里面new出了一只Cat,这只Cat里面包含有父类对象Animal,这个Animal对象有自己的属性name,name属性的值为调用父类构造方法时传递过来的字符串Catname。除此之外,这只Cat还有自己的私有成员变量eyesColor,eyesColor属性的属性值为调用子类构造方法时传递过来的字符串blue。所以执行完这句话以后,内存中的布局是栈内存里面有一个引用c,c指向堆内存里面new出来的一只Cat,而这只Cat对象里面又包含有父类对象Animal,Animal对象有自己的属性name,属性值为Catname,Cat除了拥有从Animal类继承下来的name属性外,还拥有一个自己私有的属性eyesColor,属性值为blue。这就是执行完第一句话以后整个内存布局的情况如下图所示:

  

接着看这句话:Lady l1 = new Lady(“l1”,c);

  

  程序执行到这里,首先在栈内存里面多了一个引用变量l1,l1里面装着一个值,通过这个值可以找到在堆内存里面new出来的Lady对象。l1就是这个Lady对象的引用,l1指向Lady对象。在创建Lady对象时,调用Lady类的构造方法:Lady(String name,Animal pet),其定义如下:

  Lady(String name,Animal pet){

    this.name=name;

    this.pet=pet;

  }

  这个构造方法有两个参数,分别是String类型的name和Animal类型的pet,pet参数是一个父类对象的引用类型,这里把l1和c作为实参传递给了构造方法,接着在构造方法里面执行this.name=name,把传递过来的l1由传给Lady对象的name属性,因此Lady对象的name属性值为l1,这里也把前面new出来的那只Cat的引用c传递给了构造方法里面的参数pet,接着在构造方法里面执行this.pet=pet,pet参数又把c传过来的内容传递给Lady对象的pet属性,因此pet属性的属性值就是可以找到Cat对象的地址,因此Lady对象的pet属性也成为了Cat对象的引用对象了,通过pet里面装着的值是可以找到Cat对象的,因此pet也指向了Cat,但并不是全部指向Cat,pet指向的只是位于Cat对象内部的Animal对象,这是因为在调用构造方法时,是把c当成一个Animal对象的引用传过来的,把c作为一个Animal对象传递给了pet,所以得到的pet也是一个Animal对象的引用,因此这个pet引用指向的只能是位于Cat对象里面的Animal对象。在我pet引用对象眼里,你Cat对象就是一只普通的Animal,访问你的时候只能访问得到你里面的name属性,而你的eyesColor属性我是访问不到的,我能访问到你的name属性,访问的是位于你内部里面的父对象的name属性,因为我pet引用本身就是一个父类对象的引用,因此我可以访问父类对象的全部属性,而你子类对象Cat自己新增加的成员我pet引用是访问不了的。不过现在我pet引用不去访问你父类对象的成员变量name了,而是去访问你的成员方法enjoy了。首先是使用Lady对象的引用l1去调用Lady对象的myPetEnjoy()方法,myPetEnjoy()方法定义如下:

  public void myPetEnjoy(){

    pet.enjoy();

  }

  然后在myPetEnjoy()方法体里面又使用pet引用对象去调用父类对象里面的enjoy方法。

  方法是放在代码区(code seg)里面的,里面的方法就是一句句代码。因此当使用pet引用去访问父类对象的方法时,首先是找到这个父类对象,然后看看它里面的方法到底在哪里存着,找到那个方法再去执行。这里头就比较有意思了,code seg里面有很多个enjoy方法,有父类的enjoy()方法,也有子类重写了从父类继续下来的enjoy()方法,那么调用的时候到底调用的是哪一个呢?是根据谁来确定呢?注意:这是根据你实际当中的对象来确定的,你实际当中new出来的是谁,就调用谁的enjoy方法,当你找这个方法的时候,通过pet引用能找得到这个方法,但调用代码区里面的哪一个enjoy方法不是通过引用类型来确定的,如果是通过引用类型pet来确定,那么调用的肯定是Animal的enjoy()方法,可是现在是根据实际的类型来确定,我们的程序运行以后才在堆内存里面创建出一只Cat,然后根据你实际当中new出来的类型来判断我到底应该调用哪一个enjoy()方法。如果是根据实际类型,那么调用的就应该是Cat的enjoy()方法。如果是根据引用类型,那么调用的就应该是Animal的enjoy()方法。现在动态绑定这种机制指的是实际当中new的是什么类型,就调用谁的enjoy方法。所以说虽然你是根据我父类里面的enjoy方法来调用,可是实际当中却是你new的是谁调用的就是谁的enjoy()方法。即实际当中调用的却是子类里面重写后的那个enjoy方法。当然,讲一点更深的机制,你实际当中找这个enjoy方法的时候,在父类对象的内部有一个enjoy方法的指针,指针指向代码区里面父类的Animal的enjoy方法,只不过当你new这个对象的时候,这个指针随之改变,你new的是什么对象,这个指针就指向这个对象重写后的那个enjoy方法,所以这就叫做动态绑定。只有在动起来的时候,也就是在程序运行期间,new出了这个对象了以后你才能确定到底要调用哪一个方法。我实际当中的地址才会绑定到相应的方法的地址上面,所以叫动态绑定。调这个方法的时候,只要你这个方法重写了,实际当中调哪一个,要看你实际当中new的是哪个对象,这就叫多态,也叫动态绑定。动态绑定带来莫大的好处是使程序的可扩展性达到了最好,我们原来做这个可扩展性的时候,首先都是要在方法里面判断一下这只动物是哪一类里面的动物,通过if (object instanceof class)这样的条件来判断这个new出来的对象到底是属于哪一个类里面的,如果是一只猫,就调用猫的enjoy方法,如果是一条狗,就调用狗的enjoy方法。如果我现在增加了一个Bird类,那么扩展的时候,你又得在方法里面写判断这只鸟属于哪一个类然后才能调用这只鸟的enjoy方法。每增加一个对象,你都要在方法里面增加一段判断这个对象到底属于哪个类里面的代码然后才能执行这个对象相应的方法。即每增加一个新的对象,都要改变方法里面的处理代码,而现在,你不需要再改变方法里面的处理代码了,因为有了动态绑定。你要增加哪一个对象,你实际当中把这个对象new出来就完了,不再用去修改对象的处理方法里面的代码了。也就是当你实际当中要增加别的东西的时候,很简单,你直接加上去就成了,不用去改原来的结构,你要在你们家大楼的旁边盖一个厨房,很简单,直接在旁边一盖就行了,大楼的主要支柱什么的你都不用动,这就可以让可扩展性达到了极致,这就为将来的可扩展打下了基础,也只有动态绑定(多态)这种机制能帮助我们做到这一点——让程序的可扩展性达到极致。因此动态绑定是面向对象的核心,如果没有动态绑定,那么面向对象绝对不可能发展得像现在这么流行,所以动态绑定是面向对象核心中的核心。

  总结动态绑定(多态):动态绑定是指在“执行期间”(而非编译期间)判断所引用的实际对象类型,根据其实际的类型调用其相应的方法。所以实际当中找要调用的方法时是动态的去找的,new的是谁就找谁的方法,这就叫动态绑定。动态绑定帮助我们的程序的可扩展性达到了极致。

多态的存在有三个必要的条件:

  1. 要有继承(两个类之间存在继承关系,子类继承父类)
  2. 要有重写(在子类里面重写从父类继承下来的方法)
  3. 父类引用指向子类对象

  这三个条件一旦满足,当你调用父类里面被重写的方法的时候,实际当中new的是哪个子类对象,就调用子类对象的方法(这个方法是从父类继承下来后重写后的方法)。

  面向对象比较强调类和类之间,对象和对象之间的一种组织关系,如果能把这种组织关系组织得比较好的话,你的程序想扩展性比较好,比较健壮,维护性比较好这些都可以达到,关键看你的设计到底好还是不好。

这里感谢孤傲苍狼的指导。

时间: 2024-10-10 09:25:31

(转)面向对象最核心的机制——动态绑定(多态)的相关文章

C#中面向对象编程机制之多态学习笔记

C#的多态性: 我的理解是:同一个操作,作用于不同的对象时,会有不同的结果,即同一个方法根据需要,作用于不同的对象时,会有不同的实现. C#的多态包括:接口多态,继承多态. 其中继承多态又包括通过虚拟方法实现的多态和通过抽象方法实现的多态性 例如:基类动物都有吃的方法,但是不同的动物吃的东西就会不一样,例如狼吃肉,羊吃草,这样"吃"的这个方法就要在派生类里面重新实现以下,运行时,通过指向基类的指针,来调用实现派生类中的方法. 接下来举例实现多态性. 1. 接口多态性 把动物"

面向对象(一)—继承与多态

又一次深入的学习设计模式,发现了很多以前感觉不是问题的问题,这才发现原来自己不是真的理解了.通过这次的深入学习,才开始慢慢感受到OO的魅力所在. 从C#学习到设计模式,再到机房收费系统个人版和合作版,再到我们做的项目,我们真正的朝着面向对象编程了吗?我的项目中,先不说泛型.委托.集合的利用率,就是基本的继承.多态用的少之又少. 下面将为大家解说"OO引领编程"之--继承和多态 继承篇 一.简介 俗话说:龙生龙凤生凤,老鼠的儿子会打洞.可以理解为,继承就是小辈拥有父辈流传下来的东西. 在

C++ Primer 学习笔记33_面向对象编程(4)--虚函数与多态(一):多态、派生类重定义、虚函数的访问、 . 和->的区别、虚析构函数、object slicing与虚函数

C++ Primer学习笔记33_面向对象编程(4)--虚函数与多态(一):多态.派生类重定义.虚函数的访问. . 和->的区别.虚析构函数.object slicing与虚函数 一.多态 多态可以简单地概括为"一个接口,多种方法",前面讲过的重载就是一种简单的多态,一个函数名(调用接口)对应着几个不同的函数原型(方法). 更通俗的说,多态行是指同一个操作作用于不同的对象就会产生不同的响应.或者说,多态性是指发出同样的消息被不同类型的对象接收时有可能导致完全不同的行为. 多态行分

C++ Primer 学习笔记_35_面向对象编程(6)--虚函数与多态(三):虚函数表指针(vptr)及虚基类表指针(bptr)、C++对象模型

C++ Primer 学习笔记_35_面向对象编程(6)--虚函数与多态(三):虚函数表指针(vptr)及虚基类表指针(bptr).C++对象模型 一.虚函数表指针(vptr)及虚基类表指针(bptr) C++在布局以及存取时间上主要的额外负担是由virtual引起的,包括: virtual function机制:用以支持一个有效率的"执行期绑定": virtual base class:用以实现多次在继承体系中的基类,有一个单一而被共享的实体. 1.虚函数表指针 C++中,有两种数据

C#面向对象的核心概念

一.面向对象的核心概念 (一)抽象--面向对象的根基 讲到抽象,不得不涉及到现代科学技术的基础--数学. 数学是一门抽象的科学,面对着纷繁复杂的世间万物,数学不理会各种事物的独特特性,而只抽取它们在数量上的特性,深刻揭示了"世间万物"在数量上表现出的共同规律,抽象正是数学的本质特征. 数学的一个分支--离散数学是计算机科学的根基之一,因此,计算机科学从诞生之日起,就与数学有着密不可分的联系,抽象思维也是计算机科学的主要思维方法之一. 在使用面向对象的方法设计一个软件系统时,首先就要区分

面向对象的核心概念

1.面向对象的核心概念 从理论上说,面向对象技术拥有四大基本特性. (1)封装 这是一种隐藏信息的特征.封装这一特性不仅大大提高了代码的易用性,而且还使得类的开发者可以方便的更换新的算法,这种变化不会影响使用类的外部代码.可以用以下公式展示类的封装特性: 封装的类=数据+对此数据所进行的操作(即算法) 通俗的说,封装就是:包起外界不必需要知道的东西,只向外界展露可供展示的东西. 在面向对象理论中,封装这个概念拥有更为宽广的含义.小到一个简单的数据结构,大到一个完整的软件子系统,静态的如某软件系统

面向对象的核心思想

个人觉得面向对象的核心思想的重点,是当我们面向一个对象(事或物)时,应该思考该对象的数据构成方式以及该对象与其他对象之间的互动模式. 面向对象其实是一个对问题对象的数据构成方式的新思想,由最原始的数据类型(整形.字符串.浮点型等) → 数组(线性) → 多维数组 → 集合(C#中的ArrayList) → 哈希表 → 类及实例化(类的属性.索引器) → 类的继承,体现了面向对象的数据构成的复合性.对于那些对象的多态.反射.重用等功能,我觉得这些都是为类及实例化能完成更复杂的对象与场景之间的关系进

面向对象的核心基础

================ 面向对象的核心基础 ====================注意: 标识符    1.定义必须有意义    2.以字母,下划线,$符号开头,其他内容不能包含特征符号    3.类名首字母必须大写,方法名和属性名首字母必须小写,使用驼峰命名方式    4.常量所有字符都必须大写,如果多个单词之间使用下划线分割 一.什么是对象       现实:具有明确定义的行为和特征的一类事物       程序: 堆内存中分配内容空间       具体类的实例.二.什么类 类:

Java 动态绑定/多态

class Point { int x = 0, y = 0; //父类成员Var public void move(int x,int y){ this.x += x; this.y += y; } public int getX(){ return x; } public int getY(){ return y; } } class RealPoint extends Point { float x = 0.0f ,y = 0.0f; //子类成员Var , 与父类同名,隐藏父类成员Var