最直接有效的方式是用 gcc -E 停在预处理阶段展开宏，配合 -dD 查看所有定义的宏，并通过输出确认条件编译是否生效、头文件是否正确包含及宏展开实际结果。
gcc -E 输出宏展开后的代码
最直接有效的方式是让 GCC 停在预处理阶段，把所有宏都展开成实际文本。这能让你一眼看出 #define 到底替换了什么、条件编译是否生效、头文件是否被正确包含。
常用命令：
-
gcc -E source.c：结果输出到终端，适合快速查看小文件 -
gcc -E source.c -o source.i：保存为source.i，方便用编辑器搜索或比对 -
gcc -E -I/path/to/headers source.c：若宏依赖自定义头文件，需加-I指定路径
注意：source.i 是纯文本，没有语法高亮也没有行号关联，但它是真实参与后续编译的代码——你看到的，就是编译器“看到”的。
用 -dD 保留原始宏定义列表
仅看展开结果有时不够，比如你想确认某个宏是否被定义、值是多少、来自哪个头文件。-dD 参数能让 gcc -E 在输出开头附上所有已定义的宏（包括内置宏和 -D 命令行传入的）。
示例：
gcc -E -dD hello.c | head -20
你会看到类似：
#define __STDC__ 1
#define __linux__ 1
#define M 100
#define DEBUG_PRINT(x) do { fprintf(stderr, "[DEBUG] %s:%d: %s = %d\n", __FILE__, __LINE__, #x, x); } while(0)关键点：
- 内置宏（如
__linux__、__STDC__）反映平台与标准环境 - 命令行定义的宏（如
gcc -DM=100）会出现在这里，验证是否传入成功 - 未出现在列表里的宏，说明它根本没被定义——可能是拼写错误、条件编译屏蔽、或头文件没被包含
检查宏是否被条件编译屏蔽
宏定义常配合 #ifdef、#if 使用，而调试时最常遇到的问题是“明明写了宏，却没生效”。这时不能只看宏有没有定义，得看它是否被预处理器跳过。
方法：
- 用
gcc -E查看输出中对应代码段是否存在；如果整块逻辑消失了，说明条件不满足 - 结合
-dD确认条件判断所依赖的宏（如ENABLE_LOG）是否真被定义 - 临时加
#error "HERE"在条件分支内，如果编译报错，说明该分支被选中；否则被跳过
常见陷阱：
-
#ifdef DEBUG但只写了#define DEBUG而没赋值，GCC 仍视其为已定义（非空即真） -
#if DEBUG == 1要求DEBUG必须是数值型宏，若未定义或定义为空，预处理器按 0 处理，可能误判
宏调试容易忽略的细节
宏不是函数，不占栈、不查类型、不单步——它的行为完全取决于文本替换时机和上下文。
几个必须盯住的点：
- 宏参数未加括号导致优先级错误，例如
#define SQUARE(x) x * x遇到SQUARE(a + b)展开为a + b * a + b - 宏内含副作用表达式（如
i++），展开后可能被多次求值 -
#include路径问题：用""和查找顺序不同，宏定义可能因头文件未正确加载而失效 - 同一宏在不同编译单元中定义不一致（尤其跨文件、跨库），
gcc -E只反映当前文件视角，需逐个检查
真正麻烦的从来不是“宏没定义”，而是“它被定义了，但展开方式和你想象的不一样”。每次怀疑宏行为异常，先跑一遍 gcc -E，再对照源码逐行比对——这是唯一可靠路径。
