C语言i++与++i的宏展开问题：不同编译器输出差异解惑

先明确核心前提：问题中的#define prod(x) (x*x)是文本替换宏，而非函数——它会直接将代码里的prod(xxx)替换为(xxx*xxx)，不会像函数那样先计算参数值再传入，这是所有异常结果的根源。

逐个变量的展开与分析 #

• j=prod(i+1)：展开后为(i+1*i+1)，按运算符优先级先算乘法，即3 + 1*3 +1 =7，逻辑清晰，所有编译器结果一致。
• k=prod(i++)：展开后为(i++ * i++)，这里触发了C标准中的未定义行为：同一表达式中对同一变量i进行多次修改（两次i++），且无明确序列点分隔这些操作。C标准不规定此类场景的求值顺序，不同编译器可自由实现：
  • Visual Studio（MSVC）处理逻辑：可能先读取两次i的当前值（均为3），再执行两次自增，因此结果为3*3=9，执行后i变为5。
  • GCC（在线编译器采用GCC）处理逻辑：可能先执行第一个i++（取值3，i变为4），再执行第二个i++（取值4，i变为5），因此结果为3*4=12。
• l=prod(++i)：展开后为(++i * ++i)，同样属于未定义行为。两个编译器都得到49是巧合：执行到此处时i初始值为5，无论编译器是先执行两次++i（i变为7）再相乘，还是其他顺序，最终i都会变为7，相乘结果为7*7=49——但这并非必然，未定义行为的结果不具备确定性。

输出差异的本质原因 #

核心是未定义行为：C标准未强制规定这类多修改、无序列点表达式的求值顺序，编译器可根据自身优化策略自由实现，因此不同编译器（甚至同一编译器的不同优化等级）都可能输出不同结果。

避免此类问题的方案 #

• 绝对不要在宏参数中使用带副作用的表达式（如i++、++i、赋值操作等），宏的多次展开会导致副作用被重复执行。
• 将宏替换为内联函数，确保参数先求值再传入：

  inline int prod(int x) {
      return x * x;
  }
  

  无论参数是否有副作用，都会先计算一次参数值再执行乘法，结果完全符合预期。

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