这节课主要讲解了内存管理函数实现方式。
一.Heap(堆)
堆位于低地址空间,通过malloc函数分配堆的地址。关于malloc函数的介绍可参考:C内存管理函数。
int* arr=malloc(40*sizeof(int));
注意:得到的内存块会比160字节大一点,可能是164或168,因为该内存块的开头包含了一段小的空间用来记录有用的信息(例如该块内存的大小,该内存块后面的内存块是空闲等)。执行完这条语句后,会得到一个返回的指针,但这个指针并不是整个内存块的头指针,实际上是头指针后的4个字节或者8个字节的指针。
执行free函数时,指针会机械地回退4个字节或者8个字节获取内存大小信息,并且free掉后面相应大小的内容。例如:
int* arr=malloc(100*sizeof(int));
free(arr+60);
//出错,指针会调到arr+58/59,将这里面的内容解释为内存块大小再释放
int arr[100];//这样静态申请与堆无关,但也有head信息
free(array);
arr[-1]=0;//这样把malloc以及realloc写入分配内存块的大小信息的位置相覆盖,会导致结果出错。
空闲的空间组成一个链表,管理器会使用空闲内存块最开始的4个字节存储到下一个空闲块的地址,因此每次调用malloc或者free时的时候内存管理器都会遍历这个链表,并找到某个足够大的内存块来满足请求。
曾经有一种内存管理方式是将堆中已使用的内存块压缩,使这些内存块尽可能的接近最前端,此时就可以产生很大一块可以使用的内存块。在这种内存管理方式中,是通过句柄(二级指针)来管理内存。
void** handle=NewHandle(40);
Handlelock(handle);
//告诉操作系统不要挪动NewHandle指向的内存,它们正在被句柄寻址
HandleUnlock(handle);
二.Stack(栈)
栈位于高地址空间。
栈里的指针(栈指针)记录已分配和未分配的边界,每有一个新函数分配局部变量,指针会减小(即,向低地址方向移动),并将移动后的地址作为函数访问变量的基地址。当函数返回后,栈指针回退。
void A()
{
int a;
short b[4];
double c;
//从栈里分配内存
B();
C();
}
void B()
{
int x;
char* y;
char* z[2];
C();
}
void C()
{
double m[3];
int n;
}