cout输出流的执行顺序

下面是IBM的一道笔试题

#include <iostream> 
using namespace std; 

int fun( ) 
{ 
cout << "f" ; 
return 1; 
} 
int main() 
{ 

int i = 1; 
// cout << i++ << i++ << i++ << endl; 
cout << "m" << fun() << fun() << fun() << endl; 
return 1; 
} 

输出fffm111 

问题：cout这种连接写法的输出的执行顺序是啥呢？ 
cout<<"m"<<fun1()<<fun2()<<fun3()<<endl; 
<<运算是左结合的。 
必然先求cout<<"m"的值，值仍然是cout 
然后试图求cout<<fun1()的值，这必须先求出fun1()的值。整个表达式的值仍然是cout 
然后试图求cout<<fun2()的值，这必须先求出fun2()的值。整个表达式的值仍然是cout 
然后试图求cout<<fun3()的值，这必须先求出fun3()的值。整个表达式的值仍然是cout 
最后是cout<<endl的值，值是cout 
整个表达式语句以分号结尾 
注意：问题就在这里：“这必须先求出fun1()的值”，“这必须先求出fun2()的值”，“这必须先求出fun3()的值”，这3句。这是计算<<运算的前提。只要分别在计算cout<<fun1()，cout<<fun2()，cout<<fun3()，之前完成就可以了。 
因此，具体是先计算fun1()的值，还是先计算fun2()的值，还是先计算fun3()的值，还是先计算cout<<"m"的值，都不影响表达式的值。 
问题就在这里： 
这是个<<表达式。<<本来是位运算，但是这里cout却是来利用运算的“副作用”。 
所谓副作用，就是计算一个表达式的时候，除了得到它的值以外，对环境产生的影响都是副作用。 
比如： 
int a=1,b=2,c=3,d; 
d=a<<b: 
这一步，a<<b计算出1左移2位得到的结果。结果是4。也就是说，赋值表达式结束后，d的值变成4，其它地方都没有改变。这就是说这个<<运算没有副作用。 
但是，cout<<"a"就不一样了。这个表达式的值我们根本就不关心。我们只关心，这个表达式“计算”完以后，"a"被输出到屏幕上了。这里“a被输出到屏幕上”就是副作用。 
   再看这个例子： 
int foo(int a, int b) { return a+b; } 
int bar(int a, int b) { return a-b; } 
int a=1,b=2,c=3,d; 
d=foo(a,b)+bar(b,d); 
这里，foo()和bar()都没有副作用。因此，这个表达式，不论是先计算foo(a,b)的值，还是先计算bar(b,c)的值，都不会影响计算的结果。 
但是，如果是这个例子： 
int foo(int* a) { (*a)++; return *a;} 
int bar(int* a) { (*a)--; return *a;} 
int a=5,b; 
b=foo(&a)+bar(&a); 
这个表达式，foo()和bar()都有副作用，所以，先计算foo(&a)还是先计算bar(&a)，将直接影响到b的值。 
假如先计算foo，再计算bar。 
首先，a=5 
计算foo(&a)，a变成6，foo(&a)的值是6 
计算bar(&a)，a变成5，bar(&a)的值是5 
这样，b=6+5=11 
假如先计算bar，再计算foo。 
首先，a=5 
计算bar(&a)，a变成4，foo(&a)的值是4 
计算foo(&a)，a变成5，bar(&a)的值是5 
这样，b=5+4=9 
这就造成了计算结果不一致。 
   ＝＝＝ 
那。。。怎么办 
一般来说，编c/c++程序有一个纪律：一个语句中不要有两个表达式有副作用。 
典型的这类行为包括：b=(a++)+(a++)+(a++); 
这是典型的违反这条纪律的行为。每个a++都有副作用（改变a的值）。整个表达式的值跟求值顺序直接相连。 
还有就是 
char* fun() { cout<<"q"; return ""; } 
cout<<"m"<<fun()<<fun()<<fun()<<endl; 
每个fun()都有副作用（向屏幕上显示字符）。因此效果直接与求值顺序相关。（而整个表达式的值我们根本就不关心。虽然我知道，值就是cout）。 
＝＝＝＝＝＝ 

在c/c++中，求值顺序是怎么样的？ 

不知道。 

C/C++的规范中，求值顺序是不规定的。这是为了给编译器以优化的空间。 

比如： 

b=(a+2)+(a+2);，那么如果只计算一次a+2的值，而不是两次，那么计算量会大大降低。 

因此， 

不要在C语言里面做这种事情： 

char* fun() { cout<<"q"; return ""; } 
cout<<"m"<<fun()<<fun()<<fun()<<endl; 

要这样： 

char* fun() { return "q"; } 
cout<<"m"<<fun()<<fun()<<fun()<<endl; // 输出的一定是 "mqqq\n" 

这样更好： 

string fun() { return string("q"); } 
cout<<"m"<<fun()<<fun()<<fun()<<endl; // 输出的一定是 "mqqq\n" 

这样就更好了： 

string f="q"; // 隐式转换 
cout<<"m"<<fun()<<fun()<<fun()<<endl; // 输出的一定是 "mqqq\n" 

但是这样不好吗？： 
cout<<"mqqq"<<endl; 
  
这应该只是个测验。我相信IBM的软件工程师们不会编出这种垃圾代码的。

代码稍微修改了下 

#include <iostream> 

using namespace std; 

int fun(int i) 
{ 
cout << "f"<<i; 
return i; 
} 
int main() 
{ 

int i = 1; 
cout << i++ << i++ << i++ << endl; 
cout << "m" << fun(1) << fun(2) << fun(3) << endl; 
cin.get(); 
return 1; 
} 

输出结果： 
321 
f3f2f1m123

如果只针对题来说的话，实际是这样的 
cout<<"m"<<fun()<<fun()<<fun(); 
对于<<其实是从右往左处理的。于是碰到fun()必然先输出f,然后返回1，于是就变成了 
cout<<"m"<<fun()<<fun()<<1; 
继续往左走，直到 cout<<"m"<<1<<1<<1 ;的时候已经输出了fff ,之后就是按顺序输出了m111, 所以看到的结果就是 fffm111