c/c++程序的内存结构（一）

一、动态分配内存和静态分配内存
一块程序被加载到内存中，首先，这块内存就存在两种属性：动态分配内存和静态分配内存。
静态分配内存：程序编译和链接时就确定好的内存。
动态分配内存：程序加载、调入、执行时分配和回收的内存。

二、堆栈
堆与栈的区别：
（1）*管理方式：*堆中资源由程序员控制（通过malloc/free、new/delete，容易产生memory leak），栈资源由编译器自动管理。
（2）*系统响应：*对于堆，系统有一个记录空闲内存地址的链表，当系统收到程序申请时，遍历该链表，寻找第一个大于所申请空间的空间的堆结点，删除空闲结点链表中的该结点，并将该结点空间分配给程序（大多数系统会在这块内存空间首地址记录本次分配的大小，这样delete才能正确释放本内存空间，另外，系统会将多余的部分重新放入空闲链表中）。对于栈，只要栈的剩余空间大于所申请空间，系统就会为程序分配内存，否则报异常出现栈空间溢出错误。
（3）*空间大小：*堆是不连续的内存区域（因为系统是用链表来存储空闲内存地址的，自然不是连续），堆的大小受限于计算机系统中有效的虚拟内存（32位机器上理论上是4G大小），所以堆的空间比较灵活，比较大。栈是一块连续的内存区域，大小是操作系统预定好的，windows下栈大小是2M（也有是1M，在编译时确定，VC中可设置）。
（4）*碎片问题：*对于堆，频繁的new/delete会造成大量内存碎片，降低程序效率。对于栈，它是一个先进后出（first-in-last-out）的结构，进出一一对应，不会产生碎片。
（5）*生长方向：*堆向上，向高地址方向增长；栈向下，向低地址方向增长。
（6）*分配方式：*堆是动态分配（没有静态分配的堆）。栈有静态分配和动态分配，静态分配由编译器完成（如函数局部变量），动态分配由alloca函数分配，但栈的动态分配资源由编译器自动释放，无需程序员实现。
（7）*分配效率：*堆由C/C++函数库提供，机制很复杂，因此堆的效率比栈低很多。栈是机器系统提供的数据结构，计算机在底层对栈提供支持，分配专门的寄存器存放栈地址，提供栈操作专门的指令。

三、栈式存储分配
在编译时期，过程/函数以及嵌套程序块的活动记录大小（最大值）是可以确定的。这个时候才使用栈式存储分配。因为栈的最大容量固定（windows中为2M，有些是1M），若所需内存大于栈的剩余内存，则溢出。

#include <stdio.h>
//计算两个数的加法
int sum(int a, int b)
{
    int c;
    c = a+b;

    return a+b;
}
int main(void)
{
    int a;
    int b;
    int c;
    c = sum(a,b);
    //打印计算结果
    printf("%d+%d = %d",a,b,c);

    return 1;
}

当执行上面的程序时：

1、程序从main函数开始执行。系统为main函数分配栈活动记录，将main函数的活动记录压进栈（push stack）,当前栈顶指针指向main函数函数记录。
2、当函数执行到15行时，将开始调用sum函数。系统为sum函数分配栈活动记录，将sum函数的活动记录压进栈（push stack）,当前栈顶指针指向sum函数活动记录。
3、执行完sum函数，将当前栈顶记录弹出（pop stack），当前栈顶指针指向main函数的活动记录。将sum函数的返回值赋值给c。
4、函数数执行到17行时，调用系统I/O函数printf。系统为printf函数分配栈活动记录，将printf函数的活动记录压进栈（push stack）,当前栈顶指针指向printf函数的活动记录。
5、执行完printf函数，将当前栈顶记录弹出（pop stack）,当前栈顶指针指向main函数的函数记录。
6、系统将main函数的活动记录弹出，程序执行完毕。

四·、堆式存储分配
从栈式存储中，我们知道，每次函数执行完毕后，都会将当前栈顶活动记录弹出，这意味着变量随着函数执行的结束而丢失。但是有时候我们想要函数结束完之后，当前数据对象长期存在，这时候就该灵活但昂贵的堆发挥作用了。
在堆式存储分配时，程序可以在任意时刻，以任意次序从程序的代码区的堆区申请和释放一个数据对象。通常情况下，堆的分配和释放是由程序向操作系统提出的，这也注定了它的分配效率没有栈那么快。

两种方式
堆式存储空间的分配和释放可以是显式的，也可以是隐式的。
（1）显式的是指由程序员来负责应用程序的（堆）存储空间管理，可借助编译器和运行时系统所提供的默认存储管理机制。
（2）隐式的是指（堆）存储空间的分配或释放不需要程序员负责，而是由编译器和运行时系统自动完成。
某些语言有显式的存储空间分配和释放命令，如Pascal中的new/deposit，C++中的new/delete。在C语言中没有显式的存储空间分配和释放语句，但程序员可以使用标准库中的函数malloc()和free()来实现显式的分配和释放。