17章 RTTI和类型转换操作符.pptVIP

第17章 RTTI和类型转换操作符 RTTI，是RunTime Type Identification的缩写，称“运行时类型识别”，这是C++中相对较新的特性，一些老式的编译器可能不支持，不同编译器的实现方法也不尽相同。 17.1 RTTI机制 C++是一种静态类型语言。其数据类型是在编译期就确定的，不能在运行时更改。在第11章中讲述了“多态”的概念，虚函数的使用使得动态联编成为可能，举例来说，存在一个类层次结构A-B-C，结构定义为; class A{……}; //包含虚函数 class B: public A{……}; class C: public B{……}; 此时，可以直接用派生类（B类或C类）对象为A类指针赋值，而且，通过该A类指针调用虚成员函数时，调用的版本是为其赋值的派生类对此虚函数的覆盖定义。当然，不可能把所有函数都定义成虚函数，对派生类中定义的普通函数来说，使用A类指针调用该函数是否合法需要具体分析： 17.1.1 dynamic_cast操作符 综合来看，使用派生类对象为基类指针赋值是安全的，可什么时候使用基类指针为派生类指针赋值是安全的呢？C++提供了操作符dynamic_cast，其语法是： Tson *p1=dynamic_castTson* (pbase); 其中pbase是基类指针，Tson是派生类型，如果pbase指向的对象是Tson型或Tson的派生类型，指针转换成功，否则，p1为null，即空指针： 17.1.2 typeinfo类和typeid操作符 在头文件typeinfo中还定义了typeinfo类和typeid操作符，从typeid的字面即可看出，该操作符用以返回类的id，即类型信息，其基本调用格式为： typeinfo ?typeid(expr)； 参数expr可以是单个对象，也可以是返回结果为对象的表达式，还可以是类名，typeid返回一个typeinfo对象的引用，如果expr是类对象（或类名）、且至少包含有一个虚函数，typeid操作符返回的typeinfo对象需要在运行时计算；否则，返回一个静态对象，在编译时就可以计算得到。 typeinfo类中包含了一个name()成员，返回一个字符串，通常是类名，举例来说，下述语句返回的均为静态typeinfo对象：: cout”typeid(5).name()”endl; //输出字符串“int” cout”typeid(double).name()”endl; //输出字符串“double” 来看一个返回动态typeinfo对象的例子： class A{……}； //包含虚函数 class B：pulic A{……} A* pa=new B; couttypeid(*pa).name()endl; 17.1.3 补充说明 RTTI只能应用于包含虚函数的类层次中，只有在虚函数处理上，使用派生类对象给基类指针赋值才有意义。如果类层次中没有虚函数，将派生类赋值给基类指针没有实质意义。RTTI的引入，可检查基类指针向派生类指针的转换是否安全，为类层次中非虚函数和数据成员的调用提供了方法。 17.2 类型转换操作符 C++中添加了4个类型转换符，用以对数据类型的转换进行更严格的限制，分别是dynamic_cast、const_cast、static_cast和reinterpret_cast，和前面所讲的类型转换机制相比，新机制让程序员根据需要选择要使用的操作符，明确了转换意图，可读性更强，而且，编译器可方便地对转换是否安全进行检查，能排查很多传统类型转换无法找出的问题，动态操作符dynamic_cast已在上节介绍过，本节对其余3个静态类型转换操作符分别讨论： 17.2.1 const_cast操作符 const_cast的基本使用格式为： const_castT (expr); expr应该为指针和引用的形式，该操作符不会影响expr，除了const和volatile修饰符等，T应于expr类型相同，返回一个新的T型变量，与expr有相同的值，来看一段示例： 17.2.2 static_cast操作符 static_cast的基本语法为： static_cast T ( expr ) 该运算符把expr转换为T型，仅当T类型可被隐式转换成expr所属类型或expr所属类型可被隐式转换成T类型时，上述转换才合法，否则会报错，主要有如下几种用法： 用于类层次结构中基类和子类之间指针或引用的转换。进行上行转换（把子类的指针或引用转换成基类表示）是安全的；进行下行转换（把基类指针或引用转换成子类表示）时，由于没有动态类型检查，所以是不安全的。 用于基本数据类型之间的转换，如把int转换成char，把int