让我来一步步解答你的两个问题——先聊聊为什么#define和#undef常被看作代码异味，再拆解你遇到的条件宏定义编译差异的底层逻辑。

一、为什么#define和#undef被视为代码异味？ #

宏定义和宏取消本身是C/C++预处理的基础工具，但在现代代码实践中常被标记为"代码异味"，主要是因为它们容易引发各种隐蔽问题：

• 完全没有类型检查：宏是纯文本替换，不像变量或函数有明确的类型约束。比如#define MAX 100，如果有人误把它当成字符串使用，预处理阶段不会报错，直到编译甚至运行时才会出问题，排查起来特别麻烦。
• 作用域模糊不清：宏的作用域是从定义点到文件末尾（或#undef处），没有局部变量那样的块级作用域。如果在函数里随便定义宏，很容易意外污染后续代码，多人协作时这种问题极难追踪。
• 调试难度拉满：宏替换是在预处理阶段完成的，调试器看不到宏的原始名称，只能看到替换后的文本。比如#define ADD(a,b) a+b，调用ADD(1+2,3)实际会变成1+2+3，复杂场景下的错误根本没法快速定位。
• 容易触发意外行为：宏替换不考虑上下文，带参数的宏如果没加足够括号，会导致运算符优先级问题。比如#define MUL(a,b) a*b，调用MUL(1+2,3)会变成1+2*3，结果是7而不是预期的9，这类bug隐蔽性极强。
• #undef的滥用风险：用#undef取消宏定义时，如果不小心取消了全局宏，会导致依赖该宏的代码出现莫名其妙的错误，而且很难快速定位到是#undef搞的鬼。

二、条件语句中宏定义的编译差异及预处理原理 #

你遇到的两段代码编译结果不同，核心原因是预处理阶段完全独立于编译阶段，根本不理解C/C++的流程控制逻辑。

预处理阶段的核心特点 #

预处理是编译的第一步，只处理所有以#开头的指令（比如#define、#include、#ifdef等）。这时候程序还没进入语法分析、变量求值的阶段——简单说，预处理程序根本不知道if(x == 1000)是什么意思，它只会把这段代码当成普通文本直接跳过，然后处理里面的#define指令。

分析你的两段代码 #

第一段代码：

if(x == 1000) { #define MACRO_EXAMPLE 1 } else { #define MACRO_EXAMPLE 1 }

预处理时，不管x的值是多少，两个#define MACRO_EXAMPLE 1都会被执行。因为两次定义的宏值完全相同，大多数编译器（比如MSVC）会认为这是"无害的重复定义"，不会触发警告（或者警告等级较低，默认不显示），所以代码能正常编译。

第二段代码：

if(x == 1000) { #define MACRO_EXAMPLE 1 } else { #define MACRO_EXAMPLE 2 }

同样，预处理阶段会执行两个#define：先定义MACRO_EXAMPLE为1，再定义它为2。这时候宏的前后定义值不同，编译器会触发C4005警告（宏重定义），因为这很可能是开发者的失误——预处理程序无法判断你是故意还是不小心重复定义了不同的值。

补充说明 #

如果你想实现"根据条件定义不同宏"的逻辑，不能用普通的if语句，而应该用预处理的条件指令，比如：

#if x == 1000
#define MACRO_EXAMPLE 1
#else
#define MACRO_EXAMPLE 2
#endif

注意这里的x必须是预处理阶段能识别的常量（比如另一个宏），而不是运行时的变量。如果要根据运行时变量的值来切换逻辑，应该用普通的变量或函数，而不是宏。

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