C/C++ 源程序、目標文件、Makefile 與編譯鏈接全流程圖解

核心概念

• 源程序：所有 .c/.cpp、.h/.hpp 文件的集合，邏輯上構成完整程序。
• 目標文件：每個源文件編譯生成的 .obj (Windows) / .o (Linux)，包含機器碼、符號表、重定位信息。
• 可執行文件：鏈接器將多個目標文件 + 庫文件合併，解析符號引用，生成 .exe / out。

編譯鏈接流程

源文件 A.cpp  ──編譯──→ A.obj
源文件 B.cpp  ──編譯──→ B.obj
源文件 C.cpp  ──編譯──→ C.obj
       │
       ▼
   鏈接器
       │
       ▼
   程序.exe

為什麼分文件編譯？

1. 增量構建：修改 A.cpp 只需重新編譯 A.obj，再鏈接，節省時間。
2. 模塊化：職責分離，團隊並行開發。
3. 接口隔離：.h 聲明接口，.cpp 實現細節，降低耦合。

Makefile / 建構系統角色

• 描述**文件依賴關系**：A.obj: A.cpp A.h。
• 定義**構建命令**：cl /c A.cpp / g++ -c A.cpp。
• 支持**增量判斷**：比較時間戳決定是否重建。
• IDE 內部維護：VS 用 .vcxproj，Qt 用 .pro，CMake 生成原生構建文件。

函數「全局性」與多文件調用

非 static 函數默認外部鏈接，符號對所有目標文件可見。

• A.cpp 定義 void foo() → A.obj 導出符號 foo。
• B.cpp 聲明 extern void foo(); 或包含 A.h → 調用 foo()。
• 鏈接時解析 B.obj 對 foo 的引用 → 綁定到 A.obj 的定義。

static 函數/變量：內部鏈接，符號不導出，僅本目標文件可見，避免符號衝突。

常見問題答疑

「多個源文件不就能通用函數了嗎，為什麼還分能否被調用？」

**能否被調用 = 是否聲明 + 鏈接時能否解析符號**。

• 僅定義無聲明：其他文件不知函數存在，編譯報「未聲明標識符」。
• 聲明但未鏈接定義：編譯通過，鏈接報「未解析的外部符號」。
• 正確做法：.h 放聲明，所有需調用文件 #include，鏈接時包含定義所在 .obj。

總結

源程序 = 多源文件集合。編譯器逐文件生成目標文件，鏈接器按依賴圖合併生成可執行文件。**Makefile/構建系統描述依賴與命令**，實現增量構建。函數跨文件調用需：聲明可見 + 定義鏈接。理解此流程是掌握 C/C++ 工程化的基石。