C语言中链调用的求值顺序

Question

假设我们有类< code>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（） 的评估顺序是否定义？

根据该答案，未定义的行为和序列点其中一个序列点是：

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

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

Answer 1

不可以，func3 和 func4 可以按任一顺序进行评估（但不能交错）。

Answer 2

它的要点是在函数调用中，< code>X(Y，Z)；所有< code>X 、< code>Y 、< code>Z的计算都是不确定的相互排序。唯一的排序是< code>Y和< code>Z在调用< code>X计算的函数之前排序。

假设我们有:

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

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

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