C語言編譯全流程深度解析：從源碼到可執行檔案

編輯：關於C語言

C語言編譯全流程深度解析：從源碼到可執行檔案

C 語言程式從文本源碼到可執行檔案，經歷**預處理、編譯、匯編、鏈接**四大階段。理解這一流程，是排查編譯錯誤、優化建置速度、實現跨平台建置的基石。

兩大核心環境

環境	名稱	功能	關鍵點
翻譯環境	Translation Environment	源程式 → 機器指令	包含預處理器、編譯器、匯編器、鏈接器
執行環境	Execution Environment	執行機器指令	載入器、執行時庫、作業系統核心

**關鍵認知**：翻譯環境與執行環境**不必在同一台機器**（交叉編譯即是如此）。

四大階段詳解

1. 預處理 —— 處理偽指令與特殊符號

// 輸入：hello.c → 輸出：hello.i (展開後的純 C 碼)
gcc -E hello.c -o hello.i

宏展開：#define PI 3.14 → 文本替換
條件編譯：#ifdef DEBUG ... #endif → 選擇性保留碼
檔案包含：#include <stdio.h> → 將標頭檔內容原位展開
特殊符號：__LINE__、__FILE__、__DATE__、__TIME__、__func__ → 替換為當前行號、檔案名、編譯日期/時間、函數名
刪除註解：所有註解被移除

2. 編譯 —— 詞法/語法分析、生成匯編碼

// 輸入：hello.i → 輸出：hello.s (匯編語言)
gcc -S hello.i -o hello.s

詞法分析：源碼 → Token 流
語法分析：Token → AST（抽象語法樹）
語義分析：型別檢查、作用域解析
中間代碼生成/優化：SSA 形式、常數傳播、死碼消除等
目標代碼生成：輸出特定架構匯編（x86-64, ARM, RISC-V...）

3. 匯編 —— 匯編碼 → 機器碼（目標檔）

// 輸入：hello.s → 輸出：hello.o (ELF/COFF/Mach-O 目標檔)
gcc -c hello.s -o hello.o
// 或直接：gcc -c hello.c -o hello.o

將助記符轉換為機器指令位元組
生成**重定位表**、**符號表**（全域函數/變數名）
目標檔包含：程式碼段、資料段、BSS段、符號表、重定位資訊

4. 鏈接 —— 合併目標檔、解析符號、生成可執行檔

// 輸入：main.o, utils.o, libm.a ... → 輸出：hello (可執行檔)
gcc main.o utils.o -o hello -lm

符號解析：將未定義符號（外部函數）與定義符號匹配
重定位：調整位址引用，確定最終虛擬位址
庫鏈接：
- 靜態庫：將用到的 `.o` 直接拷貝進可執行檔
- 動態庫：僅記錄庫名與符號，執行時由動態鏈接器載入

GCC 常用指令速查

指令	作用	輸出
`gcc prog.c`	完整流程生成可執行檔	a.out (或 a.exe)
`gcc prog.c -o prog`	指定輸出檔名	prog
`gcc -c prog.c`	僅編譯到目標檔	prog.o
`gcc -E prog.c`	僅預處理	標準輸出 (.i)
`gcc -S prog.c`	僅編譯到匯編	prog.s
`gcc main.c utils.c`	多檔一次編譯鏈接	a.out (保留 .o)
`gcc -Wall -Wextra -O2`	開啟警告與優化	高品質建置

ELF 可執行檔結構速覽

ELF Header
Program Header Table (段資訊，載入器使用)
+------------------+
| .text (程式碼)   |  ← RX
| .rodata (常量)   |  ← R
| .data (已初始化全域/靜態) |  ← RW
| .bss (未初始化全域/靜態)  |  ← RW (檔案中不佔空間)
| .symtab (符號表) |
| .strtab (字串表) |
| .rel.* (重定位表)|
+------------------+
Section Header Table (鏈接器/除錯器使用)