On 11/25/2015 11:49 AM, Andrew Haley wrote:
On 11/25/2015 06:25 PM, Martin Sebor wrote:
The motivating example in the paper suggests that many C++
programmers expect a left to right order of evaluation here
due to the commonality of constructs like chains of calls.
Sure, I often see
foo.bar(1).bar(2).bar(3), etc.
but does anyone actually do
foo(1)bar(2)bar(3) ?
That doesn't look syntactically valid to me but I suspect what
you mean might be closer to something like this:
foo(1)(bar(2))(baz(3))
which with the right declarations is just a shorthand for this:
foo(1).operator()(bar(2)).operator()(bar(3));
Having foo(1) evaluate before bar(2) becomes important when
(if) one of the uniform call syntax proposals is adopted. With
that, it will possible to write the expression above like so:
operator()(operator()(foo(1), bar(2)), bar(3));
or more generally for (almost) any member function F:
F (F (foo (1), bar (2)), bar (3));
If C++ were to guarantee an order in which function arguments
were evaluated without also imposing an order on the operand
of the function call expression, uniform calls would be error
prone to use.
Martin
