printf() 函数压栈方式  



C语言,C++函数调用压栈方式取决与编译器。


但是一般编译器是右序压栈的。


下面介绍一下C 语言是如何右序压栈的:




如下函数:


一般人会认为输出结果是:

#include <stdio.h> 

 int main() 

 { 

 int a = 3; 

 printf("%d,%d\n",a++,a++);  

 printf("\n%d",a); 

 return 0; 

 }


3,4


5


可是实际结果却是:


4,3


5


为什么呢,原因就取决于C 语言的函数压栈方式是右序的。


说到这大家可能还是一头雾水,下面我来解释一下:


在比如有 int x=2 , y=1       printf("%d,%d", x+y, x-y);


那么该如何执行呢,下面我们来分解一下:


执行printf过程中:(1) 执行x-y 得到1 ,  (2)执行x+y 得到3;


                             (3) 从右向左依次入栈,即:x-y 得到的 1 先入栈 ,  x+y得到的3 后入栈


                             (4) 依次出栈输出:3,1


说到这里大家应该都明白右序入栈的情况了吧。


到这里大家应该都知道为什么上面函数结果是:4,3 


                                                                         5




在此大家还应该注意先加后加的问题;这个问题我在此就不多赘述了。




另外,在C++中情况和这个类似,C++ 中cout 和C语言中的printf情况类似。




下面是我从别人博客里贴过来的一段作为参考:


关于cout和printf的输出相关总结,查了些资料,终于明白了。特别摘录总结如下:




问题:





#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