cout输出顺序问题

来源:互联网 时间:1970-01-01

转自:http://hi.baidu.com/hong3088/blog/item/0218307211bda81b8601b003.html

#include <iostream>

using namespace std;

 

int rolc = 0;

 

int f1()

{

       cout<<"In f1() "<<rolc<<":/n";    

       return rolc++ ;

}

 

int main()

{

       cout<<f()<<"/n"<<f()<<endl;

       return 0;

}

在看上面的程序,一般想当然会输出:
In f1() 0:

0
In f2() 1:
1
Press any key to continue                        
                                                         

可实际结果不是这样的,在VC++ 6.0 运行结果如下:

In f2() 0:
In f1() 1:
1
0
Press any key to continue

为何是这样呢?原因:标准未指定函数参数的求值顺序所导致的。具体分析如下:

c/c++在函数调用时,默认都是右序入栈,这肯定是没有错的。如果不是右序入栈的函数,必须以其它关键字指明

,比如pascal关键字。但是,这里不光涉及到参数的入栈顺序,还涉及到以表达式做为函数参数时,表达式的求值

顺序。
看这个例子:
如果有这样一个函数:
       int max(int a, int b);
我这样调用它:
       int x = 10;
       int y = 6;
int z = max(x, y);

生成代码时,必然是y先入栈,然后x入栈,再call max。这就是右序入栈,c/c++的默认方式。
但是,如果在调用时,以表达式做为参数,又会怎么样呢?看下面

int z = max(x - y, x + y);

要知道,在调用max的时候,不可能把x + y这样的整个表达式入栈,必须求出表达式的值,然后将表达式的值做为

函数调用的参数入栈。可是,这里有两个表达式:x-y 和 x+y,那么先应该求x-y的值,还是先求出x+y的值?

c/c++语言都没有规定这个顺序,编译器实现可以自己定义。也就是说,一个编译器,可以先求出x+y的值,再求x

-y的值,然后将x+y的值入栈,然后再将x-y的值入栈,调用max。也可以先求出x-y的值,再求x+y的值,然后将x+y

值入栈,然后再将x-y的值入栈,调用max。 参数求值顺序不定,但是参数入栈顺序确定。
看下面的例子:
cout << "ljgajagj";

这相当于operator << (cout, "ljgajagj"); 这两句是完全相同的,只是不同的写法而已。在调用时,"ljgajagj"

的地址先入栈,然后cout入栈,然后调用 operator <<,最终的结果就是输出字符串"ljgajagj"。

看下面的例子:
cout<<" ljgajagj"<<endl;

这相当于operator<<(     operator << (cout, "ljgajagj")    , endl);
红色部分,以一个函数调用的形式,做为最外面的operator <<()的第一个参数。最外面的operator<< 有两个参数

,其中一个是表达式,所以先要对此表达式求值, 也就是先调用里面的operator << (cout, "ljgajagj") 部分

,输出字符串,然后将endl入栈,然后将operator << (cout, "ljgajagj") 的返回值,也就是一个cout对象入栈

,然后调用外面的operator<<()。这样,肯定是先输出字符串,而不会先输出endl。

下面看上面提出的问题,因为最后的endl不影响结果,所以,为了方便,忽略最后的endl,简化成下面的形式:
cout<<f1()<<"/n"<<f2();
这个语句相当于:
operator << ( f1(), operator << (cout, "/n")    , f2()    );

对于最外面的operator <<(),有三个参数,且有三个参数都是表达式,所以要分别对三个表达式求值,可是对三个表达式的求值顺序是不一定的。

如果是左序,1.调用f1()求值,输出字符串"In f1() 0:",
            2.调用operator << (cout, "/n")求值,得到cout对象
            3.调用f2()求值,输出字符串"In f2() 1:"
            4.将f2()返回值、cout对象、f1()返回值入栈
            5.调用最外面的operator<<()输出
In f1() 0:
In f2() 1:
0
1
Press any key to continue

 

如果是右序,1.调用f2()求值,输出字符串"In f2() 0:",
            2.调用operator << (cout, "/n")求值,得到cout对象
            3.调用f1()求值,输出字符串"In f2() 1:"
            4.将f2()返回值、cout对象、f1()返回值入栈
            5.调用最外面的operator<<()输出
In f2() 0:
In f1() 1:
1
0
Press any key to continue

参考:http://bbs.chinaunix.net/viewthread.php?tid=861890


相关阅读:
Top