Makefile 執行機制深度解析：依賴圖、時間戳與遞迴建構流程

make 依據 Makefile 中定義的**目標-依賴-命令**規則，構建有向無環圖 (DAG)，透過檔案修改時間戳比較決定哪些目標需要重建。本文詳細解析 make 的啟動流程、依賴遞迴解析、時間戳判斷邏輯、偽目標處理，並說明為何修改單一來源檔僅觸發最小必要重建。

Makefile 核心規則語法

target ... : prerequisites ...
    command
    ...

• target：目標檔 (執行檔、.o、.a) 或偽目標標籤。
• prerequisites：依賴檔或目標。
• command：Shell 命令 (必須以 **Tab** 開頭)。

make 預設執行流程 (輸入 make 無參數)

1. 在當前目錄尋找 Makefile 或 makefile。
2. 讀取檔案，**第一個目標** 視為**終極目標** (範例中為 edit)。
3. 若終極目標不存在，或其任何依賴檔**修改時間較新**，則執行其命令重建。
4. 對每個依賴檔遞迴執行步驟 3 (深度優先)，構建完整依賴鏈。
5. 最底層依賴為原始碼 (.c/.h)，存在且無依賴則停止遞迴。
6. 自底向上執行命令：編譯 .c → .o，連結 .o → 執行檔。

範例依賴圖解析

edit : main.o kbd.o command.o display.o
    cc -o edit main.o kbd.o command.o display.o

main.o : main.c defs.h
    cc -c main.c
kbd.o : kbd.c defs.h command.h
    cc -c kbd.c
command.o : command.c defs.h command.h
    cc -c command.c
display.o : display.c defs.h buffer.h
    cc -c display.c

clean :
    rm edit *.o

修改 command.h → kbd.o、command.o 時間戳過舊 → 重新編譯兩者 → edit 依賴更新 → 重新連結。

修改 defs.h → 所有 .o 依賴它 → 全部重編 → 重新連結。

關鍵行為特性

進階：變數、模式規則、自動推導

CC = gcc
CFLAGS = -Wall -O2
OBJS = main.o kbd.o command.o display.o

edit : $(OBJS)
    $(CC) -o $@ $^

%.o : %.c defs.h
    $(CC) $(CFLAGS) -c $< -o $@

clean :
    rm -f edit $(OBJS)

• $@：目標檔名；$^：所有依賴；$<：第一個依賴。
• 模式規則 %.o : %.c 自動套用所有 .c→.o 編譯。
• 內建推導規則已包含 .c.o，簡單專案可無需顯式寫編譯規則。

最佳實踐建議

1. 將編譯選項、目標名集中定義在變數區，便於維護。
2. 使用 make -jN 並行建構 (N=CPU 核心數)，大幅加速大型專案。
3. 偽目標宣告 .PHONY: clean install 避免與同名檔案衝突。
4. 產生相依關係檔 .d (GCC -MMD -MP) 自動追蹤 #include 變動。
5. 跨平台專案優先考慮 CMake，由 CMake 產生原生 Makefile/VCXProj。