Solved

# cout << operator associativity

Posted on 2013-10-23
407 Views
All the sources that I have seen say that << operator in cout uses left to right associativity.  But this it doesn't explain the following example.

``````#include <iostream>
using namespace std;
class A {
public:
A() { a[0] = 1; a[1] = 0; }
int a[2];
int b(void) { int x=a[0]; a[0]=a[1];a[1]=x; return x; }
};

int main(void) {
A a;
a.b();
cout << a.b() << endl;
cout << a.a[1] << endl;
return 0;
}
``````

Output is only explained if it is evaluated right to left.

So I made another example and used debugger to see the execution.

``````#include <iostream>

using namespace std;

int f(int& x)
{
x++;
x *= x;
return x;
}

int main(void)
{
int a = 2, b=3;
cout << f(a) << f(b) << endl;
return 0;
}
``````
I put a break point on function f and sure enough it called f(b) and then f(a).
Why?
0
Question by:farzanj
[X]
###### Welcome to Experts Exchange

Add your voice to the tech community where 5M+ people just like you are talking about what matters.

• Help others & share knowledge
• Earn cash & points

LVL 40

Accepted Solution

Kyle Abrahams earned 100 total points
ID: 39594218
It boils down to the sequence order is not defined.

stackoverflow.com/questions/1504752/c-output-evaluation-order-with-embedded-function-calls
0

LVL 31

Author Comment

ID: 39594223
Sorry my example above incorrect.  Try this:

``````#include <iostream>
using namespace std;
class A {
public:
A() { a[0] = 1; a[1] = 0; }
int a[2];
int b(void) { int x=a[0]; a[0]=a[1];a[1]=x; return x; }
};

int main(void) {
A a;
a.b();
cout << a.b() << a.a[1] << endl;
return 0;
}
``````
0

LVL 40

Assisted Solution

Kyle Abrahams earned 100 total points
ID: 39594229
0

LVL 31

Author Comment

ID: 39594239
I have tried Visual Studio and g++ (GCC) on Linux as well and both have the same output.  If the order is not defined, it is pretty consistent with the compilers.
0

LVL 34

Assisted Solution

sarabande earned 50 total points
ID: 39594641
``````cout << f(a) << f(b) << endl;
``````

the statement evaluates to

``````operator<<(operator<<(operator<<(cout, f(a)), f(b)), endl);
``````

that means the arguments of the middle function call are operator<<(cout, f(a)) and f(b). VC compiler would pass the arguments from right to left regardless of the calling convention (see http://msdn.microsoft.com/en-us/library/vstudio/46t77ak2(v=vs.120).aspx) what also means they were evaluated in that order.

so, your observation that f(b) was evaluated before f(a) is true for vc compiler and probably true for most other compilers as well.

Sara
0

LVL 22

Assisted Solution

ambience earned 50 total points
ID: 39595429
The answer is what ged325 said:  "sequence order is not defined."

cout << f(a) << f(b) << endl;

is a single expression, and whereas the associativity of the operator is defined, the order of evaluation of functions, temporaries - in a single expression - is up to the compiler (implementation). Even if all compiler writer chose to evaluate in a specific order, it still remains undefined and some day a compiler may choose to do it differently and still not break any rules.

It is therefore bad practice to write code that relies on sequencing of a particular compiler.

Similar reasoning applies to this for example

func( f(a), f(b), f(c) )

There is no defined order in which f(X) would be evaluated.
0

LVL 29

Assisted Solution

pepr earned 50 total points
ID: 39596471
In other words, the a.b() is used as a member function for returning a value but with side effects. This is a general problem in any language that allows that.

If you want to be sure that the things are called in the right order, call them as commands outside the cout << ... << end; and assign the results to temporary variables. Then do output the content of the variables. Or design the dedicated member function that has no side effects.
0

LVL 31

Author Closing Comment

ID: 39660422
Thank you guys and sorry for the delay.
0

## Featured Post

Question has a verified solution.

If you are experiencing a similar issue, please ask a related question

### Suggested Solutions

VB.NET String Settings and Temp Folder Question 3 90
BATCH to EXE Converter 2 99
Programming Language for Wordpress 7 88
cmake and message 1 26
This is an explanation of a simple data model to help parse a JSON feed
Whether you've completed a degree in computer sciences or you're a self-taught programmer, writing your first lines of code in the real world is always a challenge. Here are some of the most common pitfalls for new programmers.
Viewers will learn how to properly install Eclipse with the necessary JDK, and will take a look at an introductory Java program. Download Eclipse installation zip file: Extract files from zip file: Download and install JDK 8: Open Eclipse and …
In this fourth video of the Xpdf series, we discuss and demonstrate the PDFinfo utility, which retrieves the contents of a PDF's Info Dictionary, as well as some other information, including the page count. We show how to isolate the page count in a…
###### Suggested Courses
Course of the Month2 days, 4 hours left to enroll