c++ - 表达式的行为 : Defined or Undefined?

Question

我有以下代码

int m[4]={1,2,3,4}, *y; 
y=m; 
*y = f(y++); // Expression A

我的 friend 告诉我，表达式 A 具有明确定义的行为，但我不确定他是否正确。

根据他的说法，函数 f() 在两者之间引入了一个 sequence point，因此行为定义明确。

有人请澄清。

P.S:我知道我们不应该出于实际目的编写这样的代码。这只是为了学习。 :)

Answer 1

充其量，相关代码具有未指定的行为。对于赋值运算符，“操作数的求值顺序未指定”(C99 §6.5.16/4)。

如果先计算左操作数，则f(y++) 的结果将存储在m[0] 中。如果先计算右操作数，则结果将存储在 m[1] 中。

关于行为是否未定义，相关段落是:

Between the previous and next sequence point an object shall have its stored value modified at most once by the evaluation of an expression. Furthermore, the prior value shall be read only to determine the value to be stored (C99 §6.5/2).

如果左边先求值，那么我们就会与第二个句子发生冲突，因为顺序是:

1. 在左侧读取 y 的值以取消引用它
2. 在右侧读取 y 的值以增加它
3. 在对函数的参数求值之后有一个序列点(因此，y++ 的副作用已经完成，y 被写入)

在第 1 步中，读取 y 的“先验值”，但目的不是“确定要存储的值”。因此，该行为确实是未定义的，因为一个有效的评估顺序会产生未定义的行为。