基类指针指向子类对象
基类引用成为子类对象的别名
静态类型-变量(对象)自身的类型
动态类型-指针(引用)所指向对象的实际类型
基类指针是否可以强制类型转换为子类指针取决于动态类型!
c++中如何得到动态类型?
解决方案-利用多态
1.在基类中定义虚函数返回具体的类型信息
2.所有的派生类都必须实现相关的虚函数
3.每个类中的类型虚函数都需要不同的实现
多态解决方案的缺陷
必须从基类开始提供类型虚函数
所有的派生类都必须重写类型虚函数
每个派生类的类型名必须唯一
c++提供了typeid关键字用于获取类型信息
typeid关键字返回对应参数的类型信息
typeid返回一个type_info类对象
当typeid的参数为NULL时将抛出异常
typeid关键字的使用
Int i = 0;
const type_info& tiv = typeid( i );
const type_info& tii = typeid( int );
typeid的注意事项
当参数为类型时:返回静态类型信息
当参数为变量时:
不存在虚函数表-返回静态类型信息
存在虚函数表-返回动态类型信息
小结
c++中有静态类型和动态类型的概念
利用多态能够实现对象的动态类型识别
typeid是专用于类型识别的关键字
typeid能够返回对象的动态类型信息