该程序的输出：
#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？
因为求值顺序是未指定的。
在调用meth1之前，您会看到main中的nu被评估为0。这就是链接的问题。我建议不要这样做。
只需创建一个漂亮、简单、清晰、易读、易懂的程序即可：
int main()
{
c1 c;
int nu = 0;
c.meth1(&nu);
c.meth2(nu);
}
<<输出，以及使用“对象构建器”创建复杂的对象，因为这些对象的构造函数有太多参数） - 但是它与输出参数混合使用时会出现问题。 - Martin Bonner supports Monicameth1和meth2的评估顺序已经定义，但是在调用meth1之前可能会先评估meth2的参数...是这样吗？ - Roddymeth2(meth1(c, &nu), nu)。 - BartekChom我认为这篇草案标准关于求值顺序的部分是相关的：
1.9 程序执行
...
- 除非有注明，各个运算符的操作数和各个表达式的子表达式的求值是未排序的。运算符操作数的计算在运算符结果的计算之前。
- 如果对标量对象的副作用与使用相同标量对象的值计算没有排序关系，并且它们不可能同时发生，则行为未定义。
还有：
5.2.2 函数调用
...
- [注意：后缀表达式和参数的求值都彼此无序。参数求值的所有副作用发生在进入函数之前，结束注释]
所以针对你的代码行c.meth1(&nu).meth2(nu);，考虑在最终调用meth2时，在函数调用运算符方面发生了什么，因此我们清楚地将其分解为后缀表达式和参数nu：
operator()(c.meth1(&nu).meth2, nu);
关键是，在步骤 5 中，编译器允许在对 meth2 的函数调用中重用步骤 2 中缓存的 nu 值。在这里，它忽略了 meth1 可能会更改 nu 的可能性——'未定义行为'正在发生。注意：此答案从其原始形式中发生了实质性变化。我最初关于操作数计算的副作用不能在最终函数调用之前排序的解释是错误的，因为它们是可以排序的。问题在于操作数本身的计算是不确定排序的。
meth1在meth2之前执行，但是meth2的参数是在调用meth1之前缓存到寄存器中的nu的值 - 即编译器已经忽略了潜在的副作用，这与我的答案一致。 - Smeeheeyc.meth1(&nu).meth2）的评估和该调用的参数（nu）的评估通常是无序的，但是 1）它们的副作用都在进入meth2之前排序，2）由于c.meth1(&nu)是一个函数调用，因此它与nu的评估具有不确定的顺序。如果在meth2中以某种方式获得了指向main中变量的指针，则始终会看到1。 - T.C.我认为在编译时，在调用函数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();
}
它将为您得到所需的答案。
meth2(meth1(c, &nu), nu)。但是似乎在C++17中，标准已经改变了关于方法链的规定。请参考@AmirKirsh的答案。 - undefinedmethod 1
method 2:1
method 1
method 2:0
另请参阅：
nu、&nu和c推入堆栈，然后调用meth1，将结果推入堆栈，然后调用meth2；而基于寄存器的调用约定则希望将c和&nu加载到寄存器中，调用meth1，将nu加载到寄存器中，然后调用meth2。 - Neil