C/C++中的内存分配机制

本文是总和了其它的几篇帖子，主要是http://blog.csdn.net/benny5609/article/details/2217258

一、字符串

一个字符一个字节，加上最后的一个结束符’\0’，其中，strlen函数返回的字符串长度不包括’\0’，sizeof操作符返回的字节长度是包括’\0’的。

 

二、结构体的存储

一下所述均基于32位并要求边界对齐的机器上，即：大小为1个字节的类型会分配在任意地址，大小为2个字节的类型会分配在偶数地址，大小为4个字节(或大于4个字节)的类型会分配在4的整数倍地址。

typedef struct

{

  char a;

}Sample;           sizeof(Sample)为1个字节

typedef struct

{

  short a;

}Sample;           sizeof(Sample)为2个字节

typedef struct

{

  char a;

  int   b;

}Sample;               sizeof(Sample)为8个字节，且b是位于离结构体偏移4个字节的位置

typedef struct

{

  short a;

  int   b;

  char c;

}Sample;           sizeof(Sample)为12个字节

typedef struct

{

  char c;

  short a;

  int   b;

}Sample;              sizeof(Sample)为8个字节

 

含有位段的结构体：(位段的各子段是互不影响的，即使旁边子段超出表示范围)

typedef struct

{

  unsigned a : 4;

}Sample;           sizeof(Sample)为4个字节，尽管只使用了4个bit

 

 

 

typedef struct

{

  unsigned a : 4;

  char     c;

}Sample;            sizeof(Sample)为8个字节

 

三、C/C++内存分配

1.  运行时堆栈(stack)

由编译器自动分配释放，存放函数的参数值，局部变量的值等，其操作方式类似于数据结构中的栈。

2.      堆(heap)

一般由程序员分配释放， 若程序员不释放，程序结束时可能由OS回收 。注意它与数据结构中的堆是两回事，分配方式倒是类似于链表。

3.      全局静态区

全局变量、静态变量、全局常量、局部常量、常量字符串均放在这里，程序结束时由系统收回。

4.      程序代码区

存放函数体的二进制代码。

示例：

//main.cpp

int a = 0; 全局初始化区

char *p1; 全局未初始化区

main()

{

int b;  //栈

char s[] ="abc";  //栈

char *p2;  //栈

char *p3 ="123456";  //123456为常量字符串，在静态区，p3在栈上。

static int c =0; //全局（静态）初始化区

p1 = (char*)malloc(10);

p2 = (char*)malloc(20);  //分配得来得10和20字节的区域就在堆区。

strcpy(p1,"123456");  //123456为常量字符串，在静态区，编译器可能会将它与p3所指向的"123456"优化成一个地方。

}

 

四、栈与堆的比较

1.      申请方式

Stack:

系统自动进行，只要栈的剩余空间大于所申请空间，系统将为程序提供内存，否则将报异常提示栈溢出。

Heap:

需要程序员自己申请，并指明大小，

在C中malloc函数，如p1 = (char *)malloc(10); 不用时需手动free.

在C++中用new运算符，如p2 = (char *)malloc(10); 不用时需手动delete.

但是注意p1、p2本身是在栈中的。

若最后没有free则会提示内存泄漏。

2.      堆的工作方式

操作系统有一个记录空闲内存地址的链表，当系统收到程序的申请时，
会遍历该链表，寻找第一个空间大于所申请空间的堆结点，然后将该结点从空闲结 点链表中删除，并将该结点的空间分配给程序，另外，对于大多数系统，会在这块内存空间中的首地址处记录本次分配的大小，这样，代码中的delete语句才 能正确的释放本内存空间。另外，由于找到的堆结点的大小不一定正好等于申请的大小，系统会自动的将多余的那部分重新放入空闲链表中。

3.      空间大小的限制

栈：在Windows下,栈是向低地址扩展的数据结构，是一块连续的内存的区域。这句话的意思是栈顶的地址和栈的最大容量是系统预先规定好的，在 WINDOWS下，栈的大小是2M（也有的说是1M，总之是一个编译时就确定的常数），如果申请的空间超过栈的剩余空间时，将提示overflow。因此，能从栈获得的空间较小。

堆：堆是向高地址扩展的数据结构，是不连续的内存区域。这是由于系统是用链表来存储的空闲内存地址的，自然是不连续的，而链表的遍历方向是由低地址向高地址。堆的大小受限于计算机系统中有效的虚拟内存。由此可见，堆获得的空间比较灵活，也比较大，但容易产生空间碎片。且也有分配不成功的时候，因此每次分配后应检查返回的指针是否为空。

4.      存放的内容

堆：一般是在堆的头部用一个字节存放堆的大小。堆中的具体内容有程序员安排。

    栈：在函数调用时第一个进栈的是主函数中后的下一条指令（函数调用语句的下一条可执行语句）的地址然后是函数的各个参数，在大多数的C编译器中，参数是由右往左入栈，然后是函数中的局部变量。 注意: 静态变量是不入栈的。当本次函数调用结束后，局部变量先出栈，然后是参数，最后栈顶指针指向最开始存的地址，也就是主函数中的下一条指令，程序由该点继续运行。

5.      效率对比

堆：char *s1 = "Hellow Word"；是在编译时就确定的；

栈：char s1[] ="Hellow Word"； 是在运行时赋值的；用数组比用指针速度要快一些，因为指针在底层汇编中需要用edx寄存器中转一下，而数组在栈上直接读取。

 

五、关于常量字符串的说明

常量字符串在静态区只会有一份，例：

char *p = "baixue";

char *q = "baixue";

void main(){

  if (p == q)

  {

    printf("equal");

  }

  else

    printf("notequal");

}           会输出打印equal，说明“baixue”这个字符串在静态区只有一份。

 

六、malloc/free与new/delete的区别

malloc/free仅仅是申请、释放指定大小的空间，不做其它事。

new/delete会调用对象的构造、析构函数。