[C++]搞清楚类中构造与析构的顺序

定义一个类对象时，首先根据初始化列表初始化类的成员（就算没有显式定义初始化列表，编译器也会默认地初始化一次），然后运行构造函数。因此，类成员的构造函数必定先于类的构造函数运行。

class A
{
public:
    A()
    {
       puts("In A");
    }
    ~A()
    {
       puts("Out A");
    }
};

class B
{
public:
    B()
    {
       puts("In B");
    }
    ~B()
    {
       puts("Out B");
    }
};

class D
{
public:
    D()
    {
       puts("In D");
    }
    ~D()
    {
       puts("Out D");
    }
};

class X
{
public:
    X()
    {
       puts("In X");
    }
    virtual ~X()
    {
       puts("Out X");
    }
    virtual void test()
    {
       puts("test in X");
    }
    D d;
};

class C:public X
{
public:
    C()/*: b(), a()*/
    {
       puts("In C");

    }
    ~C()
    {
       puts("Out C");
    }
    virtual void test()
    {
       puts("test in C");
    }
private:
    A a;
    B b;
};

int main()
{
    X* p = new C;
    p->test();
    delete p;

    return 0;
}

new C的时候，由于C由X继承而来，因此先构造X。首先，按照初始化列表初始化X的成员变量，这里没有初始化列表，系统也会默认地为d进行默认初始化，此时调用D的构造函数，打印In D。（先初始化成员，再运行构造函数）

X的初始化阶段结束后，运行X的构造函数，打印In X。

X部分构造结束后，开始构造C的部分。同样的先进行初始化工作，无论有无初始化列表，无论初始化列表的顺序如何，成员的初始化顺序都按声明顺序进行初始化。打印In A，In B。

C的成员完成初始化后，调用C的构造函数，打印In C。

/*----------------------------------至此，new C的过程完毕-----------------------------------------*/

基类指针调用虚函数，进行动态绑定，输出test in C

/*----------------------------------开始对指针p析构-----------------------------------------*/

析构的顺序就是构造顺序的逆序。就是先析构父类，再析构子类。先析构本类，再析构本类的成员。

于是打印的顺序为O C, O B, O A, O X, O D

 

这个例子同时也解释了，为什么基类的析构函数要声明为虚函数。如果

//不是虚函数 
 ~X()
 {
    puts("Out X");
 }

那么delete p时候会直接析构p的静态类型X，所以C的成员以及C的析构函数将不会运行，这样就会造成内存泄露。