Dessecting c++ 阅读笔记 五

侯捷深入浅出 MFC P74 的 程序需要制定 /GR选项

关于 vc 中 /GR选项的设置 project ->setting ->c/c++ 然后category 中选择 c++ language ,在下面的 Enable Run_time Type Information (RTTI) 打上勾

 

关于typeid 运算子的问题

#include <typeinfo.h>
#include <iostream.h>
#include <string.h>

class graphicImage
{
protected:
    char name[80];

public:
    graphicImage()
    {
        strcpy(name,"graphicImage");
    }

    virtual void display()
    {
        cout << "Display a generic image." << endl;
    }

    char* getName()
    {
        return name;
    }
};
//----------------------------------------------------------------
class GIFimage : public graphicImage
{
public:
    GIFimage()
    {
        strcpy(name,"GIFimage");
    }

    void display()
    {
        cout << "Display a GIF file." << endl;
    }
};

class PICTimage : public graphicImage
{
public:
    PICTimage()
    {
        strcpy(name,"PICTimage");
    }

    void display()
    {
        cout << "Display a PICT file." << endl;
    }
};
//----------------------------------------------------------------
void processFile(graphicImage *type)
{
    if (typeid(GIFimage) == typeid(*type))
    {
        ((GIFimage *)type)->display();
    }
    else if (typeid(PICTimage) == typeid(*type))
    {
        ((PICTimage *)type)->display();
    }
    else
        cout << "Unknown type! " << (typeid(*type)).name() << endl;
}

void main()
{
    graphicImage *gImage = new GIFimage();
    graphicImage *pImage = new PICTimage();

    processFile(gImage);
    processFile(pImage);
}

初读这段代码，发现一个问题，既然已经使用typeid 运算符进行 运行时类型识别（RTTI）了，那么还将virtual 设为虚函数有必要吗？反过来说，既然使用了虚函数display()那么processFile()函数何必写的那样复杂直接写 type->display()不久可以了吗？我试着将 基类中 display() 函数前面的virtual 关键字去掉，对比程序运行的结果，会发现二者是不一样的。

实际上，这里有一个注意的地方是typeid 运算府的运算数必须是一个含有虚函数成员的类，否则typeid 是起不到其 运行时刻类型识别的作用的。我们可以将display() 函数前面的virtual 关键字去掉，并在基类中随便写一个其他的虚函数，发现运行结果和侯捷的程序是一样的。实际上typeid 的内部正是通过虚函数表来实现的。一个没有虚函数的类，便不会有虚函数表，也就不会实现RTTI。更加详细的的分析，可以阅读 thinking in c++  第18章

这个问题是通过阅读msdn和上网查资料发现的。

 

typeid()关键字 (RTTI支持) typeid 的参数必须含有虚函数才能实现以下功能

       typeid(指针)返回的是指针的类型

       typeid(引用)返回的是引用所指对象的真实类型

       typeid(*指针)返回的是指针所指对象的真实类型

       typeid(&引用)返回的是引用的类型(简单的取地址)

       typeid(*p) 如果p是空指针,抛出异常 bad_typeid