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