本文主要說明對(duì)象創(chuàng)建時(shí)構(gòu)造函數(shù)的執(zhí)行順序，對(duì)象成員的初始化順序；對(duì)象銷毀時(shí)析構(gòu)函數(shù)的執(zhí)行順序，對(duì)象成員的銷毀順序。

“對(duì)象的構(gòu)造從類層次的最根處開始，在每一層中，首先調(diào)用基類的構(gòu)造函數(shù)，然后調(diào)用成員對(duì)象的構(gòu)造函數(shù)。析構(gòu)則嚴(yán)格按照與構(gòu)造相反的次序執(zhí)行，該次序是唯一的，否則編譯器將無法自動(dòng)執(zhí)行析構(gòu)過程。

一個(gè)有趣的現(xiàn)象是，成員對(duì)象初始化的次序完全不受它們?cè)诔跏蓟碇写涡虻挠绊懀挥沙蓡T對(duì)象在類中聲明的次序決定。這是因?yàn)轭惖穆暶魇俏ㄒ坏模惖臉?gòu)造函數(shù)可以有多個(gè)，因此會(huì)有多個(gè)不同次序的初始化表。如果成員對(duì)象按照初始化表的次序進(jìn)行構(gòu)造，這將導(dǎo)致析構(gòu)函數(shù)無法得到唯一的逆序。”（引用自 References[1] ）

從這里看，每種語言特性的存在必有其原因，學(xué)習(xí)這些特性就是理解這些特性存在的原因。

下面的一段代碼是對(duì)上面這段話的說明，其中有 4 個(gè)類 Foo,Bar,Base,Derived ，它們的構(gòu)造函數(shù)、拷貝構(gòu)造函數(shù)、析構(gòu)函數(shù)都有信息輸出。

    #include <iostream>
using namespace std;

class Foo
{
public:
        Foo() { cout << "Foo constructor" << endl; }
        Foo(const Foo &foo) { cout << "Foo copy constructor" << endl; }
        ~Foo() { cout << "Foo deconstructor" << endl; }
};

class Bar
{
public:
        Bar() { cout << "Bar constructor" << endl; }
        Bar(const Bar &bar) { cout << "Bar copy constructor" << endl; }
        ~Bar() { cout << "Bar deconstructor" << endl; }
};

class Base
{
public:
        Base() { cout << "Base constructor" << endl; }
        ~Base() { cout << "Base deconstructor" << endl; }
};

class Derived : public Base
{
public:
        Derived() { cout << "Derived constructor without arguments" << endl; }
        Derived(const Foo &foo, const Bar &bar);
        Derived(const Bar &bar, const Foo &foo);
        ~Derived() { cout << "Derived deconstructor" << endl; }

private:
        Foo m_foo;
        Bar m_bar;
};

Derived::Derived(const Foo &foo, const Bar &bar) :
        m_foo(foo),
        m_bar(bar)
{
        cout << "Derived constructor with argument[Foo foo, Bar bar] passed by references" << endl;
}

Derived::Derived(const Bar &bar, const Foo &foo) :
        m_bar(bar),
        m_foo(foo)
{
        cout << "Derived constructor with argument[Bar bar, Foo foo] passed by references" << endl;
}

int main (int argc, char** argv)
{
        Foo foo;
        Bar bar;

        cout << "test case 1:" << endl;
        Derived deri_1;  //  (1)

        cout << "test case 2:" << endl;
        Derived deri_2(foo, bar);   //  (2)

        cout << "test case 3:" << endl;
        Derived deri_3(bar, foo);   //  (3)

        cout << "test case end" << endl;

        return 0;
}
  

執(zhí)行結(jié)果是：

打印出的信息可分為幾部分：

(1)創(chuàng)建對(duì)象 foo 和 bar ，執(zhí)行 Foo,Bar 的構(gòu)造函數(shù)

(2)TestCase1: 創(chuàng)建對(duì)象 deri_1，首先執(zhí)行基類Base 的構(gòu)造函數(shù)，其次執(zhí)行成員 m_foo,m_bar 的構(gòu)造函數(shù)來構(gòu)造成員，最后調(diào)用自身的構(gòu)造函數(shù) ( 無參數(shù) ) 。

(3)TestCase2: 創(chuàng)建對(duì)象 deri_2，調(diào)用順序與case1 順序相同。

(4)TestCase3: 創(chuàng)建對(duì)象 deri_3，調(diào)用順序與case1 順序相同。注意到 deri_2,deri_3 的創(chuàng)建執(zhí)行的是不同的 Derived 構(gòu)造函數(shù)，雖然構(gòu)造函數(shù)參數(shù)的順序不同，但是構(gòu)造成員的順序是相同的。

(5)銷毀對(duì)象 deri_3,deri_2,deri_1 ，析構(gòu)函數(shù)執(zhí)行順序相同，與構(gòu)造對(duì)象的順序相反。 C++ 標(biāo)準(zhǔn)規(guī)定以對(duì)象聲明相反的順序銷毀這些對(duì)象。

(6)銷毀對(duì)象 bar,foo 。

編譯運(yùn)行環(huán)境：

    $ uname -a
Linux localhost.localdomain 2.6.18-308.el5 #1 SMP Fri Jan 27 17:17:51 EST 2012 x86_64 x86_64 x86_64 GNU/Linux

$ g++ --version
g++ (GCC) 4.1.2 20080704 (Red Hat 4.1.2-52)
  

References:

[1] 高質(zhì)量 C++ 編程指南 : http://oss.org.cn/man/develop/c&c++/c/c.htm

[2] http://stackoverflow.com/q/15948381/1145750

轉(zhuǎn)載本文請(qǐng)注明作者和出處 http://garyelephant.me ，請(qǐng)勿用于任何商業(yè)用途！

Author:GaryGao 關(guān)注互聯(lián)網(wǎng)、自動(dòng)化、軟件團(tuán)隊(duì)

淺出C++對(duì)象模型——理解構(gòu)造函數(shù)、析構(gòu)函數(shù)執(zhí)行順序