方法链中的C ++执行顺序

该程序的输出：

#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

为什么启动nu时不是1 meth2()？

因为未指定评估顺序。

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

只需编写一个漂亮，简单，清晰，易于阅读，易于理解的程序即可：

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

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

1.9程序执行

...

15. 除非另有说明，否则对单个运算符的操作数和单个表达式的子表达式的求值是无序列的。运算符的操作数的值计算在运算符结果的值计算之前进行排序。如果相对于同一标量对象上的另一副作用或使用同一标量对象的值进行的值计算，未对标量对象的副作用进行排序，并且它们没有潜在的并发性，则该行为未定义

并且：

5.2.2函数调用

...

8. [注意：后缀表达式和参数的求值相对于彼此都是无序列的。在输入函数之前，对参数求值的所有副作用进行了排序-尾注]

因此，对于您的行c.meth1(&nu).meth2(nu);，请考虑对最终调用的函数调用运算符而言，运算符中发生了什么meth2，因此我们可以清楚地看到细分为后缀表达式和参数的细分nu：

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

根据上面的函数调用规则，最终函数调用的后缀表达式和参数（即后缀表达式c.meth1(&nu).meth2和nu）的求值相对于彼此没有顺序。因此，相对于函数调用之前的参数求值，后缀表达式对标量对象的计算的副作用没有顺序。根据上面的程序执行规则，这是未定义的行为。arnumeth2

换句话说，编译器不需要nu在meth2调用之后评估调用的参数meth1-可以自由假设没有meth1影响nu评估的副作用。

上面产生的汇编代码在main函数中包含以下序列：

1. 变量nu在堆栈上分配并用0初始化。
2. 寄存器（ebx在我的情况下）接收值的副本nu
3. 的地址nu和c被加载到参数寄存器
4. meth1 叫做
5. 返回值寄存器和先前高速缓存的值的nu在ebx寄存器被加载到参数寄存器
6. meth2 叫做

至关重要的是，在上面的第5步中，编译器允许将nu第2步的缓存值重新用于函数meth2。在这里，它忽略了nu通过调用meth1“未定义的行为” 而可能更改的可能性。

注意：此答案已从其原始形式实质上改变了。我最初关于操作数计算的副作用的解释不正确，因为它们是正确的。问题在于，操作数本身的计算不确定地排序。

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

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

（我省略了对脚注＃53的引用，该注解与该问题无关）。

本质上，&nu必须在调用之前进行评估c1::meth1()，并且nu必须在调用之前进行评估c1::meth2()。但是，没有任何需要nu先评估的要求&nu（例如，允许nu先评估，然后&nu再c1::meth1()调用，然后再调用-这可能是编译器正在执行的操作）。表达*ar = 1在c1::meth1()因此不能保证前要评估nu在main()进行评价时，以被传递给c1::meth2()。

后来的C ++标准（今晚在我现在使用的PC上尚不具备）实质上具有相同的子句。

我认为在编译时，在真正调用函数meth1和meth2之前，参数已传递给它们。我的意思是当您使用“ c.meth1（＆nu）.meth2（nu）;”时 值nu = 0已传递给meth2，因此“ nu”是否在以后更改都没有关系。

您可以尝试以下方法：

#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);
    getchar();
}

它会得到你想要的答案