编译器设计与实现PPT课件5_多态.pptVIP

编译器的设计与实现 ----多态 制作： 张 云 时间：2008-04 加入多态 目标： 在继承的基础上增加多态的支持。 问题：什么是多态？ 从字面上来理解，“多种形态”，即，同样的消息被不同类型的对象接受时导致的完全不同的行为。 多态性是允许你将父对象设置成为和一个或更多的他的子对象相等的技术，赋值之后，父对象就可以根据当前赋值给它的子对象的特性以不同的方式运作（摘自“Delphi4 编程技术内幕”）。 多态性在C++中通过虚函数（virtual function）来实现。 示例 示例 支持多态需要的内容 1 虚函数应该如何运行？ 2 如何实现？ 3 对应的目标代码？ 虚函数应该如何运行 虚函数应该如何运行 Void foo(shape s) { s.draw();// ??_draw(s) } 问题的关键在于：在main()函数中虽然可以保留不同的参数对象的信息；但是在foo()函数中，接收的参数是shape类型的，在执行s.draw();语句的时候如何能够判断出来应该调用哪一个类成员函数呢？（回想一下以前学过的知识，能解决找个问题吗？注意：子类对象可以很容易的被“裁减”成父类对象！） 问题？ 多态性体现在允许将子类类型的指针赋值给父类类型的指针，但是仍旧调用子类定义的操作。（与继承的比较） 也就是说，父类指针可以指向不同的子类对象；根据指向对象的真正类型的不同调用不同的操作。而只能在运行的时候才能去判断到底该指针指向的对象的类型。（思考：为什么编译的时候不能判断出来？） 问题：如何在运行时判定当前对象的指针所指的对象类型？ 解决 关键字virtual ? 表示与普通成员函数的不同 Vitual table ? 记录类中所有虚函数的入口地址；根据函数地址调用正确的函数 Vpointer(vptr) ? 指向虚函数表，从而可以在运行的时候查找虚函数代码的地址。在给类对象分配空间的时候需要分配这样一个指针的空间大小，用来存放虚指针 关键字virtual Virtual table vptr 为每个带有虚函数的类构造一个虚函数表，Vtable 在Vtable中按顺序存储每个虚函数的相关信息(包括函数代码的入口地址信息) 在类中记录指向虚函数表的指针vptr 图示如下： 设计 修改符号表 对象模型 虚指针与虚表 虚表什么时候创建？ 虚指针什么时候赋值？ 符号表中虚指针什么时候赋值？ 创建对象时，对象模型中的虚指针的内容从哪里得到？ 目标代码生成 Void foo(shape s) { s.draw();// ??_draw(s) } 小结 思考 重载与多态有什么不同？ Java 中多态的实现 * * Class shape { int a; virtual void draw() { a=0; cout“shape”endl; } } Class line : class shape { Void draw() { a = 1; cout“line”endl; } } Class circle : class shape { Void draw() { a = 2; cout“circle”endl; } } Void foo(shape s) { s.draw(); //cout“a=”s.aendl; } Void main() { Shape s = new shape(); shape l= new line(); shape c = new circle(); Foo(s); Foo(l); Foo(c); } Class shape { int a; virtual void draw() { a=0; cout“shape”endl; } } Class line : class shape { Void draw() { a = 1; cout“line”endl; } } Class circle : class shape { Void draw() { a = 2; cout“circle”endl; } } Void foo(shape s) { s.draw(); //cout“a=”s.aendl; } Void main() { Shape s = new shape(); shape l= new line(); shape c = new circle(); Foo(s); Foo(l); Foo(c); } 在foo()函数中，接收的参数时