2 堆内存分配

[1] mallco()分配机制

根据C中malloc(n)函数动态分配堆的机制：分配堆内存的时候就依序由低到高的地址搜索“堆链”中的堆块，搜索到“可用堆内存”满足n的堆块（如Heap1）为止。若Heap1的“可用堆内存”刚好满足n，则将Heap1从“堆链”中删除，同时重新组织各堆块形成新的“堆链”；若Heap1的“可用堆内存”大小大于n，则将malloc(n)申请到的“Header” + "可用堆内存"部分从Heap1中分裂，将剩余的Heap1堆内存块重新加入“堆链”中。经分裂后的堆内存也包含“Header”和“可用堆内存”两部分（如图Figure 2），然后将由malloc()分配得到的“可用堆内存”返回给用户。若某块堆内存空间比较大（如Heap1），能够满足较小内存的多次申请，那么由malloc(n)多次申请的堆内存块都是连续被分配给用户的（因为有Header，所以用户使用的堆地址不连续）。

由于Header的构成的内存对齐，C中malloc(n)函数分配的堆内存会大于等于Header + n。

3 malloc()分配内存

可先参见位经malloc()函数申请分配的堆内存在计算机中的形式：计算机中的堆。

经malloc()分配过得堆内存结构如下：

Read From《The C Programming Language》。

可用的堆内存块以“可用堆内存链表”的形式存在。malloc()进行动态分配的特点：

• malloc()根据用户所需分配内存的大小n (bytes)在“堆链表”（见未使用过得堆内存）里搜索。直到搜索到一个大于等于n字节的堆内存块为止。如果此堆内存块的大小刚好为n，则直接将首地址返回给用户；如果此内存块的大小大于n，则将此块堆内存分裂，将大于n部分的堆内存留在可用堆内存中，以“堆链表”的形式和其它未分配的堆内存发生联系。

• 如果整个堆链表所代表的堆内存块都没有大于等于n的堆内存块，系统将给“堆链表”链接一个更大的区域供其使用。要是这一步也失败了，malloc()函数就返回NULL给用户。

malloc()函数分配内存成功则返回可用堆内存块的首地址，若分配失败则返回空。在使用malloc()后一定要判断堆内存是否成功。若对内存分配未成功使用指针操作内存也会使程序出现异常。动态分配内存时要采取以下结构：

[cpp] view plaincopyprint?

1. char *pL =NULL;
2. ……
3. pL       = (char *)malloc( sizeof(char) * size);
4. if(pL)
5. {
6. …
7. }

分配成功后，得到的堆内存首地址一定要保存，不然后来无法释放堆内存而造成内存泄露。而且不可使用未初始化的pL指向的内存块。

4 用指针来使用堆空间

• 定义指针后，释放堆空间后都应将指针赋值为NULL。若指针之上有地址值，而以此地址值为起始地址的内存空间不再可用，则就形成了野指针，野指针有潜在的危险。
• 在上一点的基础之上，使用指针前判断其值是否为NULL。
• 以指针为索引(堆内存无名)，若malloc分配内存成功，初始化堆内存（malloc时，大小要不为0）。malloc前的强制转换类型规定了申请的堆内存将要存的数据类型。
• free堆内存后，指针保存的地址值还在，只是那块内存已经被回收了，所以需要再次将指针的值设为NULL，避免使用野指针。free内存时，按照逻辑来，防止内存泄露。

指针名所代表的4 bytes内存上存了堆内存的首地址后，访问这块堆内存内容跟平时使用指针差不多。可以以指针的形式访问（甚用p++ || ++p，堆内存首地址可不要丢失，留着释放），也可以使用下标的形式访问。

5 free()内存

当使用free()函数释放堆内存的时候，free()函数将堆内存插入到于要释放堆内存地址最邻近的一个位置上，尽可能的使堆内存以大块的形式存在而不至于让堆内存称为碎片。

释放未指向任何堆内存块的指针也会造成内存泄露。所以在释放指针前的一个基本操作是判断指针内容是否为空，free(p)后只是将p指向的内存回收，p的值依旧存在，为避免再次使用p的值还需要将p赋值为NULL（因为使用指针前都会判断是否为NULL）。释放堆内存块采取这样的程序结构：

[cpp] view plaincopyprint?

1. if(pL)
2. {
3. free(pL);
4. pL      = NULL;
5. }

6 指针赋值为NULL的道理

有笔记“C中的void和NULL”表面引用NULL指针的后果。为了更好的利用指针，避免野指针（指针所指的内存块不可用）的使用在所有使用指向堆内存块的指针前都采取如此的结构：

[cpp] view plaincopyprint?

1. if(p)
2. {
3. //通过指针操作堆内存
4. ……
5. }

定义指针后将其值赋值为NULL。此时指针指向的内存地址为NULL，NULL对指针的赋值是将指针置成空指针（什么也没有指向）还是将指针指向了一段特殊的地址取决于编译器，编程中我们不需要了解NULL到底代表什么，只需要用NULL来避免指针带来的后果。

定义指针后将其赋值为NULL之后的好处在于避免系统给予局部指针变量的随机值，我们在使用指针前（malloc()除外）都判断一下指针的值是否为NULL，只有在不为空的情况下才能对此进行操作，如free(p)，若在不判断p是否为空的情况下进行free(p)操作则会造成内存泄露。

7 在含指针参数的函数内使用断言

(1)用断言判断指针是否为NULL

判断指针是否为NULL的主要针对对象是指向堆内存的指针。比如在以下内存拷贝函数中：

[cpp] view plaincopyprint?

1. flag  my_strcpy(char  *StrTo,  char  *StrFrom)
2. {
3. if(!StrTo || !StrFrom)
4. {
5. return  -1;
6. }
7. char  *StrToL, *StrFromL;
8. StrToL      = StrTo;
9. StrFromL    = StrFrom;
10. while(*StrToL++ = * StrFromL++)
11. NULL;
12. return 0;
13. }

程序中首先判断两个地址是否为空。判断StrTo是为了了解StrTo是否指向一段空间。当然若StrTo指向一个常数，往后拷贝操作还得出错。

像这样带指针参数的子函数内都很有必要有这么一段判断指针是否为NULL的语句，故而可以将这样的代码写成函数来供大家使用，再考虑此代码段比较小可以用宏代替。这样的（带参数）宏可称为断言，因为当指针未空时就退出子函数（如assert()）。

如以上一段判断子函数是否为空可以用如下宏代替，形成一个断言：

[cpp] view plaincopyprint?

1. #define  MY_ASSERT(pStrTo, pStrFrom)     if(!StrTo || !StrFrom)     \
2. {                          \
3. return  -1;           \
4. }

然后在每个程序中直接调用MY_ASSERT(pStrTo, pStrFrom);即可。由于这样的宏（断言）可能供许多函数的使用，所以一定要保证它的正确性。

(2)内存块重叠

内存块重叠指多个指针指向的内存有重叠的情况。对内存块的操作是否会影响源内存块的内容（如内存数据拷贝）。

两指针指向的内存块重叠

如上图将p2指向内存的数据拷贝给p1代表的内存中去后，p2指向的内存块数据也被改变。堆内存块的操作不要有副作用。

8 总结

(1)用NULL（因其特殊性）来统一标识指针的可用性。使用指针前都应该判断一下指针是否为NULL。

(2)将局部指针变量初始化为NULL（消除系统给其赋的随机值，系统为其赋随机值也就造就了野指针）。

(3)指针用于指向堆内存时需要注意：

• malloc()后一定要判断是否malloc()成功。malloc()成功后一定要保存所分配堆内存块的首地址。

• 使用堆内存块前要初始化。

• 使用堆内存块不可越界。

• 正确释放每个堆内存块。且释放后将指针的值重新赋值为NULL。

(4)使用指针前都应该判断一下指针是否为NULL。

完全使用完某个指针或释放指向堆内存的指针后，将其值赋值为空。指向堆内存的指针在释放完需要赋值为空的理由见free ()堆内存。对于指针定义时初始化和完全使用完指针后再将其值赋为NULL的道理在于所有使用指针的语句前都会有有判断指针是否为NULL的语句。尤其是在子函数内判断指向堆内存块的指针实参是否为NULL。

9 malloc()分配总结

对于C中的malloc(n)分配，有以下进一步的结论：

• 实际分配的堆内存是Header + n结构。返回给用户的是n部分的首地址。
• 由于内存对齐值8，实际分配的堆内存大于等于sizeof(Header) + n。