3. 变量与赋值：=、:=、?=、+=的区别与使用场景、自动化变量$@、$<、$^

变量是Makefile的灵魂。说实话，我见过不少新手写的Makefile，变量赋值全用=，结果编译出来的东西莫名其妙。今天咱们就把这四种赋值方式彻底讲透，再聊聊那几个让你少写一半代码的自动化变量。

3.1 四种赋值运算符

先看个表格，快速建立印象：

运算符	名称	核心特点
=	递归展开赋值	使用时才展开，可能产生递归
:=	简单展开赋值	定义时立即展开，我推荐用这个
?=	条件赋值	只有未定义时才赋值
+=	追加赋值	在原有值后面追加内容

3.2 = 与 := 的区别

这是最容易被坑的地方。先看个例子：

# 递归展开赋值 =
VAR1 = hello
VAR2 = $(VAR1) world
VAR1 = hi

all:
    @echo $(VAR2)   # 输出：hi world

为什么会这样？因为=是延迟展开的。它只记录表达式，等到真正使用$(VAR2)时，才去查找$(VAR1)的当前值。这时候VAR1已经被改成hi了。

再看:=：

# 简单展开赋值 :=
VAR1 := hello
VAR2 := $(VAR1) world
VAR1 := hi

all:
    @echo $(VAR2)   # 输出：hello world

:=在定义时就展开。定义VAR2的那一刻，$(VAR1)的值是hello，所以VAR2被固定为hello world。后面VAR1怎么改都不影响它。

3.3 ?= 与 += 的使用场景

?= 说白了就是「如果没定义，我才赋值」。这个在给用户提供默认值时特别有用：

CC      ?= gcc
CFLAGS  ?= -O2 -Wall

# 用户可以在命令行覆盖：
# make CC=clang CFLAGS="-O3"

如果用户在命令行传了CC=clang，那么CC ?= gcc就不会执行。嗯，这比用ifdef判断简洁多了。

+= 就是追加内容。注意它保留了左边的赋值风格：

CFLAGS := -O2 -Wall
CFLAGS += -DDEBUG    # 等价于 CFLAGS := $(CFLAGS) -DDEBUG

LDFLAGS = -lm
LDFLAGS += -lpthread  # 等价于 LDFLAGS = $(LDFLAGS) -lpthread

3.4 自动化变量：$@、$<、$^

这三个变量能让你少写一半的重复代码。我刚开始学Makefile时，每条规则都手写目标名和依赖名，后来发现这些变量简直就是救星。

变量	含义	示例值
$@	规则的目标文件名	main.o
$<	第一个依赖文件	main.c
$^	所有依赖文件（去重）	main.c utils.c

看个实际例子：

OBJS = main.o utils.o

app: $(OBJS)
    gcc -o $@ $^
    # 展开后：gcc -o app main.o utils.o

main.o: main.c
    gcc -c -o $@ $<
    # 展开后：gcc -c -o main.o main.c

utils.o: utils.c
    gcc -c -o $@ $<
    # 展开后：gcc -c -o utils.o utils.c

你想想看，如果没有这些自动化变量，每个目标都得手写一遍文件名。项目大了之后，改个名字都得改好几处，很容易漏掉。

3.5 实战：一个完整的编译规则

把上面学的串起来，写个通用的编译规则：

CC      := gcc
CFLAGS  := -O2 -Wall -Iinclude
LDFLAGS := -lm

SRCS    := main.c utils.c
OBJS    := $(SRCS:.c=.o)
TARGET  := app

# 默认目标
$(TARGET): $(OBJS)
    $(CC) -o $@ $^ $(LDFLAGS)

# 通用编译规则
%.o: %.c
    $(CC) $(CFLAGS) -c -o $@ $<

# 清理
clean:
    rm -f $(OBJS) $(TARGET)

# 允许用户覆盖编译器
CC ?= gcc

这段代码里，$@、$<、$^各司其职。你只需要维护SRCS列表，其他事情交给自动化变量处理。

3.6 知识体系图

下面这张图帮你理清本章的知识脉络：

这张图把本章内容分成三大块：赋值运算符、自动化变量、实战应用。赋值运算符决定了变量什么时候被求值，自动化变量让你在规则里少写重复代码，实战应用就是把它们组合起来写出优雅的Makefile。