1.1背景
以前搞C++的时候,由于没有搞过什么底层逻辑,虽然对堆栈有所了解,但仍停留在表面。今天通过探索下堆栈的生长方向。
**栈:**由编译器在需要的时候分配,在不需要的时候自动清除的变量存储区。里面通常是局部变量,函数参数等。
**堆:**由new分配的内存块,他们的释放编译器不去管,由我们的应用程序去控制,一般一个new对应一个delete。如果程序员没有释放掉,那么在程序结束后,操作系统会自动回收。
**自由存储区:**由malloc等分配的内存块,和堆十分相似,不过它使用free来结束自己的生命。
**全局/静态存储区:**全局变量和静态变量被分配到同一块内存中,在以前的c语言中。全局变量又分为初始化的和未初始化的,在c++里面没有这个区分了,他们共同占用同一块内存。
查了些资料,有说向上生长,也说向下生长。
另外关于函数参数压栈,也有描述从右往左压栈,这些方向性的描述是什么意思?
1.2代码实例
#include <stdio.h>
#include <string.h>
void test_example(int a,int b,int c)
{
int arr[2] = {1,2};
int d = 0;
int e = 0;
printf("a:%d a_ptr: %p, b: %d b_ptr: %p, c: %d c_ptr: %p \n",a,&a,b,&b,c,&c);
printf("d: %d d_ptr:%p , e: %d, e_ptr: %p \n",d,&d,e,&e);
printf("arr: %p \n",arr);
memcpy(&e,arr,sizeof(arr));
printf("c: %d c_ptr: %p, d: %d e: %d ",c,&c,d,e);
}
int main()
{
int a = 3;
int b = 4;
int c = 5;
printf("Hello World \n");
test_example(a,b,c);
return 0;
}
代码中,很容易发现memcpy copy越界,e
只有4bytes,被写越界4个字节。
我们不在这里讨论为什么写越界的问题。你知道写穿的这4个字节影响性吗?或者说覆盖了谁吗?
我们先看下linux操作系统下,gcc编译后运行结果:
可以看到d = 2
,栈中d这块内存被覆盖了,证明在栈中d位于高地址,e位于低地址,实际打印也如下图所示。
同样一块代码,在windons系统下运行,如图:
函数参数和局部变量在内存中的位置如上图。
1.3总结
到这我们一直没有解释上下箭头是什么意思。
- 1、内存没有方向的概念,只有高低的区别。
- 2、如果压栈的顺序是从低地址往高低地址依次压栈,则是向上生长。
高地址往低地址依次压栈,则是向下生长。
这里其实有个潜台词,要先确定栈底位置,比如linux,一块栈内存,栈底位于低地址,所以压栈是从低地址往上增长。windows,栈底则位于高地址。 - 3、关于函数参数,从右往左压栈没有问题,比如我们例子中的c–>b–>a从栈低依次压栈。
- 4、关于局部变量,其实也有规律,linux平台是先定义,后入栈。Windows,则是先定义,先入栈。
有了如上认识,我们就可以,当遇到踩内存踩了谁的问题时候,就有了初步分析。
栈的生长方向不同平台不一样,以及一些书籍也是基于某一个平台给出的描述,不能说是错,试着了解下你工作中的栈呢。