X（）。Y（Z（））和标准中的评价顺序

Question

Can somebody quote the corresponding paragraph of the C++ standard that says that the order of the std::string construction and foo() call is unspecified in the following case:

std::string().append(foo());

I know that there's 5.2.2.8 but it states about function arguments, not several function calls between the same sequence points:

The order of evaluation of function arguments is unspecified

Answer 1

It was widely believed that leaving the order of expression evaluation undefined led to more optimizations. It was probably true 10 and 20 years ago, but it does not appear to be so any more. Data to that effect was presented to the committee, but I don't know if it is published anywhere.

Answer 2

5/4 [expr]:

Except where noted, the order of evaluation of operands of individual operators and subexpressions of individual expressions, and the order in which side effects take place, is unspecified

Because operators are functions, this means string() will be constructued either before or after foo() .

Also see: Order of function call

"Bjarne Stroustrup also says it explicitly in "The C++ Programming Language" 3rd edition section 6.2.2, with some reasoning:

Better code can be generated in the absence of restrictions on expression evaluation order.

Also see: Order of evaluation in C++ function parameters