i++的顺序的不确定问题

(s1+n)[i++]=s2[i]中i++的顺序的不确定问题

C语言中副作用与未定义行为：解析 (s1 + n)[i++] = s2[i]

前言

我在写题的时候发现了一个神奇的问题，于是有了这篇文章。

在C语言中，表达式 (s1 + n)[i++] = s2[i] 涉及复杂的副作用操作，可能导致未定义行为。关键问题在于 i++ 的自增操作何时生效，以及左右两部分对 i 的访问顺序。

讲解

根据C语言标准，表达式中变量的修改与读取若未明确顺序，则行为未定义。在此例中，i++ 的副作用可能在左侧数组索引 (s1 + n)[i++] 计算时立刻生效，也可能在整个语句完成后生效。这导致右侧 s2[i] 使用的 i 值可能是自增前或自增后的，具体取决于编译器的实现。

这种未定义行为会让代码在不同编译器或优化级别下表现不一致，难以调试和维护。为避免此问题，我们应该将i加一的操作独立出来：

(s1 + n)[i] = s2[i];
i++;