C++语言学习(十九)——C++类型识别-创新互联

C++语言学习(十九)——C++类型识别

一、C++类型识别简介

1、C++类型识别简介

C++是静态类型语言,其数据类型是在编译期就确定的,不能在运行时更改。
C++语言中,静态类型是对象自身的类型,动态类型是指针(引用)所指向对象的实际类型。
RTTI(Run-Time Type Information)即运行时类型识别,C++通过RTTI实现对多态的支持。
为了支持RTTI,C++提供了一个type_info类和typeid与dynamic_cast两个关键字。

创新互联是一家专注于成都网站建设、做网站与策划设计,东海网站建设哪家好?创新互联做网站,专注于网站建设十多年,网设计领域的专业建站公司;建站业务涵盖:东海等地区。东海做网站价格咨询:18982081108

2、type_info结构体

type_info :
存储特点类型的相关信息,常用来比较对象类型,type_info类的具体内容由编译器实现来决定。其声明如下:

class type_info {
public:
    virtual ~type_info();
    bool operator== (const type_info& rhs) const;
    bool operator!= (const type_info& rhs) const;
    bool before (const type_info& rhs) const;
    const char* name() const;
private:
    type_info (const type_info& rhs);
    type_info& operator= (const type_info& rhs);
};

type_info的构造函数和赋值操作符为私有,因此,程序中创建type_info对象的唯一方法是使用typeid操作符。C++标准只是告诉编译器需要实现type_info::name函数,但不同的编译器实现各不相同,因此typeid(int).name()不同编译器编译运行后输出不一样。

3、typeid关键字

typeid:
typeid语法规则如下:typeid(expr);
typeid表达式返回type_info类型,expr可以是各种类型名,对象和内置基本数据类型的实例、指针或者引用。当作用于指针和引用时,将返回实际指向对象的类型信息。
如果表达式的类型是类类型且至少包含有一个虚函数,则typeid操作符返回表达式的动态类型,需要在运行时确定;否则,typeid操作符返回表达式的静态类型,在编译时就可以确定。
当把typeid作用于指针的解引用p时,若指针p为0,则:如果p指向的类型是带虚函数的类类型,则typeid(p)在运行时抛出一个bad_typeid异常;否则,typeid(*p)的结果与p的值是不相关的,在编译时就可以确定。

4、dynamic_cast关键字

dynamic_cast:
动态类型转换,运行时类型安全检查。dynamic_cast会检查待转换的源对象是否真的可以转换成目标类型,这种检查不是语法上的,而是真实情况的。许多编译器都是通过vtable找到对象的RTTI信息的,如果基类没有虚方法,也就无法判断一个基类指针变量所指对象的真实类型。
dynamic_cast将一个指向基类的指针转换为一个指向派生类的指针,如果不能正确转换,则返回空指针。
C++语言提供了typeid关键字用于获取类型信息,typeid关键字返回对应参数的类型信息。typeid返回一个type_info类对象,当typeid的参数为NULL时将抛出异常。typeid的参数既可以时类型也可以是变量,当参数为类型,返回静态类型信息;当参数为变量,如果不存在虚函数表,返回静态类型信息,如果存在虚函数表,返回动态类型信息。
typeid操作符的返回结果是名为type_info的标准库类型的对象的引用。
typeid在不同C++编译器实现是不同的。

RTTI(Run-Time Type Identification,运行时类型识别)

二、C++类型转换

C++类型转换分为向上类型转换和向下类型转换。

1、向上类型转换

C++语言中,向上类型转换描述的是子类向基类的强制类型转换,是一种隐式类型转换。在向上类型转换过程中,覆盖方法和子类对象数据丢失的现象称为切割。

#include 

using namespace std;

class Base
{
public:
    Base(int value = 0)
    {
        data = value;
    }
    virtual void print()
    {
        cout << "Base::print data = " << data << endl;
    }
protected:
    int data;
};

class Derived : public Base
{
public:
    Derived(int value = 0)
    {
        data = value;
    }
    virtual void print()
    {
        cout << "Derived print data = " << data << endl;
    }
protected:
    int data;
};

int main(int argc, char *argv[])
{
    Derived d(100);
    //将子类向上转型为基类
    Base b = d;//直接赋值,产生切割
    b.print();//Base::print data = 0

    Base& rb = d;//引用赋值,不产生切割
    rb.print();//Derived print data = 100

    Base* pb = &d;//指针赋值,不产生切割
    pb->print();//Derived print data = 100

    //Derived* dp = pb;//error,不允许隐式向下转型
    return 0;
}

在向上强制转换过程中,使用指针和引用不会造成切割,而使用直接赋值会造成切割。

2、向下类型转换

C++语言中,向下类型转换描述的是基类向子类的强制类型转换,使用dynamic_cast进行向下强制类型转换。dynamic_cast会在运行时进行类型检查。如果向下转型是安全的(如果基类指针或者引用实际指向一个派生类的对象),dynamic_cast会返回类型转换后的指针。如果向下转型不安全(即基类指针或者引用没有指向一个派生类的对象),dynamic_cast返回空指针。 使用dynamic_cast时,类中必须定义虚函数。

#include 

using namespace std;

class Base
{
public:
    Base(int value = 0)
    {
        data = value;
    }
    virtual void print()
    {
        cout << "Base::print data = " << data << endl;
    }
protected:
    int data;
};

class Derived : public Base
{
public:
    Derived(int value = 0)
    {
        data = value;
    }
    virtual void print()
    {
        cout << "Derived print data = " << data << endl;
    }
protected:
    int data;
};

int main(int argc, char *argv[])
{
    //指针
    Base* bp1 = new Base(101);
    Derived* dp11 = static_cast(bp1);
    cout << "Base" << endl;
    cout << bp1 << endl;
    cout << dp11<< endl;
    dp11->print();//Base::print data = 101
    Derived* dp12 = dynamic_cast(bp1);
    cout << dp12 << endl;//0,向下转型失败
    if(dp12 != NULL)
    {
        dp12->print();
    }

    Base* bp2 = new Derived(102);
    Derived* dp21 = static_cast(bp2);
    cout << "Derived" << endl;
    cout << bp2 << endl;
    cout << dp21<< endl;
    dp21->print();//Derived print data = 102
    Derived* dp22 = dynamic_cast(bp2);
    cout << dp22 << endl;//向下转型成功
    if(dp22 != NULL)
    {
        dp22->print();//Derived print data = 102
    }
    //引用
    Base b1(10);
    Derived& rd11 = static_cast(b1);
    rd11.print();//Base::print data = 10
    //Derived& rd12 = dynamic_cast(b1);//exception
    Derived b2(10);
    Derived& rd21 = static_cast(b2);
    rd21.print();//Derived print data = 10
    Derived& rd22 = dynamic_cast(b2);
    rd22.print();//Derived print data = 10

    return 0;
}

上述代码中,如果指针、引用实际指向的对象为派生类对象,使用static_cast、dynamic_cast转换都是安全的;如果指针、引用实际指向的对象为基类对象,使用dynamic_cast会返回NULL指针或抛出异常,使用static_cast关键字返回执行基类对象的指针或引用,不能访问派生类的覆盖方法与成员。

3、多继承时的向下转型

#include 

using namespace std;

class BaseA
{
public:
    BaseA(int value = 0)
    {
        data = value;
    }
    virtual void printA()
    {
        cout << "BaseA::print data = " << data << endl;
    }
protected:
    int data;
};

class BaseB
{
public:
    BaseB(int value = 0)
    {
        data = value;
    }
    virtual void printB()
    {
        cout << "BaseB::print data = " << data << endl;
    }
protected:
    int data;
};

class Derived : public BaseA, public BaseB
{
public:
    Derived(int value = 0)
    {
        data = value;
    }
    virtual void printA()
    {
        cout << "Derived printA data = " << data << endl;
    }
    virtual void printB()
    {
        cout << "Derived printB data = " << data << endl;
    }
protected:
    int data;
};

int main(int argc, char *argv[])
{
    //BaseA
    cout << "BaseA" << endl;
    BaseA* bpa = new BaseA(10);
    cout << bpa << endl;
    Derived* pd1 = static_cast(bpa);
    cout << pd1 << endl;
    pd1->printA();//BaseB::print data 10
    //pd1->printB();//exception,实际指向BaseA对象,没有printB方法
    Derived* pd2 = dynamic_cast(bpa);
    cout << pd2 << endl;//0,向下转型失败
    if(pd2 != NULL)
    {
        pd2->printA();
        pd2->printB();
    }

    //BaseB
    cout << "BaseB" << endl;
    BaseB* bpb = new BaseB(10);
    cout << bpb << endl;
    //pd3指向bpb前8字节的地址
    Derived* pd3 = static_cast(bpb);
    cout << pd3 << endl;
    //pd3->printA();//exception
    //pd3->printB();//exception
    Derived* pd4 = dynamic_cast(bpb);
    cout << pd4 << endl;//0,向下转型失败
    if(pd4 != NULL)
    {
        pd4->printA();
        pd4->printB();
    }

    cout << "Derived" << endl;
    BaseA* bpd = new Derived(101);
    cout << bpd << endl;
    Derived* pd5 = static_cast(bpd);
    cout << pd5 << endl;
    pd5->printA();//Derived printA data = 101
    pd5->printB();//Derived printB data = 101
    Derived* pd6 = dynamic_cast(bpd);
    cout << pd6 << endl;
    if(pd6 != NULL)
    {
        pd6->printA();//Derived printA data = 101
        pd6->printB();//Derived printB data = 101
    }
    BaseA* pa = static_cast(bpd);
    pa->printA();
    //BaseB* pb = static_cast(bpd);//error,
    BaseB* pb = dynamic_cast(bpd);//正确,
    pb->printB();

    cout << "Derived+" << endl;
    Derived* dpd = new Derived(102);
    cout << dpd << endl;
    BaseA* dpa = static_cast(dpd);
    cout << dpa << endl;
    dpa->printA();
    BaseB* dpb1 = static_cast(dpd);//
    cout << dpb1 << endl;
    dpb1->printB();
    BaseB* dpb2 = dynamic_cast(dpd);//
    cout << dpb2 << endl;
    dpb2->printB();

    return 0;
}

上述代码中,bpa指针指向BaseA对象,使用static_cast关键字对bpa进行向下转型为Derived指针对象时,返回bpa的值,由于实际指向BaseA对象,因此对BaseB方法时会导致异常;使用dynamic_cast关键字对bpa进行向下转型时,转型失败,返回NULL。
bpb指针实际指向BaseB对象,使用static_cast关键字对bpb进行向下转型为Derived指针对象时,返回bpb地址的-8字节的地址,该地值是一个不合法的Derived对象地址,因此对该地址调用BaseA、BaseB类的方法时会导致异常;使用dynamic_cast关键字对bpa进行向下转型时,转型失败,返回NULL。
bpd指针实际指向Derived对象,使用static_cast关键字对bpd进行向下转型为Derived指针对象时,返回bpd的值,可以合法调用BaseA、BaseB类的方法;使用dynamic_cast关键字对bpd进行向下转型时,返回bpd的值,可以合法调用BaseA、BaseB类的方法。如果使用static_cast关键字将BaseA类型指针bpd转型为BaseB指针时,C++编译器报错;必须使用dynamic_cast关键字,dynamic_cast会在运行时对指针进行调整。
Derived类型的dpd指针指向Derived对象,使用static_cast关键字和dynamic_cast关键字都可以进行向上转型。

三、C++内省机制

所谓内省是指面向对象语言的一种在运行期间查询对象信息的能力, 比如如果语言具有运行期间检查对象型别的能力,那么语言是型别内省(type intropection)的,型别内省可以用来实施多态。
C++的内省比较有限,仅支持型别内省, C++的型别内省是通过运行时类型识别(RTTI)(Run-Time Type Information)中的typeid 以及dynamic_case关键字来实现的。

另外有需要云服务器可以了解下创新互联scvps.cn,海内外云服务器15元起步,三天无理由+7*72小时售后在线,公司持有idc许可证,提供“云服务器、裸金属服务器、高防服务器、香港服务器、美国服务器、虚拟主机、免备案服务器”等云主机租用服务以及企业上云的综合解决方案,具有“安全稳定、简单易用、服务可用性高、性价比高”等特点与优势,专为企业上云打造定制,能够满足用户丰富、多元化的应用场景需求。


文章题目:C++语言学习(十九)——C++类型识别-创新互联
链接URL:http://myzitong.com/article/dhjpdo.html