C/C++程序内存的分配
C++程序在运行过程中所占用的内存空间主要分为五个部分:
栈区(stack): 是一种连续储存的数据结构,具有先进后出的性质。由编译器自动分配与释放,存放为运行时函数分配的局部变量、函数参数、返回数据、返回地址等。其操作类似于数据结构中的栈。
堆区(heap): 是一种非连续的储存数据结构,一般由程序员自动分配,如果程序员没有释放,程序结束时可能有OS回收。其分配类似于链表。后面会详细叙述
全局区/静态区(static):存放全局变量、静态数据、常量。程序结束后由系统释放。全局区分为已初始化全局区(data)和未初始化全局区(bss)
常量区(文字常量区):存放常量字符串,程序结束后有系统释放。
具体分配情况如下图所示
1.内存分配简易图
其中常量数据存储在初始话全局区data里
2.程序内存分配具体分析
首先看一个网上很经典的例子
int a = 0; //全局初始化区
char *p1; //全局未初始化区
main()
{
int b; //栈
char s[] = "abc"; //s在栈上 "abc"在常量区
char *p2; //栈
char *p3 = "123456"; //123456/0在常量区,p3在栈上。
static int c =0; //全局(静态)初始化区
p1 = (char *)malloc(10); //堆 分配的内存空间在堆上
p2 = (char *)malloc(20); //堆 分配的内存空间在堆上
}
从上述例子我们可以看出:
a.栈的内存空间分配是由系统分配调用的,在不需要的时候由系统自行删除。所以栈一般用作存储局部变量和函数参数。由于栈上的空间是自动分配自动回收的,所以栈上的数据的生存周期只是在函数的运行过程中,运行后就释放掉,不可以再访问。
b.堆上的空间由程序员自己分配,所以只要程序员不释放空间, 就一直可以访问到,不过缺点是一旦忘记释放会造成内存泄露。
c. 全局变量存储于全局区
3.内存中栈与堆的区别
a.内存管理方式不同
对于栈来讲,是由编译器自动管理,无需我们手动控制;对于堆来说,释放工作由程序员控制,容易产生内存泄漏。
b.空间大小不同
一般来讲在32位系统下,堆内存可以达到4G的空间,从这个角度来看堆内存几乎是没有什么限制的。但是对于栈来讲,一般都是有一定的空间大小的,空间大小远小于堆内存
堆是向高地址扩展的数据结构,是不连续的内存区域。这是由于系统是用链表来存储的空闲内存地址的,自然是不连续的,而链表的遍历方向是由低地址向高地址。堆的大小受限于计算机系统中有效的虚拟内存。由此可见,堆获得的空间比较灵活,也比较大。
c. 产生碎片不同
对于堆来讲,频繁的new/delete势必会造成内存空间的不连续,从而造成大量的碎片,使程序效率降低。对于栈来讲,则不会存在这个问题,因为栈是先进后出的队列,他们是如此的一一对应,以至于永远都不可能有一个内存块从栈中间弹出,在它弹出之前,在他上面的后进的栈内容已经被弹出.
d.分配方式不同
堆都是动态分配的,没有静态分配的堆。栈有静态分配和动态分配, 静态分配是编译器完成的,比如局部变量的分配。动态分配由 malloc 函数进行分配,但是栈的动态分配和堆是不同的,它的动态分配是由编译器进行释放,无需我们手工实现。
e. 分配效率不同
栈的效率比堆高很多。栈是机器系统提供的数据结构,计算机在底层提供栈的支持,分配专门的寄存器来存放栈的地址,压栈出栈都有相应的指令,因此比较快。堆是由库函数提供的,机制很复杂,库函数会按照一定的算法进行搜索内存,因此比较慢。
char s1[] = "aaaaaaaaaaaaaaa";
char *s2 = "bbbbbbbbbbbbbbbbb";
//aaaaaaaaaaa是在运行时刻赋值的;
//而bbbbbbbbbbb是在编译时就确定的;
//但是,在以后的存取中,在栈上的数组比指针所指向的字符串(例如堆)快。
所以在代码中:
char *str="abcabc"; //str指向常量"abcabc"
str[1]='A'; //错误,不可以改写
char str[]="bacad";
str[1]='D';//可以实现
4.函数压栈退栈的过程
压栈过程中
调用一个函数首先从右向左逐步压入栈中,最后压入返回地址
执行函数先压入局部变量,静态变量或者常量在全局区
退栈
函数执行完毕之后
返回地址出栈,将局部变量退栈,找到原执行地址,函数调用执行完毕。