1. 程式人生 > >對象的構造順序(十六)

對象的構造順序(十六)

C++ 對象的構造順序

在 C++ 中的類可以定義多個對象,那麽對象構造的順序是怎樣的呢?對於局部對象當程序執行流到達對象的定義語句時進行構造。我們以代碼為例進行分析

#include <stdio.h>

class Test
{
private:
    int mi;
public:
    Test(int i)
    {
        mi = i;
        
        printf("Test(int i): %d\n", mi);
    }
    
    Test(const Test& obj)
    {
        mi = obj.mi;
        
        printf("Test(const Test& obj): %d\n", mi);
    }
};

int main()
{
    int i = 0;
    Test a1 = i;        // Test(int i): 0
        
    while( i < 3 )
    {
        Test a2 = ++i;  // Test(int i): 1, 2, 3 
    }
        
    if( i < 4 )
    {
        Test a = a1;     // Test(const Test& obj): 0
    }
    else
    {
        Test a(100);
    }
    
    return 0;
}

我們按照程序的執行流可以看到先是執行對象 a1 的創建,接著是對象 a2 的創建 3 次,最後是對象 a 的拷貝構造。我們看看結果是否如我們所分析的那樣

技術分享圖片

我們看到局部對象的構造順序確實如我們所想的那樣。如果我們使用 goto 語句呢,我們看個代碼

#include <stdio.h>

class Test
{
private:
    int mi;
public:
    Test(int i)
    {
        mi = i;
        
        printf("Test(int i): %d\n", mi);
    }
    
    Test(const Test& obj)
    {
        mi = obj.mi;
        
        printf("Test(const Test& obj): %d\n", mi);
    }
    
    int getMI()
    {
        return mi;
    }
};

int main()
{
    int i = 0;
    Test a1 = i;        // Test(int i): 0
        
    while( i < 3 )
    {
        Test a2 = ++i;  // Test(int i): 1, 2, 3 
    }
    
goto End;
    Test a(100);
End:
    printf("a.mi = %d\n", a.getMI());
    
    return 0;
}

我們來編譯看看

技術分享圖片

編譯直接出錯,因為我們使用了 goto 語句,導致程序的執行流出錯了。

接下來我們來看看堆對象的構造順序,當程序執行流到達 new 語句時創建對象,使用 new 創建對象將自動觸發構造函數的調用

下來還是以代碼為例來分析堆對象的構造順序

#include <stdio.h>

class Test
{
private:
    int mi;
public:
    Test(int i)
    {
        mi = i;
        
        printf("Test(int i): %d\n", mi);
    }
    
    Test(const Test& obj)
    {
        mi = obj.mi;
        
        printf("Test(const Test& obj): %d\n", mi);
    }
    
    int getMI()
    {
        return mi;
    }
};

int main()
{
    int i = 0;
    Test* a1 = new Test(i); // Test(int i): 0
        
    while( ++i < 10 )
        if( i % 2 )
            new Test(i); // Test(int i): 1, 3, 5, 7, 9
        
    if( i < 4 )
        new Test(*a1);
    else
        new Test(100); // Test(int i): 100
    
    return 0;
}

我們看看是否如我們所註釋的那樣執行的

技術分享圖片

確實,堆對象的構造順序是跟 new 關鍵字有關系的。下來我們來看看全局對象,對象的構造順序是不確定的,不同的編譯器使用不同的規則來確定構造順序。還是以代碼為例來進行驗證


test.h 源碼

#ifndef _TEST_H_
#define _TEST_H_

#include <stdio.h>

class Test
{
public:
    Test(const char* s)
    {
        printf("%s\n", s);
    }
};

#endif


t1.cpp 源碼

#include "test.h"

Test t1("t1");


t2.cpp 源碼

#include "test.h"

Test t2("t2");


t3.cpp 源碼

#include "test.h"

Test t3("t3");


test.cpp 源碼

#include "test.h"

Test t4("t4");

int main()
{
    Test t5("t5");
    
    return 0;
}

我們來編譯看看結果

技術分享圖片

這個結果貌似跟我們指定編譯的順序有關系,我們再來看看BCC編譯器呢

技術分享圖片

再來試試 VS2010

技術分享圖片

以前博主在書上和視頻中看到過全局對象的構造順序是不確定的,可能現在的編譯器做了優化吧。反正我們記住就可以了,盡量避免使用全局對象。通過對對象的構造順序的學習,總稽核如下:局部對象的構造順序依賴於程序的執行流;堆對象的構造順序依賴於 new 的使用順序;全局對象的構造順序是不確定的


歡迎大家一起來學習 C++ 語言,可以加我QQ:243343083

對象的構造順序(十六)