C方法链中的执行顺序

Question

该程序的输出：

#include <iostream> 
class c1
{   
  public:
    c1& meth1(int* ar) {
      std::cout << "method 1" << std::endl;
      *ar = 1;
      return *this;
    }
    void meth2(int ar)
    {
      std::cout << "method 2:"<< ar << std::endl;
    }
};

int main()
{
  c1 c;
  int nu = 0;
  c.meth1(&nu).meth2(nu);
}

是:

method 1
method 2:0

为什么当 meth2（） 开始时 nu 不是 1？

Answer 1

在1998 C标准第5节第4段中

除非另有说明，否则单个运算符的操作数和单个表达式的子表达式的求值顺序以及副作用发生的顺序都是未指定的。在前一个序列点和下一个序列点之间，标量对象的存储值最多只能通过表达式的计算修改一次。此外，应仅访问先前值来确定要存储的值。对于完整表达式的每个允许的子表达式排序，应满足本段的要求；否则行为是未定义的。

（我省略了对脚注#53的引用，这与这个问题无关）。

本质上，

后来的C标准（我目前在今晚使用的PC上没有）基本上具有相同的子句。

Answer 2

我认为标准草案中关于评估顺序的这一部分是相关的：

1.9程序执行

...

此外:

5.2.2函数调用

...

所以对于你的行c.meth1（

operator()(c.meth1(&nu).meth2, nu);

最后函数调用的后缀表达式和参数的求值（即后缀表达式＜code＞c.meth1(

换言之，编译器不需要在meth1调用之后对nu参数进行求值-可以自由假设meth1的任何副作用都不会影响nu求值。

上述生成的汇编代码在主功能中包含以下序列：

1. 变量 nu 在堆栈上分配，并以 0 进行初始化。
2. 寄存器（在我的情况下是ebx）收到nu值的副本
3. nu 和 c 的地址加载到参数寄存器中
4. 甲基苯丙胺1被称为
5. 返回值寄存器和 ebx 寄存器中先前缓存的 nu 值将加载到参数寄存器中
6. 甲基苯丙胺2被称为

至关重要的是，在上面的第5步中，编译器允许在对ome2的函数调用中重新使用第2步中的nu的缓存值。在这里，它忽略了nu可能已被调用ome1-'未定义行为'在起作用。

注：本答复实质上已从原来的形式改变。我最初对操作数计算的副作用的解释在最终函数调用之前没有进行排序是不正确的，因为它们确实如此。问题在于操作数本身的计算是不确定的排序。

Answer 3

因为评估顺序未指定。

你看到 main 中的 nu 在 meth1 被调用之前就被评估为 0。这就是链接的问题。我建议不要这样做。

只需制作一个漂亮、简单、清晰、易读、易懂的程序：

int main()
{
  c1 c;
  int nu = 0;
  c.meth1(&nu);
  c.meth2(nu);
}