C风格的转型和C++多继承打架

 

 

各种Crash问题始终幽灵一般地围绕着C++程序员，，如果只是个指针没判空，那观察家也没什么，可有时程序真是挂得莫名其妙，这不，今天我就被这“死亡之吻”狠狠地吻了一口。程序结构模拟如下图， Sign 继承自 Object 和 Feature,Context 中有一 Feature 的数组，其中装的有指向 Sign 的指针 .

 

 

Sign 的申明 像这个样子：

class Sign :public Feature,public Object

Output 是这样耿实现的:

void Context::Output()

{

     for (int iPos  = 0;iPos < m_vFeature.size();++iPos)

     {

         Object* pObject = (Object*)m_vFeature[iPos] ;

         cout<<pObject->ToString()<<endl;

     }

}

     程序一运行就挂了，当然，实际工程中的代码不像上面这样直接，那个Sign 也是历经了几世几劫才到了Output 中的， m_vFeature 也不是用STL 的vector 实现的，而是一个只接收void* 的数组。所以错误是很承隐蔽的。

         Debug, 我头脑发晕，眼前直冒金花，好不容易才让我逮到那个元凶 -- 该死的 C 风格转型 :

         Object* pObject = (Object*) m_vFeature[iPos]

问题找到了，改成下面的形式:

     Object* pObject = dynamic_cast<Object*>((Feature*) m_vFeature[iPos]);

编译，运行，Crash 如愿消失。其实把Sign 的申明改为: class Sign: public Object ,public Feature.

也可解决问题。

     看到这里，大家应该都明白到底发生了，没明白的可以看图： 

Feature

Object

Other’s member

         Sign 在在存入 Context 时转化为 void* ，而要 output 中直接将其拿出来，用 C 风格转型转化为 Object 指针，就相当于将 Feature 解释成了 Object ，而如果用 dynamic_cast 编译器会自动帮我们加上一个 offset ，就没有这个问题啦。

   经过这一劫，惨烈地现实又给我好好地上了一课：

1.       一个好的设计真的很重要，其实如果设计得当，是不会出现上面的问题的。

2.       在使用 C++ 时就忘了 C 吧。

 

模拟程序见附件 :