array[j + 1] = array[j--]; 这个语句有问题么？

Question

int j;
...
...
array[j + 1] = array[j--];

array[j + 1] = array[j--]是否一定等价于array[j + 1] = array[j]; j--;？

Answer 1

C++17之前是UB。C++17确定了顺序：赋值操作符的右侧操作数先序于左侧。所以左侧得到的是自减后的值。故而array[j + 1] = array[j--];一般等价于（并发例外）

array[j] = array[j];
--j;

8.18.1[expr.ass] ...In all cases, the assignment is sequenced after the value computation of the right and left operands, and before the value computation of the assignment expression. The right operand is sequenced before the left operand...

Answer 2

array[j + 1] = array[j--]; 属于未定义行为。
两个顺序点之间访问和修改了同一个对象。