Compilers and argument order of evaluation in C++

by

It depends on the argument type, the called function’s calling convention, the archtecture and the compiler. On an x86, the Pascal calling convention evaluates arguments left to right whereas in the C calling convention (__cdecl) it is right to left. Most programs which run on multiple platforms do take into account the calling conventions to skip surprises.

There is a nice article on Raymond Chen’ blog if you are interested. You may also want to take a look at the Stack and Calling section of the GCC manual.

Edit: So long as we are splitting hairs: My answer treats this not as a language question but as a platform one. The language standard does not gurantee or prefer one over the other and leaves it as unspecified. Note the wording. It does not say this is undefined. Unspecified in this sense means something you cannot count on, non-portable behavior. I don’t have the C spec/draft handy but it should be similar to that from my n2798 draft (C++)

Certain other aspects and operations of the abstract machine are described in this International Standard as unspecified (for example, order of evaluation of arguments to a function). Where possible, this International Standard defines a set of allowable behaviors. These define the nondeterministic aspects of the abstract machine. An instance of the abstract machine can thus have more than one possible execution sequence for a given program and a given input.

More Related Contents:

  1. Is short-circuiting logical operators mandated? And evaluation order?
  2. What are the evaluation order guarantees introduced by C++17?
  3. Post-increment and pre-increment within a ‘for’ loop produce same output [duplicate]
  4. Operator Precedence vs Order of Evaluation
  5. Enforcing statement order in C++
  6. order of evaluation of operands
  7. Unexpected order of evaluation (compiler bug?) [duplicate]
  8. Order of evaluation of elements in list-initialization
  9. Order of evaluation of assignment statement in C++
  10. Multiple preincrement operations on a variable in C++(C ?)
  11. Order of execution in constructor initialization list
  12. How do we explain the result of the expression (++x)+(++x)+(++x)?
  13. “IF” argument evaluation order?
  14. Why does the expression a = a + b – ( b = a ) give a sequence point warning in c++?
  15. Ternary conditional and assignment operator precedence
  16. Does this code from “The C++ Programming Language” 4th edition section 36.3.6 have well-defined behavior?
  17. Logical AND, OR: Is left-to-right evaluation guaranteed?
  18. What’s the precedence of comma operator inside conditional operator in C++?
  19. Who defines C operator precedence and associativity?
  20. The output of cout
  21. How is “std::cin>>value” evaluated in a while loop?
  22. order of evaluation of function parameters
  23. How do I flush the cin buffer?
  24. Why did Microsoft abandon long double data type? [closed]
  25. Why no variable size array in stack?
  26. Class template argument deduction not working with alias template
  27. trying to use imread() and imshow() raises OpenCV Error: Assertion failed (size.width>0 && size.height>0)
  28. “Symbol(s) not found for architecture x86_64” on QtCreator project
  29. Timestamps for embedded system
  30. Is there const in C?

Leave a Comment