《C++ Primer plus》学习笔记之”RTTI”

1. 运行阶段类型识别（RTTI）

RTTI是运行阶段类型识别的简称，它为程序在运行阶段确定对象的类型提供了一种标准方式。组要注意的是，他们只适用于包含虚函数的对象。

RTTI主要包含三个元素：dynamic_cast，typeid和typeinfo

（1） dynamic_cast

该操作符将使用一个指向基类的指针来生成一个派生类的指针；如果生成失败，则返回0—空指针。

dynamic_cast不能回答“指针指向的是哪类对象”，但能回答“是否可以安全地将对象的地址赋给特定的类型的指针”。举例：

假设有以下指针：

对于以下转换：

哪些是安全的呢？很明显，#1和#3是安全的，#2是不安全的，因为派生类中可能存在基类中并没有的数据成员和函数。

怎样知道类型转换是否安全呢？可使用dynamic_cast，表达式为：dynamic_cast<Type *>(pt)

如：

（2） typeid

返回一个指出对象类型的值。可用于判断两个对象是否为同类型。与sizeof类似，可接受两种参数：类名和结果为对象的表达式。

（3） type_info

typeid返回的是对type_info的引用。type_info重载了==和!=操作符，可使用这些操作符对类型进行比较，例如，如果pg指向的是一个Dog对象，则表达式：

typeid(Dog) == typeid(*pg) 的结果为bool值true。

2. 类型转换操作符

C语言中能够的类型转换操作符过于松散，如：

上述转换中，哪些有意义？除非不讲理，否则任何一种均有意义。

对于这种松散情况，C++更为严格地限制允许的类型转换，并添加了4个类型转换操作符：dynamic_cast(前面已经介绍)，const_cast，static_cast，reinterpret_cast。

(1)const_cast：去掉const和volatile标签，如：

提供该操作符的原因是，有时候可能需要这样一个值，他在大部分情况下是常量，而有时又是可以修改的。

(2) static_cast: 使用：static_cast<type_name> (expression);

仅当type_name可被隐式转换为expression所属的类型或者expression可被隐式转换为type_name所属的类型时，上述转换才合法。

设High是Low的基类，而Pond是一个无关的类，则：

static可用将整数转化为枚举类型，将枚举类型转化为整数类型，将double转为int，将float转为long等

(3) reinterpret_cast：用于天生危险的类型转换，有时程序员必须做一些依赖于实现的，令人生厌的操作。如：

原创文章，转载请注明： 转载自董的博客

本文链接地址: http://dongxicheng.org/cpp/cpp-rtti/

作者：Dong，作者介绍：http://dongxicheng.org/about/

本博客的文章集合:http://dongxicheng.org/recommend/