C/C++内存分配机制

1.C语言中的内存机制

在C语言中，内存主要分为如下5个存储区:

（1）栈(Stack)：位于函数内的局部变量（包括函数实参），由编译器负责分配释放，函数结束，栈变量失效。

（2）堆(Heap)：由程序员用malloc/calloc/realloc分配，free释放。如果程序员忘记free了，则会造成内存泄露，程序结束时该片内存会由OS回收，但程序只要不结束，就有可能造成内存泄露。

（3）全局区/静态区(Global Static Area)： 全局变量和静态变量存放区，程序一经编译好，该区域便存在。并且在C语言中初始化的全局变量和静态变量和未初始化的放在相邻的两个区域（在C++中，由于全局变量和静态变量编译器会给这些变量自动初始化赋值，所以没有区分了）。由于全局变量一直占据内存空间且不易维护，推荐少用。程序结束时释放。

（4）C风格字符串常量存储区： 专门存放字符串常量的地方，程序结束时释放。

（5）程序代码区：存放程序二进制代码的区域。
2.C++语言中的内存机制
在C++语言中，与C类似，不过也有所不同，内存主要分为如下5个存储区：

（1）栈(Stack)：位于函数内的局部变量（包括函数实参），由编译器负责分配释放，函数结束，栈变量失效。

（2）堆（Heap)：这里与C不同的是，该堆是由new申请的内存，由delete或delete[]负责释放。

（3）自由存储区(Free Storage)：由程序员用malloc/calloc/realloc分配，free释放。如果程序员忘记free了，则会造成内存泄露，程序结束时该片内存会由OS回收。

（4）全局区/静态区(Global Static Area)： 全局变量和静态变量存放区，程序一经编译好，该区域便存在。在C++中，由于全局变量和静态变量编译器会给这些变量自动初始化赋值，所以没有区分了初始化变量和未初始化变量了。需要说明一点，全局静态变量和局部静态变量都是存储在同一个静态区(全局区)，只是作用域不同。

（5）常量存储区： 这是一块比较特殊的存储区，专门存储不能修改的常量(一般是const修饰的变量，或是一些常量字符串)。
3.堆和栈的区别

3.1  栈

具体的讲，现代计算机（冯诺依曼串行执行机制），都直接在代码低层支持栈的数据结构。这体现在，有专门的寄存器指向栈所在的地址(SS，堆栈段寄存器，存放堆栈段地址)；有专门的机器指令完成数据入栈出栈的操作（汇编中有PUSH和POP指令）。

这种机制的特点是效率高，但支持数据的数据有限，一般是整数、指针、浮点数等系统直接支持的数据类型，并不直接支持其他的数据结构(可以自定义栈结构支持多种数据类型)。因为栈的这种特点，对栈的使用在程序中非常频繁的 。对子程序的调用就是直接利用栈完成的。机器的call指令里隐含了把返回地址入栈，然后跳转至子程序地址的操作，而子程序的ret指令则隐含从堆栈中弹出返回地址并跳转之的操作。

C/C++中的函数自动变量就是直接使用栈的例子，这也就是为什么当函数返回时，该函数的自动变量自动失效的原因，因而要避免返回栈内存和栈引用，以免内存泄露。

3.2  堆

和栈不同的是，堆得数据结构并不是由系统（无论是机器硬件系统还是操作系统）支持的，而是由函数库提供的。基本malloc/calloc/realloc/free函数维护了一套内部的堆数据结构（在C++中则增加了new/delete维护）。

当程序用这些函数去获得新的内存空间时，这套函数首先试图从内部堆中寻找可用的内存空间（常见内存分配算法有：首次适应算法、循环首次适应算法、最佳适应算法和最差适应算法等）。如果没有可用的内存空间，则试图利用系统调用来动态增加程序数据段的内存大小，新分配得到的空间首先被组织进内部堆中去，然后再以适当的形式返回给调用者。当程序释放分配的内存空间时，这片内存空间被返回到内部堆结构中，可能会被适当的处理（比如空闲空间合并成更大的空闲空间），以更适合下一次内存分配申请。 这套复杂的分配机制实际上相当于一个内存分配的缓冲池（Cache），使用这套机制有如下几个原因：

（1）系统调用可能不支持任意大小的内存分配。有些系统的系统调用只支持固定大小及其倍数的内存请求（按页分配）；这样的话对于大量的小内存分配来说会造成浪费。

（2）系统调用申请内存可能是代价昂贵的。 系统调用可能涉及到用户态和核心态的转换。

（3）没有管理的内存分配在大量复杂内存的分配释放操作下很容易造成内存碎片。

3.3  栈和堆的对比

从以上介绍中，它们有如下区别：

（1）栈是系统提供的功能，特点是快速高效，缺点是由限制，数据不灵活；而堆是函数库提供的功能，特点是灵活方便，数据适应面广，但是效率有一定降低。

（2）栈是系统数据结构，对于进程/线程是唯一的；堆是函数库内部数据结构，不一定唯一。不同堆分配的内存无法互相操作。

（3）栈空间分静态分配和动态分配，一般由编译器完成静态分配，自动释放，栈的动态分配是不被鼓励的；堆得分配总是动态的，虽然程序结束时所有的数据空间都会被释放回系统，但是精确的申请内存/释放内存匹配是良好程序的基本要素。

（4）碎片问题：对于堆来讲，频繁的new/delete等操作势必会造成内存空间的不连续，从而造成大量的碎片，使程序的效率降低；对于栈来讲，则不会存在这个问题，因为栈是后进先出(LIFO)的队列。

（5）生长方向：堆的生长方向是向上的，也就是向这内存地址增加的方向；对于栈来讲，生长方向却是向下的，是向着内存地址减少的方向增长。

（6）分配方式：堆都是动态分配的，没有静态分配的堆；栈有两种分配方式：静态分配和动态分配。静态分配是编译器完成的，比如局部变量的分配。动态分配则由alloca函数进行分配，但是栈的动态分配和堆不同，它的动态分配是由编译器进行释放，无需我们手工实现。

（7）分配效率：栈是机器系统提供的数据结构，计算机在底层提供支持，分配有专门的堆栈段寄存器，入栈出栈有专门的机器指令，这些都决定了栈的高效率执行。而堆是由C/C++函数库提供的，机制比较复杂，有不同的分配算法，易产生内存碎片，需要对内存进行各种管理，效率比栈要低很多。

实例1：
看下面的一小段C程序，仔细体会各种内存分配机制。

int a = 0; //全局初始化区  

char *p1;  //全局未初始化区(C++中则初始化为NULL)

int main()  

{  

    int b;                  //b分配在栈上，整型  

    char s[] = "abc";       //s分配在栈上，char *类型；"abc\0"分配在栈上，运行时赋值，函数结束销毁

    char *p2;               //p2分配在栈上，未初始化  

    char *p3 = "123456";    //p3指向"123456"分配在字符串常量存储区的地址，编译时确定  p3存储在栈上

    static int c = 0;       //c在全局（静态）初始化区，可以多次跨函数调用而保持原值  

    p1 = (char *)malloc(10); //p1在全局未初始化区，指向分配得来得10字节的堆区地址  

    p2 = (char *)malloc(20); //p2指向分配得来得20字节的堆区地址 

    strcpy(p1, "123456");    //"123456"放在字符串常量存储区，编译器可能会将它与p3所指向的"123456"优化成一块

    return 0;

}  

实例2

看下面的一小段代码，体会堆与栈的区别：

int foo()

{

    //其余代码   

    int *p = new int[5];

    //其余代码 

    return 0;

}

其中的语句int *p = new int[5];就包含了堆与栈。其中new关键字分配了一块堆内存，而指针p本身所占得内存为栈内存(一般4个字节表示地址)。这句话的意思是在栈内存中存放了一个指向一块堆内存的指针p。在程序中先确定在堆中分配内存的大小，然后调用new关键字分配内存，最后返回这块内存首址，放入栈中。这段代码在VC6下的汇编代码为：

00401028    push         14h 

0040102A    call         operator new (00401060) 

0040102F    add          esp,4 

00401032    mov          dword ptr [ebp-8],eax 

00401035    mov          eax,dword ptr [ebp-8] 

00401038    mov          dword ptr [ebp-4],eax 

如果需要释放内存，这里我们需要使用delete[] p，告诉编译器，我要删除的是一个数组。

实例3

看下面的一小段代码，试着找出其中的错误：

#include <iostream>

using namespace std;

int main()

{

    char a[] = "hello";

    a[0] = 'X';

    cout << a << endl;

    char *p = "world";

    p[0] = 'X';

    cout << p << endl; 

    return 0;

}

发现问题了吗？是的，字符数组a的容量是6个字符，其内容为"hello\0"。a的内容时可以改变的，比如a[0]='X'，因为其是在栈上分配的，也就是在运行时确定的内容。但是指针p指向的字符串"world"分配在字符串常量存储区，内容为"world\0"，常量字符串的内容时不可以修改的。从语法上来说，编译器并不觉得语句p[0]='X'有什么问题，但是在运行时则会出现"access violation"非法内存访问的问题。