C - *x++ = *y++ 是否定义明确？

Question

最近我看到一个项目使用这样的代码:

while ((*dest++ = *src++) != '\0')
  ...

我想知道 *dest++ = *src++ 的行为是否定义明确？它会始终表现为:

while((*dest = *src) != '\0') {
  ++dest;
  ++src;

  ...
}

或者这段代码是否属于a[i] = i++;的范畴？

Answer 1

有问题的代码与 K&R 的代码几乎相同，并且其行为定义明确。

没有未定义行为的原因是该行上的四个访问是在三个独立的内存位置上完成的:

• dest++ 递增 dest 指针，
• src++ 递增src指针，
• *dest = 分配 dest 指向的内容，
• *src 读取 src 指向的内容。

如果代码在没有序列点的情况下多次尝试访问同一位置，则该代码将变得非法，例如x += x++。这是未定义的行为，因为 ++ 和 += 都在修改 x 的相同位置。