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

 

 




Sign 的申明 像这个样子:

class  Sign  :public Feature,public
Output 是这样耿实现的:
void  Context::Output()
{
for (int
      {
 Object* pObject = (Object*)m_vFeature[iPos] 
          cout<<pObject->ToString()<<endl;
      }
}

     程序一运行就挂了,当然,实际工程中的代码不像上面这样直接,那个Sign 也是历经了几世几劫才到了Output 中的, m_vFeature 也不是用STL 的vector 实现的,而是一个只接收void*

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

         Object* pObject = (Object*)

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

dynamic_cast<Object*>((Feature*)

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

也可解决问题。

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

Feature

Object

Other’s member

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

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

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

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