高质量C++/C编程指南 -- 第7章 内存管理 (2)

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

u       malloc函数本身并不识别要申请的内存是什么类型，它只关心内存的总字节数。我们通常记不住int, float等数据类型的变量的确切字节数。例如int变量在16位系统下是2个字节，在32位下是4个字节；而float变量在16位系统下是4个字节，在32位下也是4个字节。最好用以下程序作一次测试：

cout << sizeof(char) << endl;

cout << sizeof(int) << endl;

cout << sizeof(unsigned int) << endl;

cout << sizeof(long) << endl;

cout << sizeof(unsigned long) << endl;

cout << sizeof(float) << endl;

cout << sizeof(double) << endl;

    cout << sizeof(void *) << endl;

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

u       函数free的原型如下：

void free( void * memblock );

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

7.11 new/delete 的使用要点

       运算符new使用起来要比函数malloc简单得多，例如：

int  *p1 = (int *)malloc(sizeof(int) * length);

int  *p2 = new int[length];

这是因为new内置了sizeof、类型转换和类型安全检查功能。对于非内部数据类型的对象而言，new在创建动态对象的同时完成了初始化工作。如果对象有多个构造函数，那么new的语句也可以有多种形式。例如

class Obj

{

public :

    Obj(void);      // 无参数的构造函数

    Obj(int x);     // 带一个参数的构造函数

…

}

void Test(void)

{

    Obj  *a = new Obj;

    Obj  *b = new Obj(1);    // 初值为1

    …

    delete a;

    delete b;

}

如果用new创建对象数组，那么只能使用对象的无参数构造函数。例如

    Obj  *objects = new Obj[100];    // 创建100个动态对象

不能写成

    Obj  *objects = new Obj[100](1);// 创建100个动态对象的同时赋初值1

在用delete释放对象数组时，留意不要丢了符号‘[]’。例如

    delete []objects;    // 正确的用法

delete objects;    // 错误的用法

后者相当于delete objects[0]，漏掉了另外99个对象。

7.12 一些心得体会

我认识不少技术不错的C++/C程序员，很少有人能拍拍胸脯说通晓指针与内存管理（包括我自己）。我最初学习C语言时特别怕指针，导致我开发第一个应用软件（约1万行C代码）时没有使用一个指针，全用数组来顶替指针，实在蠢笨得过分。躲避指针不是办法，后来我改写了这个软件，代码量缩小到原先的一半。

我的经验教训是：

（1）越是怕指针，就越要使用指针。不会正确使用指针，肯定算不上是合格的程序员。

（2）必须养成“使用调试器逐步跟踪程序”的习惯，只有这样才能发现问题的本质。