各种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 吧。