C++的运行时刻类型识别.pdfVIP

C++的运行时刻类型和标准程序库 内容提要：运行时刻类型识别（RTTI ）是 C++一个很吸引人的特征：一般的 C++程序都是使用 一个指向基类的指针，然后调用基类的接口（虚函数），但是在某些特殊的情况下，需要知道基类指 针所指对象的确切类型来提高程序的效率，那么，就可以使用 RTTI 。同时介绍了标准程序库的历史、 标准程序库的含义和标准程序库的基本组成等内容 关键字：dynamic_cast 运算符、typeid 运算符、type_info 类、标准模板库 引言：运行时刻类型识别（RTTI ）经常被说成是 C++ 的四大扩展之一（其他的三个是模板，异 常和名字空间）。它们影响了人们对程序的组织方式，使得人们可以很方便的从部分独立的库出发组 合软件。 正文： 1 引言 C++有了继承的机制，那么就可以使用指向基类的指针或引用来指向派生类的对象。然后，我 们就可以编写程序来操纵这些指针或引用，而不用考虑它所指向的对象的实际类型。使用基类指针 或引用来操纵多个派生类的能力被称为多态，在本章中，我们将介绍 C++支持多态性的一个特性— —RTTI （Run-time Type Identification ，运行时刻类型识别）。使用 RTTI ，程序员可以获得由基类指 针或引用所指向的对象的实际类型。为了支持 RTTI ，C++提供了两个运算符： （1）运算符 dynamic_cast ，它允许在运行时刻进行类型转换，使得程序能够在一个类层次结构 中安全地进行类型转换，如把基类指针转换成派生类指针，或者把指向基类的左值转换成派生类的 引用，当然只有在保证转换能够成功的情况下才可以。 （2 ）运算符 typeid ，它可以指出指针或引用指向的对象的实际类型。 我们知道只有当类中存在有一个或多个虚函数时，编译器才会给派生类添加类型信息。也就是 说，dynamic_cast 和 typeid 运算符的操作数的类型必须是带有一个或多个虚函数的类型。对于带有 虚拟函数的类而言，RTTI 运算符是运行时刻事件，而对于其他类型，它只是编译时刻的事件。在本 章，我们将详细地讨论这两个运算符的用法。 在实现某些应用程序（例如 debugger 或者数据库程序）时，RTTI 的应用是很有必要的。在这 些应用程序中，只有在运行时刻通过检查“与对象类型一起存储的类型信息”，我们才能知道对象的 类型。但是，由于 RTTI 所需的代价会比较大，我们应该尽量减少使用 RTTI ，而尽可能多的使用 C++ 的静态类型系统（即编译时刻类型检查），因为它更加安全有效。 2 dynamic_cast 运算符 运算符 dynamic_cast 可以用来把一个指向某个类对象的指针转换成同一个类层次结构中的其他 类的指针，同时也可以用它把一个类对象的左值转换成为同一个类层次结构中其他类的引用。与 C++ 其他的强制转换不同的是，dynamic_cast 是在运行时刻执行的。如果指针或者左值操作数不能转换 成为目的类型，则 dynamic_cast 将操作失败：如果操作数是指针类型，dynamic_cast 失败时返回的 结果是 0 ；如果是针对引用的 dynamic_cast 失败，则运算符 dynamic_cast 会抛出一个异常。 在进一步讲解 dynamic_cast 的用法之前，先来看看一个例子，了解在什么时候需要用到 dynamic_cast 运算符。假设有一个程序用类库来表示游戏中的不同角色。这个类层次结构的类都支 持某些成员函数，以支持游戏中的某些动作。例如： class character { public : virtual void walk(); }; ※ 1 ※ class lion : public character { public : void walk(); }; class panda : public character { public : void walk(); }; class scene { public : void move( cha