0
    class Base
    {
    public:
        Base(){Foo();}
        ~Base(){Foo();}
        virtual void Foo(){std::cout<<"base";}
    };

    class Derived: public Base
    {
    public:
        Derived(){Foo();}
        ~Derived(){Foo();}
        void Foo(){std::cout<<"derived";}
    };

      //main
     {
         Derived d;
     }

知道为什么这段代码会打印出“base”和“derived”吗?
我知道建议不要将虚函数调用放在构造函数或析构函数中,我只想知道为什么上面的代码会有这种行为。谢谢

4

1 回答 1

4

在执行类的构造函数期间C,派生的子对象尚未构造。因此,正在构造的对象的动态类型是构造函数的静态类型,即C. 任何virtual函数都将被分派,就好像对象是 type 一样C。同样,当派生类型的对象被销毁并且C正在运行的析构函数时,所有派生的子对象都已经被销毁,并且该类型的行为就像它是 type 一样C

也就是说,在构造和销毁过程中,涉及继承的对象的类型会发生变化!动态调度被安排来匹配对象的当前类型。

于 2013-09-02T21:16:08.360 回答