C++知识点复习 ---- C++中的类型识别

1.类型识别

在面向对象中可能出现下面的情况：
(1)基类指针指向子类对象
(2)基类引用成为子类对象的别名

C++引入了面向对象的特性，赋值兼容性原则让以上实现完全合法，子类对象完全可以当做父类对象来使用。

• 静态类型：变量(对象)自身的类型
• 动态类型：指针(引用)所指向对象的实际类型

void test(Base* b) {
    /*危险的转换方式*/
    Derived* d = static_cast<Derived*>(b);
}

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

2.动态类型识别

C++中如何得到动态类型？
解决方案：利用多态
(1)在基类中定义虚函数返回具体的类型信息
(2)所有的派生类都必须实现类型相关的虚函数
(3)每个类中的类型虚函数都需要不同的实现

#include <iostream>
#include <string>
using namespace std;
class Base//父类
{
public:
    virtual string type() {
        return "Base";
    }
};
class Derived : public Base//子类
{
public:
    string type() {
        return "Derived";
    } 
    void printf() {
        cout << "I'm a Derived." << endl;
    }
};
class Child : public Base
{
public:
    string type() {
        return "Child";
    }
};
void test(Base* b)
{
    /* 危险的转换方式*/
    // Derived* d = static_cast<Derived*>(b);//强制类型转换
    if( b->type() == "Derived" ) {
        Derived* d = static_cast<Derived*>(b);//通过虚函数返回类型名的方式获得类型  
        d->printf();
    }
    /*
    cout << dynamic_cast<Derived*>(b) << endl;//1.有继承关系的类 2.有虚函数 可用dynamic_cast
	运行结果:
	0    //动态类型转换不成功，b指向父类对象，dynamic_cast返回空指针0
	I'm a Derived.   
	0xbfc57277      
	0  
	*/
}
int main(int argc, char *argv[])
{
    Base b;
    Derived d;
    Child c;
    
    test(&b);
    test(&d);//合法
    test(&c);
    
    return 0;
}
运行结果
I'm a Derived.

多态解决方案的缺陷：
(1)必须从基类开始提供类型虚函数
(2)所有的派生类都必须重写类型虚函数
(3)每个派生类的类型名必须唯一

3.类型识别关键字

C++提供了typeid关键字用于获取类型信息
(1)typeid关键字返回对应参数的类型信息
(2)typeid返回一个type_info类对象
(3)当typeid的参数为NULL时将抛出异常

typeid关键字的使用：

int i = 0;
const type_info& tiv = typeid(i);//用typeid得到i的变量信息，将该信息放到type_info对象中去
const type_info& tii = typeid(int);
cout << (tiv == tii) << endl;

typeid 的注意事项：

• 当参数为类型时：返回静态信息类型
• 当参数为变量时：
  (1)不存在虚函数表: 返回静态类型信息
  (2)存在虚函数表: 返回动态类型信息

typeid类型识别：

#include <iostream>
#include <string>
#include <typeinfo> //typeid所在的头文件
using namespace std;
class Base {
public:
    virtual ~Base()
    {
    }
};
class Derived : public Base
{
public:
    void printf() {
        cout << "I'm a Derived." << endl;
    }
};
void test(Base* b) {
    const type_info& tb = typeid(*b);
    cout << tb.name() << endl;
}
int main(int argc, char *argv[]) {
    int i = 0;
    
    const type_info& tiv = typeid(i); //静态类型信息，内部没有虚函数表
    const type_info& tii = typeid(int);//得到int类型信息
    
    cout << (tiv == tii) << endl; //打印为1，说明i就是int类型
    
    Base b;
    Derived d;
    //打印的类型名一致，b指向的对象没有虚函数表，返回的是静态的类型信息
    //Base做成虚函数，就返回动态类型信息
    test(&b);
    test(&d);
    
    return 0;
}
运行结果
1
4Base
7Derived

小结：
C++中有静态类型和动态类型的概念
利用多态能够实现对象的动态类型识别
typeid是专用于类型识别的关键字
typeid能够返回对象的动态类型信息