C预处理器和C标准库

编译前还有一道「改写」工序

你写的 .c 文件进入语法与类型分析前，会先经过 预处理器（preprocessor）。它不是任意字符级“搜索替换”：源文件先经历字符映射、行拼接、注释替换和预处理记号划分，宏参数替换后还会按规则重扫。

想象出版社排版：作者交稿（源码）后，编辑先统一替换术语、插入标准版权页（#include）、按「精装版/平装版」删掉不同章节（条件编译），排完才交给印刷机（编译器）。若没有预处理器，每个 .c 都要手写一遍 stdio.h 里的声明，常量 PI 也要到处改数字。

这一章掌握宏、头文件包含与条件编译——它们决定编译器最终看到什么文本。

预处理器在流水线中的位置

完整路径仍是：源码 → 预处理 → 编译 → 汇编 → 链接。本章聚焦第一道工位。

可用 gcc -E main.c 只看预处理结果（常配合 -o main.i 保存）。

#define：常量与宏

宏（macro） 分两类：

对象式宏（无参数）——常用来起名：

#define PI 3.14159265358979323846
#define LIMIT 100
#define NL '\n'

函数式宏（带参数）——形似函数调用：

#define SQUARE(x) ((x) * (x))
#define MAX(a, b) ((a) > (b) ? (a) : (b))

要点：

• 宏名习惯全大写（与变量区分），但语言不强制
• #define 行末尾通常不加分号；替换列表还会经历参数替换与重扫，并非一次原样粘贴
• 在 #define SQUARE(x) 定义中，宏名与左括号之间不能有空白，否则定义成对象式宏；在调用 SQUARE (value) 时，空白不妨碍函数式宏识别

取消定义用 #undef NAME。

#include：把头文件「粘贴」进来

#include 两种形式：

#include <stdio.h>      /* 由实现定义的位置序列搜索 */
#include "myheader.h"   /* 先按实现定义方式搜索，失败后按尖括号形式处理 */

头文件（header） 里常见函数原型、extern 对象声明、宏与类型定义。可移植代码不要把“双引号必先当前目录”当成语言保证，应按编译器和构建系统配置 include 路径。

同一头文件被多个 .c include 时，声明会重复粘贴。用 包含守卫（include guard）：

#ifndef MYPROJECT_UTILS_H
#define MYPROJECT_UTILS_H
 
/* 声明与宏 ... */
 
#endif

C 还可用 #pragma once（非标准但广泛支持）达到类似效果；可移植项目仍推荐 #ifndef 守卫。

条件编译：按「开关」裁剪代码

条件编译（conditional compilation） 常见用途：

• 调试版 vs 发布版（DEBUG 宏）
• 跨平台差异（使用构建系统或实现文档明确提供的宏）
• 功能开关

#define DEBUG 1
 
#ifdef DEBUG
    printf("进入函数 foo, x=%d\n", x);
#else
    /* 发布版：无输出 */
#endif

相关指令：

编译时加 -DDEBUG 等价于在文件开头写 #define DEBUG，-U DEBUG 取消定义。

带参宏的经典陷阱

宏是文本替换，不是函数：没有参数类型、实参可能被求值多次、运算符优先级由展开后的文本决定。

安全习惯：

1. replacement 整体加括号：((x) * (x))
2. 每个形参加括号：((a) > (b) ? (a) : (b))
3. 避免 MAX(a++, b++) 这类副作用实参
4. 复杂逻辑用 static inline 函数（C99）或普通函数，让编译器做类型检查

C 标准库头文件可以在声明真实函数的同时提供同名函数式宏。函数式宏只有在名字后跟左括号记号时才展开，因此 &getchar 仍可取得函数地址；也可写 (getchar)() 或先 #undef getchar 抑制宏。不要假定某个实现一定把 getchar 定义成宏。

预定义宏与实用技巧

编译器预定义若干宏，便于调试与可移植代码：

printf("文件 %s 行 %d\n", __FILE__, __LINE__);
#if defined(__STDC_VERSION__) && __STDC_VERSION__ >= 199901L
    /* C99 及以上 */
#endif

标准预定义宏还包括 __DATE__、__TIME__、__STDC__；__STDC_VERSION__ 在 C11 实现中为 201112L。__DATE__ 和 __TIME__ 会让构建结果随时间变化，要求可复现构建时不应把它们写进产物标识。

字符串化 # 与连接 ##（进阶）：

#define STR_RAW(x) #x
#define STR(x) STR_RAW(x)
#define CAT_RAW(a, b) a##b
#define CAT(a, b) CAT_RAW(a, b)

# 把参数原始预处理记号拼成字符串字面量，## 把两侧记号拼成一个新记号；直接邻接它们的参数不会先按普通参数规则展开。两层宏让外层先展开参数，再交给内层字符串化或粘贴。粘贴结果必须形成有效预处理记号，不能用 ## 随意拼任意字符。

可变参数宏

C99 的 可变参数宏 适合把格式串与参数转发给日志函数：

#define TRACE(...) do {                    \
    fprintf(stderr, "[trace] ");           \
    fprintf(stderr, __VA_ARGS__);           \
    fputc('\n', stderr);                    \
} while (0)
 
TRACE("count=%d", count);

这个 C11 宏要求至少传入一个可作为 fprintf 格式串的实参。__VA_ARGS__ 仍是记号替换，不会检查格式与参数类型；编译器是否给出格式诊断取决于它能否追踪到 fprintf。不要依赖后来的 __VA_OPT__ 或厂商“吞逗号”扩展来处理空可变参数。

多行宏用 \ 续行：

#define SWAP(type, a, b) do { \
    type _tmp = (a);          \
    (a) = (b);                \
    (b) = _tmp;               \
} while (0)

do { ... } while (0) 保证在 if 后当单语句使用时不踩语法坑。

_Generic 与内联函数：把类型分派和求值分开

C11 的 泛型选择（_Generic） 可以让一个宏名选择不同类型的真实函数：

static inline int max_int(int left, int right) {
    return left > right ? left : right;
}
 
static inline double max_double(double left, double right) {
    return left > right ? left : right;
}
 
#define MAX_VALUE(a, b) _Generic(((a) + (b)), \
    int: max_int,                                \
    double: max_double                           \
)((a), (b))

((a) + (b)) 只用于确定共同类型，在 _Generic 控制位置不会求值；选中的函数调用才各求值一次 a 与 b。这个接口只支持关联表列出的类型，其他类型会诊断。函数实参之间的求值顺序仍未指定，因此不要传入相互依赖的副作用表达式。

内联函数（inline function） 有参数和返回类型检查，也不会像 MAX 宏那样重复求值实参。static inline 适合头文件中的短辅助函数；仅写具有外部链接的 inline 涉及外部定义规则，公共接口应采用项目统一模式而不是凭感觉删掉某个 .c 定义。

C 标准库：头文件、断言与数学函数

C 标准库 不只是“链接进来的函数文件”。使用接口前包含指定头文件，按声明传递匹配类型，并阅读返回值和错误协议。

assert：程序员不变量，不是用户输入校验

#include <assert.h>
#include <stddef.h>
 
double mean(const double *values, size_t count) {
    double sum = 0.0;
    size_t i;
    assert(values != NULL);
    assert(count > 0);
    for (i = 0; i < count; ++i)
        sum += values[i];
    return sum / count;
}

assert 用于违反即表示程序有 bug 的内部不变量。若在包含 <assert.h> 前定义 NDEBUG，assert 表达式完全不求值，所以其中不能放赋值、函数调用等必要副作用。文件损坏、用户输入错误和内存不足都必须走正常错误处理，不能只靠可被关闭的 assert。

math.h：先看定义域，再看错误协议

#include <math.h>
#include <stddef.h>
 
int square_root(double input, double *output) {
    if (output == NULL || input < 0.0)
        return 0;
    *output = sqrt(input);
    return 1;
}

<math.h> 提供 sqrt、pow、sin、isfinite 等数学接口。示例先执行产品定义的实数域检查；若要诊断库的域、极点或范围错误，还要依据 math_errhandling 检查 errno 和/或浮点异常。某些 Unix 工具链需要在链接命令末尾加 -lm，这是工具链约定，不是 C 源语言规则。

代码示例：调试宏与头文件守卫

config.h：

#ifndef CONFIG_H
#define CONFIG_H
 
#ifdef DEBUG
    #define LOG(msg) fprintf(stderr, "[dbg] %s\n", msg)
#else
    #define LOG(msg) ((void)0)
#endif
 
#endif

main.c：

#include <stdio.h>
#include "config.h"
 
#define TWICE(x) ((x) + (x))
 
int main(void) {
    LOG("程序启动");
    int v = TWICE(3 + 1);   /* ((3 + 1) + (3 + 1)) → 8 */
    printf("v = %d\n", v);
    return 0;
}

发布编译：gcc -O2 main.c -o app；调试：gcc -DDEBUG -g main.c -o app。

容易踩的坑

小结

• 预处理器在编译前运行：宏展开、#include 粘贴、条件编译裁剪、删注释
• #define 按预处理记号执行参数替换与重扫；带参宏注意括号、副作用与优先级
• #include <> 与 "" 搜索路径不同；头文件需要包含守卫
• #ifdef/#ifndef/#elif/#else 按宏是否定义选代码；-D/-U 在命令行控制
• 字符串化和记号粘贴有特殊参数展开顺序；可变参数宏仍不提供类型或格式安全
• _Generic 只做编译期类型选择且控制表达式不求值；static inline 提供真实函数类型与单次实参求值
• assert 可被 NDEBUG 完全关闭，只检查程序员不变量；标准库函数还要遵守定义域、返回值和错误协议

#define DOUBLE(x) x + x
int r = 20 / DOUBLE(2);

#ifndef GUARD_H
#define GUARD_H
 
#include <stdio.h>
 
#define MAX(a, b) ((a) > (b) ? (a) : (b))
 
#ifdef DEBUG
#define TRACE(...) do {              \
    fprintf(stderr, "[trace] ");     \
    fprintf(stderr, __VA_ARGS__);     \
    fputc('\n', stderr);              \
} while (0)
#else
#define TRACE(...) ((void)0)
#endif
 
#endif

名词解释