双重分配的评估顺序

Question

我在我们的代码库中发现了一些东西，即使它从未失败过，对我来说看起来并不“正确”。

我已经将代码修剪成类似于链表的东西（数据结构比这复杂得多）。

Node * node = firstNode();

while( moreNodesAwaiting() )
{
    Node * newnode = giveMeAnotherNode();

    node = node->next = newnode ; // <-- This is what I don't like.
}

我不确定这里是否适用未定义的行为。 我们正在修改数据结构和序列点之间的指针，但这与修改值两次不同。

此外，如果编译器可以按任何顺序计算表达式的元素，是否意味着它可以在赋值发生之前评估node-> next ？

为了以防万一，我把它改为：

    node->next = newnode ;
    node = node->next    ;

这也强调了我们遍历清单的事实。

Answer 1

作业从右向左相关。 换一种说法：

a = b = c;

被解析为

a = (b = c);

这个订单是由标准保证的。

也就是说，对于原始类型，它会将c分配给b和a 。 对于非基本类型，它将调用a.operator= (b.operator= (c)) 。