GCC错误？链接方法，断开的序列点

Question

我调试一个程序已经有一段时间了，最终发现错误是由于一个引用没有像我想的那样更新。

这里有一个例子显示了我遇到的问题：

#include <iostream>
using namespace std;

struct Test {
    Test& set(int& i){ i = 10; return *this; }
    Test& print(const int& i){ cout << i << endl; return *this; }
};

int main(void){
    int i = 0;
    Test t;

    t.set(i).print(i + 5);

    return 0;
}

我原以为这里的print（）方法会输出15，但它会输出5。

编辑：10天后，我才意识到，与叮当声输出15！这是GCC中的错误吗？

Answer 1

[评论太长：]

如果添加

Test& add(int& i, const int toadd)
{
  i += toadd;
  return *this;
}

这个电话

t.set(i).add(i, 5).print(i);

返回

15

由此我得出结论，罪魁祸首是i 5作为打印参数。

Answer 2

在C语言中，不能保证单个表达式中函数参数的计算顺序，即使这些函数是链接方法调用的。你在这里调用未定义的行为，这就是你得到的。

这个运算符确实意味着排序，但仅限于运算符前面的表达式。必须在访问成员之前进行全面评估。这并不意味着子表达式的计算将暂停到该点。

另外，不要通过const int传递ints

Answer 3

让我试着解释一下C 11标准。第1.9/15条规定：

除非另有说明，否则对单个运算符的操作数和单个表达式的子表达式的计算是不排序的。[...]如果对标量对象的副作用相对于对同一标量对象的另一个副作用或使用同一标量对象的值的值计算未排序，则该行为是未定义的。

当然，int是标量类型，t.set（i）。印刷品（i 5）对set（）中的i和值计算i5有副作用，因此如果没有另外说明，行为确实是未定义的。阅读§5.2.5（“类成员访问”），我找不到任何关于序列的注释 操作员。[但请参见下面的编辑！]

但是，请注意，当然可以保证在执行print（）之前执行set（），因为后者将前者的返回值作为（隐式this）参数接收。这里的罪魁祸首是print参数的值计算是 未排序的 相对于set调用的顺序不确定。

编辑：在阅读了你（@Xeno）评论中的答案后，我重新阅读了标准中的段落，事实上后来它说：

调用函数（包括其他函数调用）中在被调用函数体执行之前或之后没有特别排序的每个求值，都是相对于被调用函数的执行不确定排序的。

因为不确定顺序不是非顺序的（“非顺序评估的执行可能重叠”，§1.9/13），这确实不是未定义的行为，而是“只是”未指定的行为，这意味着15和5都是正确的输出。

所以当

（print（）参数的值计算~ set（）的执行）