C语言预处理详解：从宏定义到条件编译

预处理器是C语言编译流程的第一站，负责处理以 # 开头的指令。本文将系统讲解预定义符号、#define 定义常量和宏、宏与函数的对比、# 和 ## 运算符、条件编译、头文件包含策略等核心知识，帮助读者写出更高效、可维护的代码。

一、预定义符号
二、#define定义常量
三、#define定义宏
四、带有副作用的宏参数
五、宏替换的规则
六、宏与函数的对比
七、#和##运算符
八、命名约定
九、#undef
十、命令行定义
十一、条件编译
十二、头文件的包含
十三、其他预处理指令

一、预定义符号

C语言提供了一些可直接使用的预定义符号，在预处理阶段被替换：

c 复制代码

__FILE__     // 当前源文件名
__LINE__     // 当前行号
__DATE__     // 文件编译日期
__TIME__     // 文件编译时间
__STDC__     // 若编译器遵循ANSI C，值为1

示例：

c 复制代码

printf("file: %s line: %d\n", __FILE__, __LINE__);

二、#define定义常量

语法：#define name stuff

c 复制代码

#define MAX 1000
#define reg register
#define do_forever for(;;)
#define CASE break;case

注意：不要在语句末尾加分号，否则可能导致语法错误。

c 复制代码

// 错误示例
#define MAX 1000;
if (condition)
    max = MAX;   // 替换后 max = 1000;; 多了一个分号
else
    max = 0;     // 编译错误

三、#define定义宏

宏允许参数替换，语法：#define name(参数列表) stuff

注意：参数列表的左括号必须紧贴宏名，不能有空格。

c 复制代码

#define SQUARE(x) ((x)*(x))

常见陷阱：不加括号会因运算符优先级产生错误结果。

c 复制代码

#define BAD_SQUARE(x) x*x
printf("%d\n", BAD_SQUARE(5+1)); // 实际为 5+1*5+1 = 11，而非36

正确做法：宏定义中每个参数和整个表达式都加括号。

c 复制代码

#define DOUBLE(x) ((x)+(x))

四、带有副作用的宏参数

副作用：表达式求值时产生的永久性效果（如自增自减）。

c 复制代码

#define MAX(a,b) ((a)>(b)?(a):(b))
int x = 5, y = 8;
int z = MAX(x++, y++);  // 危险！x++ 被多次计算

预处理后：z = ((x++)>(y++) ? (x++) : (y++));

结果：x=6, y=10, z=9（y++ 被执行两次）。

避免在宏参数中使用带副作用的表达式。

五、宏替换的规则

检查参数，若包含 #define 定义的符号，先替换。
替换文本插入原位置，参数被对应值替换。
再次扫描结果文件，重复上述过程。

注意：

宏不能递归。
字符串常量中的宏名不会被搜索替换。

六、宏与函数的对比

特性	宏	函数
代码长度	每次使用插入代码，可能大幅增加长度	只出现一次
执行速度	更快，无调用开销	有调用和返回开销
操作符优先级	需加括号，否则易错	参数在调用时求值，安全
副作用	参数可能被多次求值，导致不可预料结果	参数只求值一次
参数类型	与类型无关，适用任意类型	类型固定，需不同函数
调试	无法调试	可逐语句调试
递归	不能递归	可以递归

建议：简单运算（如取最大值）用宏；复杂逻辑或需要调试用函数。

七、#和##运算符

7.1 #运算符（字符串化）

将宏参数转换为字符串字面量。

c 复制代码

#define PRINT(n) printf("the value of "#n" is %d\n", n)
int a = 10;
PRINT(a);  // 输出：the value of a is 10

7.2 ##运算符（记号粘合）

将两侧的符号合成一个新标识符。

c 复制代码

#define GENERIC_MAX(type) \
type type##_max(type x, type y) { return (x>y?x:y); }

GENERIC_MAX(int)   // 生成 int_max 函数
GENERIC_MAX(float) // 生成 float_max 函数

八、命名约定

宏名全部大写 （如 MAX、SQUARE）
函数名不要全部大写（便于区分）

九、#undef

移除一个宏定义。

c 复制代码

#undef MAX
// 之后 MAX 不再被替换

十、命令行定义

在编译命令中定义宏，用于不同配置。

c 复制代码

// 代码中
int array[ARRAY_SIZE];

// Linux 编译时指定
gcc -D ARRAY_SIZE=10 program.c

十一、条件编译

根据条件决定是否编译某段代码，常用于调试、跨平台。

c 复制代码

#define __DEBUG__ 1
#ifdef __DEBUG__
    printf("调试信息\n");
#endif

常见指令：

c 复制代码

#if 常量表达式
    //...
#elif 常量表达式
    //...
#else
    //...
#endif

#ifdef symbol      // 等价于 #if defined(symbol)
#ifndef symbol     // 等价于 #if !defined(symbol)

条件编译可以完全去除不需要的代码，比 if 语句更高效（不生成任何机器码）。

十二、头文件的包含

12.1 两种包含方式的区别

#include <filename.h>：直接到标准库路径查找。
#include "filename.h"：先在源文件所在目录查找，未找到再到标准路径查找。

12.2 避免头文件重复包含

使用条件编译守卫：

c 复制代码

#ifndef __TEST_H__
#define __TEST_H__
// 头文件内容
#endif

或使用 #pragma once（非标准但广泛支持）。

作用：防止同一头文件被多次包含，避免重复定义和编译效率下降。

十三、其他预处理指令

#error：强制编译器报错并停止编译。
#pragma：提供编译器特定功能（如 #pragma pack(1) 设置对齐数）。
#line：修改当前行号和文件名。

总结：预处理器在编译前对源代码进行文本级操作。掌握 #define 定义常量和宏的技巧、理解宏与函数的取舍、善用条件编译和头文件守卫，能显著提升代码的灵活性和可移植性。尤其注意宏的括号问题和副作用，避免因优先级或多次求值引发的隐蔽错误。预处理知识是深入理解C语言编译流程的重要环节。

C语言预处理详解：从宏定义到条件编译