先说一个都知道的结论:栈中分配时从高地址往低地址
然后我们在Windows下编写一个程序来验证这个结论?
#include <stdio.h>
void func(int a,int b){
int d;
printf("a:%p,b:%p,d:%p\n",&a,&b,&d);
}
int main(){
int a=0,b=1;
printf("real a:%p,b:%p\n",&a,&b);
func(a,b);
}
以上程序中,变量a比变量b先定义,它们俩又都比函数func里的变量先定义,那么如果按照最开始的结论,a的地址应该时最高的然后其它变量的地址时逐渐递减的,下图时打印结果:
可以看到与结论完全相反,那这事怎么回事呢?
首先最开始的那个结论是又限制的,不同的cpu和不同的操作系统下是不一样的,那个结果一般时Linux下进程地址空间的分布,而运行的程序实在Windows下的,那个结论肯定就不适用了。
那我们来看看Linux下该程序的打印结果,如下:
#include <stdio.h>
void func(int a,int b){
int d;
printf("a:%p,b:%p,d:%p\n",&a,&b,&d);
}
int main(){
int a=0,b=1;
printf("real a:%p,b:%p\n",&a,&b);
func(a,b);
int d=2;
printf("d:%p",&d);
}
从上述结果中可以看出与最开始我们想象的还是有一些差距,同一个函数里的变量还是从小地址往大地址增长,而嵌套的函数里的地址确实比外部函数的地址小,说明如果以函数为整体来看的话那么栈在Linux下确实时从高地址往低地址来分配的,
而事实也确实是这样:
每个函数都是一个栈帧,栈的分配是按着这个来的,而栈帧里是怎么分配完全看编译器来。
在Windows下栈与堆的增长方向是没有定义的
详细讲解如下:
栈的增长方向
c中变量在栈中的地址
其实不论栈是往下还是往上增长,与栈的性质先入后出是不影响的,只要我的栈顶指向的就是最后一个入栈的数据,而堆中是通过堆顶指针来压入数据
通过堆低指针弹出数据实现先入先出,这里就和用C语言写的栈和队列的数据结构是一个思路;
栈中需要一个top指针来指向最新压入的数据,而队列中需要一个头和一个尾来实现先入先出
把每一个函数当作一个栈帧,迭代函数时,栈顶指针永远指向最里面的函数(也就是迭代到当前的函数),cpu能够访问到栈中的数据就是当前栈顶指针所指向的栈帧(函数)里的所有变量,
int func1(int a)
{
int c ;
if(a==0)
{
return c;
}
c=a +func1(a-1);
return c;
}
int main(void)
{
int a;
a =func1(7);
printf("从0递增加到%d=%d\n",7,a);
}
将上述程序形成的栈画成结构图如下:
7层嵌套有点多,就以2层嵌套为例如下:
下面这种还是属于一个栈中只是用了括号将访问权限限制为外部不能访问内部
int func1(int a)
{
int c ;
{
int d;
}
}
return时就会将栈中上一个(高位地址所在)函数地址付给PC寄存器里的