C++ 與 Java 編譯運行全流程深度解析：從源碼到進程的本質差異

C++ 編譯鏈接運行模型

1. 編譯單元與符號表

每個 `.cpp` 為一編譯單元。全局視角只見聲明/定義：變量（佔內存，存全局區）、函數體（指令，存代碼區）、類定義（編譯期類型檢查，運行期不存在）。編譯器掃描構建符號表：符號名、類型（內存佈局/初始化）、內容（數據/代碼地址）。局部掃描做符號消解（本單元聲明/符號表查找）與語法檢查，未聲明報錯。翻譯階段將符號替換為地址/偏移，生成 `.obj`（指令碼）和符號表。

2. 鏈接：符號消解與合併

掃描所有 `.obj`，用符號表填充「問號」符號（外部引用）。合併代碼段形成大代碼段，合併數據段形成大數據段（全局變量連續佈局）。生成 `.exe`：代碼區 + 數據區。

3. 運行：進程映像構建

OS 載入 `.exe`：分配代碼區、數據區（全局/靜態/常量）、棧區、堆區。入口點 `_start` → 初始化運行時 → `main`。此時類已「消失」，只剩函數指令與數據佈局。

靜態 vs 動態聯編

• 靜態：編譯期確定（函數重載、模板實例化、全局變量佈局）。
• 動態：運行期確定（虛函數調用、動態鏈接庫符號解析、多態 `p->fun()`）。本質：運行期才真正執行指令流，根據對象動態類型分派。

三類語句本質

• 聲明性：引入符號（`extern int x;` `class Foo;`）。
• 定義性：分配存儲/生成代碼（`int x;` `void foo(){}`）。
• 運行性：`main` 後真正執行的指令（函數體內非靜態語句）。函數內 `new`/變量定義屬「半運行性」：編譯期確定分配邏輯，運行期執行分配指令。

Java 編譯運行模型

1. 編譯：源碼 → 字節碼

單次編譯無鏈接。`import` 僅為符號添加包名前綴（全限定名）。生成 `.class` 文件，含字節碼、常量池、符號引用（字符串形式）。

2. 運行：類加載器動態加載

啟動類（含 `main`）先加載。首次主動使用類（`new`、靜態字段/方法、`Class.forName`、子類初始化）觸發加載：雙親委派模型 → 字節碼驗證 → 準備（靜態字段賦零值） → 解析（符號引用→直接引用） → 初始化（`` 執行靜態賦值/塊）。

3. 類文件獨立性

每類一 `.class` 文件，便於類加載器按全限定名（包名轉路徑）定位。`public` 類強制文件同名，編譯期預加載提速（被多處引用）。非 `public` 類按需加載。

include vs import 本質

• `#include`：文本展開，預處理階段，代碼量增大，符號直接可見。
• `import`：編譯期符號重寫（添加包名前綴），無文本展開，無目錄查找動作。查找發生於運行期類加載。

類的本質：編譯期模板 vs 運行期實體

• C++：類純編譯期構造。成員函數 → 復姓函數（`Class::func`），成員變量 → 偏移量。運行期無類元信息（除非 RTTI）。
• Java：類為運行期實體（`java.lang.Class` 對象）。支持反射、動態代理、註解處理。類加載器將類元數據載入方法區。

C++ 動態鏈接庫 (DLL)

導出符號（函數/變量/類成員）以修飾名導出。`__declspec(dllexport)` 類導出所有成員。本質：共享代碼段 + 共享/進程私有數據段。運行期 `LoadLibrary`/`GetProcAddress` 解析符號地址。

C# 介於兩者：程序集

多類打包為 `.dll`（程序集），含清單（元數據）。編譯期引用程序集解析符號 → 運行期按程序集名+命名空間+類名動態加載。`using` = `import` = 符號前綴。

總結

C++：靜態編譯鏈接，極致性能，手動內存，無運行期類。Java：動態類加載，豐富運行時（GC、反射、JIT），安全沙箱。C#：程序集粒度動態加載，融合兩者優點。理解本質差異，才能跨語言架構設計、性能調優、疑難排查。