c++中的类型识别

基类指针指向子类对象

基类引用成为子类对象的别名

 

静态类型-变量（对象）自身的类型

动态类型-指针（引用）所指向对象的实际类型

 

基类指针是否可以强制类型转换为子类指针取决于动态类型！

 

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能够返回对象的动态类型信息