栈中分配是从高地址往低地址,为什么局部变量的地址却是按定义顺序逐渐增大?从操作系统上进程的地址空间分布以及不同操作系统的不同、以及不同的数据结构来说明这个事情?

14 篇文章 1 订阅
10 篇文章 0 订阅

先说一个都知道的结论:栈中分配时从高地址往低地址

然后我们在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寄存器里的

为什么在Linux中编译运行每次变量的地址都不一样,而在Windows中都是一样的?

为什么main函数的局部变量的地址每次运行不一样?

  • 9
    点赞
  • 25
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值