要更深入瞭解C++， 必須要知道一個程式從開始到結束都幹了些什麼， 怎麼幹的。 所以我從C++編譯到執行過程，解析下程式是怎麼跑的。

        首先，初略的說一下之前C++的編譯過程，C++編譯過程包括預編譯-》彙編-》編譯-》連結。稱為一個可執行檔案。（Windows平臺下為.exe檔案）。

預編譯主要展開包含的標頭檔案，巨集定義等操作。例如一個簡單的main程式，編譯預編譯後，的檔案對比。

  可以看到裡面的巨集已經被去掉了。如果定了那個巨集，那麼巨集裡面的內容也會顯示出來。標頭檔案也是，如果你包含了你一個.h 檔案，那麼整個.h檔案會包含進來。

     彙編過程，就是把已經預編譯的檔案編譯成彙編程式碼的過程，整個過程會包含語法，詞法的分析，和一些優化操作。

     編譯過程其實是跟彙編可以合成一個階段，變成目的碼。也就是二進位制檔案。

     連結過程是將單個編譯後的檔案連結成一個可執行程式。前面的預編譯、彙編、編譯都是正對單個檔案，以一個檔案為一個編譯單元，而連結則是將所有關聯到的編譯後單元檔案和應用的到庫檔案，進行一次連結處理，之前編譯過的檔案 如果有用到其他檔案裡面定義到的函式，全域性變數，在這個過程中都會進行解析。

首先看看編譯後的檔案樣子（已VS2012編譯後的OBJ檔案為例子，不同編譯器 樣式可能會不同。）

編譯前的檔案

#include "Car.h"
int main(int argc, char* argv[])
{
 Car* p = new Car();

 delete p;
 return 1;
}

編譯後的樣子（由於編譯後的檔案 資訊太多 只貼出裡面未解析符號部分。）

 UNDEF:00002DC4 ; int __thiscall Car::Car(Car *__hidden this)
UNDEF:00002DC4                 extrn [email protected]@[email protected]:near ; CODE XREF: _main+63p
UNDEF:00002DC8 ; int __thiscall Car::~Car(Car *__hidden this)
UNDEF:00002DC8                 extrn

[email protected]@[email protected]:near
UNDEF:00002DC8                                         ; CODE XREF: Car::`scalar deleting destructor'(uint)+26p
UNDEF:00002DCC ; __fastcall _RTC_CheckStackVars(x, x)
UNDEF:00002DCC                 extrn @[email protected]:near
UNDEF:00002DCC                                         ; CODE XREF: std::_String_alloc<0,std::_String_base_types<char,std::allocator<char>>>::_Alloc_proxy(void)+68p
UNDEF:00002DCC                                         ; $LN19+72p ...
UNDEF:00002DD0 ; __fastcall __security_check_cookie(x)
UNDEF:00002DD0                 extrn @[email protected]:near
UNDEF:00002DD0                                         ; CODE XREF: [email protected]@[email protected]@[email protected]@[email protected]+Fp
UNDEF:00002DD0                                         ; [email protected][email protected]@@[email protected]@[email protected][email protected]@@@[email protected]@[email protected]@[email protected]@Z+Fp ...
UNDEF:00002DD4 ; __stdcall _CxxThrowException(x, x)

編譯後的檔案用（用反彙編成彙編程式碼檢視） 其中實現函式會變成一堆彙編指令。而那些引用到的在其他檔案裡面實現的函式將會變成一個特點的符號（如上面中的呼叫Car類的建構函式 extrn [email protected]@[email protected]:near）這些符號稱做為解析的符號，表示在連結的時候需要被解析。符號的生成名稱具體跟編譯器有關，但是會保證一個類的某個函式名稱在同一個編譯裡面必須是唯一的，因為我們在預編譯階段已經把Car.h包含進來所以編譯器能正確生成這個函式的名字，然後在連結的時候 會找到改名字的函式，把此標識名字替換為函式的地址。這樣就實現的連結。

在符號解析(symbol resolution)階段，連結器按照所有目標檔案和庫檔案出現在命令列中的順序從左至右依次掃描它們，在此期間它要維護若干個集合:(1)集合E是將被合併到一起組成可執行檔案的所有目標檔案集合；(2)集合U是未解析符號(unresolved symbols，比如已經被引用但是還未被定義的符號)的集合；(3)集合D是所有之前已被加入到E的目標檔案定義的符號集合。一開始，E、U、D都是空的。

(1): 對命令列中的每一個輸入檔案f，連結器確定它是目標檔案還是庫檔案，如果它是目標檔案，就把f加入到E，並把f中未解析的符號和已定義的符號分別加入到U、D集合中，然後處理下一個輸入檔案。

(2): 如果f是一個庫檔案，連結器會嘗試把U中的所有未解析符號與f中各目標模組定義的符號進行匹配。如果某個目標模組m定義了一個U中的未解析符號，那麼就把 m加入到E中，並把m中未解析的符號和已定義的符號分別加入到U、D集合中。不斷地對f中的所有目標模組重複這個過程直至到達一個不動點(fixed point)，此時U和D不再變化。而那些未加入到E中的f裡的目標模組就被簡單地丟棄，連結器繼續處理下一輸入檔案。

(3): 如果處理過程中往D加入一個已存在的符號，或者當掃描完所有輸入檔案時U非空，連結器報錯並停止動作。否則，它把E中的所有目標檔案合併在一起生成可執行檔案。