C语言中#define宏未传参却使用函数内变量的原理咨询

从事编程工作十余年，今日遇到一段代码令我困惑：函数内部定义的变量未作为宏参数传递，也未定义为全局变量，却能被宏调用并输出对应内容。请帮忙解析其内部原理。

相关代码 #

/*...*/
#include <stdio.h>
#define x printf("%s", f);
int main() {
    char *f = "MAIN";
    printf("Hello World");
    x;
    
    return 0;
}

输出结果 #

Hello WorldMAIN

原理解析 #

这本质是宏的文本替换特性导致的：

• 宏是在编译的预处理阶段完成替换的，它不属于函数调用，只是单纯的文本替换操作。
• 你定义的#define x printf("%s", f);，当代码中出现x;时，预处理程序会直接将其替换为printf("%s", f);，替换后的代码完全成为main函数内部的一部分。
• 此时f是main函数内的局部变量，在当前代码作用域中是可见的，因此编译和运行时都能正常读取它的值。

换句话说，宏替换后的代码和你直接在main函数里写printf("%s", f);没有任何区别，自然能访问到当前作用域的变量。

内容的提问来源于stack exchange，提问作者Rasmi Ranjan Nayak