1.RTTI:runtime type information
-
RTTI:runtime type information运行时类型信息
-
C++对象模型是通过虚表和虚基类表来支持的,C++对象模型还包含一些额外的信息,就是RTTI;
RTTI的作用是:运行时进行类型识别;
dynamic_cast运算符,typeid运算符,type_info是支持的RTTI的运算符的;
2.dynamic_cast运算符
- 使用dynamic_cast的2个条件:(1)要开启VS编译器类型识别GR特性;(2)要用在具有多态关系的继承体系之上才可以,即基类有虚函数
开启VS编译器类型识别GR特性如下所示:
- eg:P37\01.cpp
#include <iostream>
using namespace std;
class Shape
{
public:
virtual void Draw() = 0;
virtual ~Shape() = 0;
};
class Circle : public Shape
{
public:
void Draw()
{
cout<<"Circle Circle ..."<<endl;
}
};
class Square : public Shape
{
public:
void Draw()
{
cout<<"Square Square ..."<<endl;
}
};
int main(void)
{
Shape* p;
Circle c;
p = &c;
p->Draw();
//看下基类指针到底指向哪一个类
//dynamic_cast是一个类型安全的向下转型
if(dynamic_cast<Circle*>(p)) //若p指针转化为Circle*的指针,说明指向的是派生类对象
{
cout<<"p is point to a Circle object"<<endl;
//dynamic_cast向下安全转型的条件是什么?
//dynamic_cast要用在多态类上面,也就是说它应该有虚函数,派生类继承至多态基类,如果没有虚函数的话,是不允许做向下转型的
//使用dynamic_cast的2个条件:(1)要开启VS编译器类型识别GR特性;(2)要用在具有多态关系的继承体系之上才可以,即基类有虚函数
Circle* cp = dynamic_cast<Circle*>(p);//安全向下转型
cp->Draw();
}
else if(dynamic_cast<Square*>(p))
{
cout<<"p is a point to a Square object"<<endl;
}
else
{
cout<<"p is point to a Other object"<<endl;
}
return 0;
}
-
dynamic_cast需要运行时的支持,它在运行的时候会坚持C++对象的运行时RTTI信息,来达到一个动态的转化,dynamic_cast是安全的向下转型,需要运行时的支持
注意:下面三个都是静态转化的,不需要运行时的支持
(1)static_cast,用在编译器认可的转型
(2)reinterpret_cast,用在编译器不认可的可转型,该转型不做任何的对齐操作,所以有可能是不可移植的
(3)const_cast,去除常量限定 -
测试(1)
如果运行识别=否的话,同样的代码,运行的结果如下:
结果如下:
运行的时候也会崩溃,因为这时不支持运行时类型识别
-
测试(2)如果运行识别=是的话
进一步阅读:
3.typeid运算符
- typeid返回的是type_info的引用,不能将这个引用赋值给其他对象,因为等号运算符声明为私有的,也不能将返回的信息构造一个新的type_info对象,因为拷贝构造函数也是私有的,所以不能根据返回的对象构造另外一个对象
- eg:P37\02.cpp
#include <iostream>
using namespace std;
class Shape
{
public:
virtual void Draw() = 0;
virtual ~Shape() = 0;
};
class Circle : public Shape
{
public:
void Draw()
{
cout<<"Circle Circle ..."<<endl;
}
};
class Square : public Shape
{
public:
void Draw()
{
cout<<"Square Square ..."<<endl;
}
};
int main(void)
{
Shape* p;
Circle c;
//dynamic_cast和typeid运行时类型识别都不如虚函数的多态效率来得高,即使调用派生类对象的虚函数
p = &c;
p->Draw();
//看下基类指针到底指向哪一个类
//dynamic_cast是一个类型安全的向下转型
if(dynamic_cast<Circle*>(p)) //若p指针转化为Circle*的指针,说明指向的是派生类对象
{
cout<<"p is point to a Circle object"<<endl;
//dynamic_cast向下安全转型的条件是什么?
//dynamic_cast要用在多态类上面,也就是说它应该有虚函数,派生类继承至多态基类,如果没有虚函数的话,是不允许做向下转型的
//使用dynamic_cast的2个条件:(1)要开启VS编译器类型识别GR特性;(2)要用在具有多态关系的继承体系之上才可以,即基类有虚函数
Circle* cp = dynamic_cast<Circle*>(p);//安全向下转型
cp->Draw();
}
else if(dynamic_cast<Square*>(p))
{
cout<<"p is a point to a Square object"<<endl;
}
else
{
cout<<"p is point to a Other object"<<endl;
}
//typeid也可以做到运行时,类型识别
//typeid返回的是type_info对象,name就是实际的类型
//typeid既可以用在类型上,又可以用在对象上
cout<<typeid(*p).name()<<endl;
cout<<typeid(Circle).name()<<endl;
if (typeid(Circle).name() == typeid(*p).name())
{
cout<<"p is point to a Circle object"<<endl;
((Circle*)p)->draw();
}
else if (typeid(Square).name() == typeid(*p).name())
{
cout<<"p is point to a Square object"<<endl;
((Square*)p)->draw();
//((Square*)p)这种C风格的强转会做一些对齐操作,而reinterpret_cast是不会做任何对齐操作的
}
else
{
cout<<"p is point to a Other object"<<endl;
}
// type_info ti = type_id(Circle);error
return 0;
}
- 测试:
4.type_info
- 注意type_info中的拷贝构造函数和等号运算符是private的
typeid可以.name(),但是无法赋值给变量ti,因为等号运算符是私有的
cout<<typeid(Circle).name()<<endl;
。。。。
。。。
type_info ti = type_id(Circle);
- type_info类声明如下: