内存分区及割断含义

  一个进程在内存中会占5个区域：

1.程序代码区

存放程序代码

2.常量区

一般定义字符串时，内容存放在常量区

如： char *tmp="hello"  //hello存放在常量区

3.全局（静态）存储区

全局变量，静态（static）变量存放在全局存储区，里面的数据会一直保存到被新的数据覆盖或者进程退出。

 

程序代码区、常量区和全局（静态）存储区，这三部分的内存分配，在编译时就已经完成。

4.栈

局部变量、函数参数、函数入口地址等存放在栈中。主要是存放临时数据、变量的有效性会随着程序的运行而改变，如退出函数会，函数中的 局部变量会被踢出栈中。linux默认栈大小为8M，window为2M。

 

5.堆

用malloc申请的内存在堆里，堆的可用大小相对不受限制，有效周期为主动调用free函数或者进程结束。

 

其中，堆和栈的生长方式是不一样的。

堆的生长方式是自低地址向高地址，栈的生长方式是自高地址向低地址。

 

堆与栈的讨论：

 管理方式：

  堆中资源由程序员控制（容易产生memory leak）。

  栈资源由编译器自动管理，无需手工控制。

 

 系统响应：

  堆，系统有一个记录空闲内存地址的链表，当系统收到程序申请时，遍历该链表，寻找第一个空间大于申请空间的堆结点，删除空闲结点链表中的该结点，并将该结点空间分配给程序（大多数系统会在这块内存空间首地址记录本次分配的大小，这样delete才能正确释放本内存空间，另外系统会将多余的部分重新放入空闲链表中）。

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

 

 空间大小：

  堆：不连续的内存区域（因为系统是用链表来存储空闲内存地址，自然不是连续的），堆大小受限于计算机系统中有效的虚拟内存（32bit系统理论上是4G），所以堆的空间比较灵活，比较大。

  栈是一块连续的内存区域，大小是操作系统预定好的，windows下栈大小是2M（也有是1M，在编译时确定，VC中可设置）。

 

 碎片问题：

  对于堆，频繁的new/delete会造成大量碎片，使程序效率降低。

  对于栈，它是一个先进后出的队列，进出一一对应，不会产生碎片。

 

 生长方向：（这决定了栈在高地址区、堆在底地址区）

  堆向上，向高地址方向增长。

  栈向下，向低地址方向增长。

 

 分配方式：

  堆都是动态分配（没有静态分配的堆）。

  栈有静态分配和动态分配，静态分配由编译器完成（如局部变量分配），动态分配由alloca函数分配，但栈的动态分配的资源由编译器进行释放，无需程序员实现。

 

 分配效率：

  堆由C/C++函数库提供，机制很复杂。所以堆的效率比栈低很多。

  栈是极其系统提供的数据结构，计算机在底层对栈提供支持，分配专门寄存器存放栈地址，栈操作有专门指令。

 

 

 

 

sizeof

比如

class A

{

    int a;

    char c;

    void pri(int a);

}

void A::pri(int a)

{

    printf("a=%d\n",a);

}

int main()

{

    A arr;

    printf("sizeof(arr)=%d",sizeof(arr));

    printf("sizeof(arr.a)=%d",sizeof(arr.a));

    printf("sizeof(arr.c)=%d",sizeof(arr.c));

}

其中sizeof(arr)=8

sizeof(arr.a)=4

sizeof(arr.c)=1

由于内存对齐的原则，及时c占用的空间为1，实际分配了4个字节。

内存对齐基本上是透明的，这是编译器该干的活，编译器为程序中的每个数据单元安排在合适的位置上，从而导致了相同的变量，不同声明顺序的结构体大小的不同。

对齐规则：

每个特定平台删的编译器都有自己默认的“对齐系数/对齐模数”，可以通过预编译命令#pragma pack(n),n=1,2,4,8,16来改变。

规则：

1.数据成员对齐规则，结构struct或者union的数据成员，第一个数据成员放在offset为0的地方，以为每个数据成员的对齐，按照#parama pack指定的值和这个数据成员自身长度中，比较小的那个进行；

2.结构或联合的整体对齐规则，在数据成员完成对齐后，结构体本身也需要对齐

3.当@parama pack的n值等于或者超过所有数据成员长度的时候，这个n值不产生任何效果