C ++中链调用中的评估顺序

Question

假设我们有课程A:

class A {
public:
    A& func1( int ) { return *this; }
    A& func2( int ) { return *this; }
};

和 2 个独立功能：

int func3();
int func4();

现在在这段代码中：

A a;
a.func1( func3() ).func2( func4() );

函数func3() 和func4() 的求值顺序是否已定义？

根据这个答案Undefined behavior and sequence points，其中一个序列点是：

• 在函数调用时（无论函数是否内联），在评估所有函数参数（如果有）之后 在函数体 (§1.9/17) 中执行任何表达式或语句之前发生。

那么“评估所有函数参数”是否意味着，func3() 必须在 func4() 之前调用，因为 func1() 参数的评估必须在调用 func2() 之前发生？

Answer 1

它的要点是在函数调用中，X(Y, Z)； X、Y、Z 的所有评估相对于彼此是不确定的。唯一的顺序是 Y 和 Z 是 sequenced-before 对 X 评估的函数的调用。

假设我们有：

typedef void (*fptr)(int, double);
fptr a();
int b();
double c();

a()(b(), c());

a、b、c这三个函数可以按任意顺序调用。当然，这一切都递归地适用于任何子表达式。

Answer 2

不，func3 和 func4 可以按任意顺序计算（但不能交错）。