首页 > 代码库 > C++中的类型识别
C++中的类型识别
1、C++中类型识别
(1)在面向对象中可能出现下面的情况
@1：基类指针指向子类对象 Base *p = new child();
@2：基类引用成为子类对象的别名 Base& r = *p;
--上面的base是基类，child是这个基类的子类，第一种情况，由于赋值兼容性的存在，父类指针是可以指向子类对象的，但是我们无法通过父类指针来知道当前指针指向的是否是子类对象。
--但是这时我们可以说，指针p的静态类型是Base*(指针期望的类型)，指针p的动态类型是child（因为这时指针p指向的类型不是本身指针p所期望的类型，所以child叫指针p的动态类型）
--第二种情况，Base&是r的静态类型，因为r这个引用期望得到的类型是Base这个父类，但是由于赋值兼容性原则，此时r成为了子类child所在堆空间的别名了，引用本身也没有办法确定引用的到
--底是父类对象还是子类对象。所以child这个类型此时也是引用r的动态类型（因为和r本身想引用的类型不同）。
(2)静态类型：变量（对象）本身的类型叫做静态类型。
(3)动态类型：指针（引用）所指向对象的实际类型。
void test(Base *b)
{
child *d = static_cast<child*>(b); //危险的转换方式，如果b指针指向的子类对象，那就是完全可以的。
}
基类指针是否可以强制类型转换为子类指针取决于动态类型。
2、C++中如何得到对象的动态类型？
(1)解决方案1：利用多态
@1：在基类中定义虚函数返回具体的类型信息（返回字符串，字符串来表示当前的类型信息）
@2：所有的派生类都必须实现类型相关的虚函数
@3：每个类中的类型虚函数都需要不同的实现
@4：我们调用这个类对象的类型虚函数，就可以知道当前类究竟是子类还是父类了。
例：
#include <iostream>
#include <string>
using namespace std;
/*
* 利用多态的方法，进行对象的动态类型识别，也就是区别判断出，当前的父类指针指向的到底是子类对象还是父类对象。
*
*
*/
class Base
{
public:
virtual string type()
{
return "Base";
}
};
class child : public Base
{
public:
virtual string type() //子类重写这个函数，到时用来判断父类指针指向的到底是父类对象还是子类对象的
{
return "child";
}
void print()
{
cout << "I‘m a child. " << endl;
}
};
void test(Base *b)
{
if ( b->type() == "child" )
{
child *c = static_cast<child*>(b);
c->print();
}
}
int main(void)
{
Base b;
child c;
test(&b);
test(&c);
return 0;
}
(2)多态解决方案的缺陷：
@1：必须从基类开始提供类型虚函数
@2：所有的派生类必须重写类型虚函数
@3：每个派生类的名字必须唯一
(3)C++提供了typeid关键字用与获取类型信息，使用时要包含头文件<typeinfo>
@1：typeid关键字返回对应参数的类型信息
@2：typeid返回一个type_info类对象，所以要包含头文件typeinfo
@3：当typeid的参数为NULL时将抛出异常
(4)typeid关键字的使用
int i = 0;
const type_info& tiv = typeid(i);
const type_info& tii = typeid(int);
cout << (tiv == tii) << endl; // 1
(5)typeid的注意事项
@1：当参数为类型时：返回静态类型信息(期望的类型)
@2：当参数为变量时：
不存在虚函数表时：返回静态类型信息
存在虚函数表时：返回动态类型信息(实际对象的类型)
#include <iostream>
#include <string>
#include <typeinfo>
using namespace std;
/*
* 利用typeid，进行对象的动态类型识别，也就是区别判断出，当前的父类指针指向的到底是子类对象还是父类对象。
*
*
*/
class Base
{
public:
virtual ~Base()
{
}
};
class child : public Base
{
public:
};
void test(Base *b)
{
const type_info& tb = typeid(*b);
cout << tb.name() << endl;
}
int main(void)
{
int i = 0;
const type_info& tiv = typeid(i);
const type_info& tii = typeid(int);
cout << (tii == tiv) << endl;
Base b;
child c;
test(&b);
test(&c);
return 0;
}
本文出自 “whylinux” 博客，谢绝转载！
C++中的类型识别