也谈C/C++的内存动态分配

1.内存分配的方式

   

内存分配方式有三种：

   

（1）从静态存储区域分配。内存在程序编译的时候就已经分配好，这块内存在程序的整个运行期间都存在。例如全局变量，static变量。

   

（2）在栈上创建。在执行函数时，函数内局部变量的存储单元都可以在栈上创建，函数执行结束时这些存储单元自动被释放。栈内存分配运算内置于处理器的指令集中，效率很高，但是分配的内存容量有限。

   

（3） 从堆上分配，亦称动态内存分配。程序在运行的时候用malloc或new申请任意多少的内存，程序员自己负责在何时用free或delete释放内存。动态内存的生存期由我们决定，使用非常灵活，但问题也最多，以下我们重点讲解动态内存分配。

2.malloc/free 的使用要点

   

malloc与free是C/C++语言的标准库函数，它用于申请动态内存和释放内存。

   

函数malloc的原型如下：

    void * malloc（size_t size）；

   

用malloc申请一块长度为length的整数类型的内存，程序如下：

 

int *ip = （int *） malloc（sizeof（int） * length）；

 

我们应当把注意力集中在两个要素上：“类型转换”和sizeof。

 

      malloc函数返回值的类型是void *，所以在调用malloc时要显式地进行类型转换，将void * 转换成所需要的指针类型。

 

      malloc函数本身并不识别要申请的内存是什么类型，它只关心内存的总字节数。例如int变量在16位系统下是2个字节，在32位下是4个字节；而float变量在16位系统下是4个字节，在32位下也是4个字节。这个你可以用sizeof（类型）去测试。

 

    在malloc的“（）”中使用sizeof运算符是良好的风格，但要当心有时我们会昏了头，写出 ip = malloc（sizeof（ip））这样的程序来。

 

    函数free的原型如下：

    void free（ void * memblock ）；

    为什么free函数不象malloc函数那样复杂呢？这是因为指针p的类型以及它所指的内存的容量事先都是知道的，语句free（p）能正确地释放内存。如果p是NULL指针，那么free对p无论操作多少次都不会出问题。如果p不是NULL指针，那么free对p连续操作两次就会导致程序运行错误。

   

3. new/delete 的使用要点

    对于非内部数据类型的对象而言，光用maloc/free无法满足动态对象的要求。对象在创建的同时要自动执行构造函数，对象在消亡之前要自动执行析构函数。由于malloc/free是库函数而不是运算符，不在编译器控制权限之内，不能够把执行构造函数和析构函数的任务强加于malloc/free.

 

    因此C++语言需要一个能完成动态内存分配和初始化工作的运算符new，以及一个能完成清理与释放内存工作的运算符delete.注意new/delete不是库函数，只是C++的运算符。我们来看如下例子就知道怎么回事了。

 

class Object { 　public : 　　Object(void){std::cout << “Initialization”<< std::endl; } 　　~Object(void){std::cout << “Destroy”<< std::endl; } 　　void Initialize(void){std:: cout << “Initialization”<< std::endl; } 　　void Destroy(void){ std::cout << “Destroy”<< std::endl; } } void UseMallocFree(void) { 　Object *ip = (Object *)malloc(sizeof(Object)); // 申请动态内存 　ip->Initialize(); // 初始化 　//… 　ip->Destroy(); // 清除工作 　free(ip); // 释放内存 } void UseNewDelete(void) { 　Object *ip = new Object; // 申请动态内存并且初始化 　//… 　Delete ip; // 清除并且释放内存 }

 

 

用malloc/free和new/delete如何实现对象的动态内存管理

 

 

 

    类Object的函数Initialize模拟了构造函数的功能，函数Destroy模拟了析构函数的功能。函数UseMallocFree中，由于malloc/free不能执行构造函数与析构函数，必须调用成员函数Initialize和Destroy来完成初始化与清除工作。函数UseNewDelete则简单得多。

 

    所以我们不要企图用malloc/free来完成动态对象的内存管理，应该用new/delete.由于内部数据类型的“对象”没有构造与析构的过程，对它们而言malloc/free和new/delete是等价的。new内置了sizeof、类型转换和类型安全检查功能， ，对于非内部数据类型的对象而言，new在创建动态对象的同时完成了初始化工作。

 

    new/delete 常使用的方法如下：

    typeof *ip = new typeof[length]；

    类/结构 *ip = new 类结构；

    一般释放如下：delete ip；

    数组的释放如下：delete [] ip；