5第五讲--运行时类型识别.ppt

第五讲 运行时类型识别;*; ; 和很多其他语言一样，C++是一种静态类型语言。其数据类型是在编译期就确定的，不能在运行时更改。然而由于面向对象程序设计中多态性的要求，C++中的指针或引用(Reference)本身的类型，可能与它实际代表(指向或引用)的类型并不一致。我们往往需要将一个多态指针转换为其实际指向对象的类型，就需要知道运行时的类型信息，这就产生了运行时类型识别的要求。 ; 上面是一个典型的类继承关系图，基类在上，派生类向下生长。面向对象程序设计的一般目标就是用代码管理指向基类的指针。所以如果想增加一个新类来扩充程序（比如从shape中派生出rhomboid），代码体部分并不受影响。; 在上例中，shape接口部分的虚函数是draw(),其目的就是让用户通过一个shape指针来调用draw()，draw()在所有的派生类中都被重新定义。由于它是一个虚函数，所以即使是用一个shape()型的指针来调用它，它仍然会被正确调用。创建一个特定的对象（circle、square、triangle），取其地址并把它映射到shape*（忘掉对象的实际类型），然后在程序的其它地方使用这个匿名指针——这种从多个派生类到基类的映射叫做向上映射。; 假如在编程中遇到了特殊的需求，需要知道一个一般指针的准确类型，该怎么办？ 比如，假设允许我们的用户将任一形状变成紫色来表示加亮。用这种方法，他们可以发现屏幕上的所有三角形都被加亮。我们可能自然地想到用虚函数，像TurnColorIfYouAreA ( )，它允许一些种类颜色的枚举型参数和shape::circle、shape::square或shape::triangle参数。 ; 为了解决这种问题，多数类库设计者会把虚函数放在基类中，使运行时返回特定对象的类型信息。我们可能见过一些名字为isA( )和typeOf() 之类的成员函数，这些就是开发商定义的RTTI函数。使用这些函数，当处理一个对象列表时就可以说：“如果这个对象是triangle类的，就把它变成紫色。” ;*;*; 2. RTTI的两种使用方法: 使用RTTI有两种方法。第一种就像sizeof()，它看上就像一个函数。但实际上它是由编译器实现的。typeid()带有一个参数，它可以是一个对象引用或指针，返回全局typeinfo类的常量对象的一个引用。可以用运算符“= =”和“!=”来互相比较这些对象。也可以用name()来获得类型的名称。注意，如果给typeid()传递一个shape*型参数，它会认为类型为shape*，所以如果想知道一个指针所指对象的精确类型，我们必须逆向引用这个指针。比如，s是个shape* ,那么： cout typeid(*s).name()endl; 将显示出s所指向的对象类型。; 为了保持一致性，typeid()也可以用于内部类型，所以下面的表达式结果为true: typeid(47) == typeid(int) typeid(0) == typeid(int) int i; typeid(i) == typeid(int) typeid(i) ==typeid(int*);*; RTTI的第二个用法叫“安全类型向下映射”。之所以用“向下映射”这个词也是由于类继承的排列顺序。如果映射一个circle*到shape*叫向上映射的话，那么将一个shape*映射成一个circle*就叫向下映射了。当然一个circle*也是一个shape*，编译器允许任意的向上映射，但一个shape*不一定就是circle*，所以编译器在没有明确的类型映射时并不允许我们完成一个向下映射任务。; 向下映射的一般方法是：创建一个函数来试着将shape*指派为一个circle * (在本例中)，检查执行过程中的数据类型。如果这个函数返回一个非空地址，则成功；如果返回null，说明我们并没有一个circle*对象。 C++的RTTI的“安全类型向下映射”就是按照这种“试探映射”函数的格式，但它（非常合理地）用模板语法来产生这个特殊的动态映射函数（dynamic_cast）所以本例变成： shape* sp=new circle; circle* cp=dyn