C语言中，宏ADD1与ADD2因替换体空格差异为何输出不同？

问题的核心在于C语言宏是纯文本替换，而非函数调用，空格在这里直接改变了替换后代码的语法结构：

1. 对于宏#define ADD1(a,b)(a+b)
   调用ADD1(x,++y)时，宏会直接把参数文本替换进定义，得到：

   z1=(x+++y);
   

   C编译器遵循「最大匹配原则」，会把x+++y解析为x++ + y——先取x的当前值5，x自增为6，再加上y的当前值2，最终z1=7，x=6，y=2。

2. 对于宏#define ADD2(a,b)(a + b)
   调用ADD2(x,++y)时，替换后得到：

   z2=(x + ++y);
   

   这里++y作为独立的前置自增操作，先把y从2变为3，再和x的5相加，最终z2=8，x=5，y=3。

简单来说，ADD1定义里a+b没有空格，导致替换后x和++y的符号被合并成了x++，而ADD2的空格避免了这种符号合并，最终造成了执行逻辑的差异。

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