C预处理器宏疑问：为何#undef会影响函数f的编译结果？

核心原因是C预处理器严格按源文件的从上到下顺序处理所有预处理指令和宏操作，与代码所属的函数无关，只看处理到该行时宏的定义状态。

假设你的代码结构如下（匹配描述的现象）：

#define N 100

int main() {
    f();
    // 将f的内容移到此处的代码：
#ifdef N
    printf("N is %d\n", N);
#else
    printf("N is undefined\n");
#endif
}

#undef N

void f() {
#ifdef N
    printf("N is %d\n", N);
#else
    printf("N is undefined\n");
#endif
}

具体处理流程： #

• 预处理器先执行#define N 100，此时宏N被标记为已定义，值为100。
• 处理main函数内的代码时，遇到#ifdef N，此时N仍处于定义状态，因此保留printf("N is %d\n", 100);，运行时输出预期的N is 100。
• 接着执行#undef N，直接取消宏N的定义。
• 处理函数f内的代码时，#ifdef N检查到N已被取消定义，因此触发#else分支，保留printf("N is undefined\n");，调用f时就会输出这句话。

简单来说：函数f的代码在#undef之后被预处理，此时N已经不存在；而移到main里的代码在#undef之前被预处理，N还处于定义状态。预处理器只关心代码的物理位置，不关心函数的调用时机。

内容的提问来源于stack exchange，提问作者laahaa