变量与赋值：=、:=、?=、+= 的区别与使用场景
说实话，我刚接触 Makefile 那会儿，最头疼的就是这四种赋值方式。看着都像等号，用起来却天差地别。有一次我在一个大型 C++ 项目里，就因为用错了赋值符，导致编译出来的二进制文件链接了错误的库版本，排查了整整一个下午。
嗯，今天咱们就把这四个家伙彻底搞清楚。你想想看，如果连变量怎么赋值都搞不明白，后面那些高级玩法根本没法玩。
一、基础知识：Makefile 中的变量本质
在 Makefile 里，变量其实就是一个字符串的占位符。你可以把它理解成 C 语言里的宏定义——在解析阶段，变量会被展开成它对应的字符串值。
但问题来了：什么时候展开？展开几次？ 这就是四种赋值符的核心区别所在。
二、四种赋值符的详细解析
1. = —— 递归展开赋值
这是最基本的赋值方式。它的特点是：延迟展开。也就是说，变量在被使用的时候，才会去计算它的值。
# 示例 1：递归展开
A = hello
B = $(A) world
A = hi
all:
@echo $(B) # 输出：hi world为什么会输出 "hi world"？因为 B 的值是在 echo 执行时才计算的。此时 A 已经被重新赋值为 "hi" 了。
核心特点：
- 变量在使用时才展开
- 可以引用后面定义的变量
- 性能较差（每次使用都要重新展开）
- 可能导致无限递归（比如 A = $(A)）
⚠️ 我曾经踩过的坑： 在一个递归调用的 Makefile 里，我用 = 定义了一个变量，结果它引用了自身，导致 make 进程直接卡死。所以，= 虽然灵活，但一定要小心循环引用。
2. := —— 简单赋值（立即展开）
我个人最推荐使用的就是 :=。它的行为很直接：在定义时就立即展开，之后就不再变了。
# 示例 2：简单赋值
A := hello
B := $(A) world
A := hi
all:
@echo $(B) # 输出：hello world看到了吗？B 在定义时就把 A 的值 "hello" 抓进来了。后面 A 怎么变，跟 B 没关系。
| 特性 | = |
:= |
|---|---|---|
| 展开时机 | 使用时 | 定义时 |
| 性能 | 较差 | 较好 |
| 递归风险 | 有 | 无 |
| 推荐场景 | 少用 | 大部分场景 |
💡 我的习惯： 除非有特殊需求，否则一律用 :=。它让变量的行为更可预测，调试起来也省心。
3. ?= —— 条件赋值
这个符号的意思是：如果变量没有被定义过，才赋值；否则跳过。
# 示例 3：条件赋值
CC ?= gcc
CC ?= clang # 这一行不会生效，因为 CC 已经被定义了
all:
@echo $(CC) # 输出：gcc这个在实际项目中特别有用。比如你写了一个通用的 Makefile，用户可以通过环境变量覆盖某些配置：
# 用户可以在命令行传入：make CFLAGS="-O2 -Wall"
CFLAGS ?= -g -O0
all:
@echo $(CFLAGS) # 如果用户传了，就用用户的；否则用默认值使用场景：
- 提供默认值，同时允许用户覆盖
- 多级 Makefile 中，让顶层配置优先
- 跨平台编译时，根据不同系统设置默认工具链
4. += —— 追加赋值
这个很好理解：在原有值后面追加内容。但它有个细节需要注意——追加时是否自动加空格。
# 示例 4：追加赋值
SRC := main.c
SRC += utils.c
SRC += network.c
all:
@echo $(SRC) # 输出：main.c utils.c network.cMake 会自动在追加的内容前加一个空格。所以你不必担心字符串会粘在一起。
但要注意：+= 的行为取决于变量之前是用 = 还是 := 定义的：
- 如果之前用的是
:=，那么+=也是立即展开模式 - 如果之前用的是
=，那么+=也是递归展开模式
# 示例 5：+= 的行为继承
A = hello
A += $(B) # 递归展开模式
B = world
all:
@echo $(A) # 输出：hello world三、知识体系结构图
下面这张图帮你理清四种赋值符的关系和选择逻辑：
四、实战中的选择策略
说了这么多理论，咱们来点实际的。我在一个嵌入式项目里总结了一套规则，分享给你：
- 定义路径、编译选项等固定内容：用
:=。比如BUILD_DIR := ./build，这种值不会变，立即展开最省心。 - 提供用户可覆盖的默认值：用
?=。比如CC ?= gcc，用户想换 clang 就换。 - 逐步构建列表：用
+=。比如源文件列表，一个模块一个模块地追加。 - 尽量避免裸
=：除非你明确需要延迟展开的特性，否则别用。我见过太多因为=导致的诡异 bug 了。
一个完整的例子：
# 用户可覆盖的配置
CC ?= gcc
CFLAGS ?= -O2 -Wall
# 固定路径
BUILD_DIR := ./build
SRC_DIR := ./src
# 源文件列表（逐步追加）
SRCS := main.c
SRCS += utils.c
SRCS += network.c
# 目标文件（自动推导）
OBJS := $(SRCS:.c=.o)
OBJS := $(addprefix $(BUILD_DIR)/, $(OBJS))
all: $(OBJS)
$(CC) $(CFLAGS) -o app $(OBJS)
$(BUILD_DIR)/%.o: $(SRC_DIR)/%.c
$(CC) $(CFLAGS) -c $< -o $@💡 避坑指南： 我曾经在一个多层嵌套的 Makefile 系统里，用 = 定义了一个变量，结果它引用了另一个还没定义的变量。由于是延迟展开，make 执行时那个变量还是空的，导致整个编译链断裂。后来我全部改成 :=，问题立刻消失。
说白了，这四种赋值符就是 Makefile 的「变量兵法」。用对了，你的构建系统稳如泰山；用错了，调试起来能让你怀疑人生。我个人建议：把 := 作为默认选择，其他三种作为特例。这样既简单又可靠。
嗯，今天就聊到这儿。记住这些规则，下次写 Makefile 的时候，你就能胸有成竹了。