4、Makefile自动变量：$@、$<、$^、$?等自动变量的使用场景与实战

说实话，我刚学Makefile那会儿，最烦的就是写规则时重复写目标名和依赖名。明明就那几个文件名，却要在命令里写好几遍。后来我才知道，Makefile早就替我想好了——自动变量就是干这个的。

自动变量说白了就是Makefile内置的缩写符号。它们能自动匹配当前规则中的目标、依赖等关键信息。用好了，你的Makefile能少写一半代码，而且更不容易出错。

4.1 四大核心自动变量

我平时用得最多的就四个：$@、$<、$^、$?。咱们一个一个说清楚。

自动变量	含义	典型场景
$@	当前规则的目标文件名	编译输出、链接生成
$<	依赖列表中的第一个依赖	单文件编译、复制操作
$^	所有依赖文件（去重后）	链接多个目标文件
$?	比目标新的所有依赖	增量编译、选择性操作

4.2 $@：目标文件，规则的灵魂

$@ 代表当前规则的目标。不管你的目标叫什么，它都能自动取到。我个人习惯在所有编译规则里都用它，这样改目标名时不用改命令。

# 不用自动变量
main.o: main.c
    gcc -c main.c -o main.o

# 用 $@ 改写
main.o: main.c
    gcc -c $< -o $@

你看，第二版里 -o $@ 自动展开成 -o main.o。如果我把目标改成 app.o，命令完全不用动。

4.3 $<：第一个依赖，单文件编译的利器

$< 只取依赖列表里的第一个文件。在模式规则里，这个变量特别好用。

# 模式规则：所有 .o 文件依赖对应的 .c 文件
%.o: %.c
    gcc -c $< -o $@

这里 $< 自动展开成 main.c、utils.c 等。我曾经在项目里用这个模式规则一口气编译了200多个源文件，一行命令都没多写。

4.4 $^：所有依赖，链接阶段的王牌

链接多个目标文件时，$^ 能帮你省不少事。它会收集所有依赖文件，自动去重。

app: main.o utils.o network.o
    gcc $^ -o $@

# 等价于
app: main.o utils.o network.o
    gcc main.o utils.o network.o -o app

嗯，这里要注意：$^ 会自动去重。如果同一个文件在依赖列表里出现两次，它只会保留一个。大部分情况下这是好事，但如果你需要保留重复项，就得用 $+ 了。

4.5 $?：增量编译的秘密武器

$? 只包含那些比目标文件新的依赖。这个变量在增量编译场景下特别有用。

# 只重新编译修改过的文件
libapp.a: main.o utils.o network.o
    ar rcs $@ $?

# 如果只有 main.c 修改了，$? 展开为 main.o
# 等价于：ar rcs libapp.a main.o

为什么说它厉害？你想想看，如果项目有100个文件，只改了1个，用 $^ 会把所有文件重新打包，而 $? 只处理那1个。在大项目里，这个差异可能就是几秒和几分钟的区别。

4.6 自动变量实战：一个完整的编译系统

下面是我在实际项目中用过的模板，把四个变量都用上了：

CC = gcc
CFLAGS = -Wall -O2
LIBS = -lm

# 模式规则：编译
%.o: %.c
    $(CC) $(CFLAGS) -c $< -o $@

# 链接
app: main.o utils.o calc.o
    $(CC) $^ -o $@ $(LIBS)

# 增量打包静态库
libapp.a: main.o utils.o calc.o
    ar rcs $@ $?

# 清理
clean:
    rm -f *.o app libapp.a

这个Makefile里：

• $< 负责取源文件编译
• $@ 负责输出目标文件
• $^ 负责收集所有目标文件链接
• $? 负责只打包修改过的文件

4.7 知识体系总览

下面这张图把自动变量的关系梳理清楚了：

4.8 其他自动变量

除了上面四个，还有几个用得少但偶尔能救命的：

变量	含义	示例
$+	所有依赖（保留重复）	需要重复链接同一库时
$*	模式匹配的茎（stem）	从 %.o 中提取文件名
$(@D)	目标文件的目录部分	obj/main.o → obj
$(@F)	目标文件的文件名部分	obj/main.o → main.o

4.9 避坑指南

我这些年用自动变量踩过的坑，列出来给你提个醒：

• 不要在依赖列表里用自动变量——它们只在命令部分展开。我曾经在依赖里写 $@，结果展开成空字符串，规则直接废了。
• 注意 $^ 的去重行为——如果你需要重复依赖，用 $+ 替代。
• $< 只取第一个——在多依赖规则里，别指望它代表所有文件。
• $? 在首次构建时等于所有依赖——因为目标文件不存在，所有依赖都比它新。