一次调试c++ bug的记录

这个bug的现象是从数据库中取出的一个值莫名被修改了,后来经过层层排查,发现公司代码中过度使用强制转换:

为了所谓的面向对象和继承体系,在代码中写了无数次父类子类的强制转换

这样的代码,一不小心就出bug了

我记得effective c++上曾说到这点,(顺effective c++者昌,逆effective c++者亡)

以下是出错代码的简化版,实际代码比这个复杂得多,牵涉到父类/子类对象的引用,取值(operator &),提值(operator *)

struct A 
{
    int x;
    A():x(1){}
};
struct B:public A 
{
    int y;
    B():y(2){}
};

int _tmain(int argc, _TCHAR* argv[])
{
    auto_ptr<A> p1(new B());

    B * pB = new B;
    pB->y = 100;
    auto_ptr<A> p2(pB);

    // 期望把p2所指的B类对象赋值给p1
    // 这行代码的结果是发生对象切割(object slicing)
    // 只有p2的父类部分被赋值给p1,即使p1和p2都指向子类
    *p1 = *p2; 
    
    // 输出,p1的y并没有被赋值
    cout << ((B*)p1.get())->y<<endl; // output is 2, not 100
    return 0;
}