为何含DIFF宏的C++代码输出异常？求解析运行逻辑

先看你提供的代码：

#include <iostream>
#define DIFF(x,y) x-y

int main()
{
    std::cout <<   DIFF(5,3) << std::endl;
    std::cout << 1*DIFF(5,3) << std::endl;
    std::cout << 2*DIFF(5,3) << std::endl;
    std::cout << 3*DIFF(5,3) << std::endl;
    std::cout << 4*DIFF(5,3) << std::endl;
    std::cout << 5*DIFF(5,3) << std::endl;
    std::cout << 6*DIFF(5,3) << std::endl;
    std::cout << 7*DIFF(5,3) << std::endl;
    std::cout << 8*DIFF(5,3) << std::endl;
    std::cout << 9*DIFF(5,3) << std::endl;
    
    return 0;
}

运行后输出：

2
2
7
12
17
22
27
32
37
42

问题出在宏的文本替换特性 #

C++里的#define是纯文本替换，不是函数调用——它只会原封不动地把DIFF(x,y)替换成x-y，不会自动给表达式加括号，这就触发了运算符优先级的问题。我们逐个拆解每个输出对应的实际代码：

• 第一个DIFF(5,3) → 直接替换为5-3，结果2，符合预期。
• 第二个1*DIFF(5,3) → 替换成1*5-3，乘法优先级比减法高，先算1*5=5，再减3得2，所以输出2。
• 第三个2*DIFF(5,3) → 替换成2*5-3，先算2*5=10，减3得7，对应输出7。
• 后面的表达式以此类推：
  • 3*DIFF(5,3) → 3*5-3=15-3=12
  • 4*DIFF(5,3) → 4*5-3=20-3=17
  • ...
  • 9*DIFF(5,3) → 9*5-3=45-3=42

这就是为什么从第三个输出开始，结果都是n*5-3的计算值，而不是你可能预期的n*(5-3)=2n。

修正方法：给宏的参数和整体加括号 #

要让宏的行为符合预期，必须给每个参数和整个表达式都加上括号，避免运算符优先级的干扰：

#define DIFF(x,y) ((x)-(y))

这样替换后，n*DIFF(5,3)会变成n*((5)-(3))，先计算括号内的5-3=2，再乘以n，结果就是2n，和预期一致。

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