new/delete PK malloc/free

malloc/free标准库函数

void * malloc(size_t size);

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

int *p=(int*)malloc(10*sizeof(int)) 

我们应当把注意力集中在两个要素上：“类型转换”和“sizeof”。
1. malloc 返回值的类型是void ，所以在调用malloc 时要显式地进行类型转换，将void 转换成所需要的指针类型。
2. malloc 函数本身并不识别要申请的内存是什么类型，它只关心内存的总字节数。

void  free(void * Memory);

free(p)

为什么free 函数不象malloc 函数那样复杂呢？这是因为指针p 的类型以及它所指的内存的容量事先都是知道的，语句free(p)能正确地释放内存。

如果p 是NULL 指针，那么free对p 无论操作多少次都不会出问题。如果p 不是NULL 指针，那么free 对p连续操作两次就会导致程序运行错误。

new/delete关键字

例如：

int *p2 = new int[length];

A* a = new A；

我们知道这里分为三步：1.分配内存，2.调用A()构造对象，3. 返回分配指针。事实上，分配内存这一操作是由operator new(size_ t)来完成的，它是一个操作符，并且可被重载(类似加减乘除的操作符重载)。如果类A重载了operator new，那么将调用A::operator new(size_ t )，否则调用全局::operator new(size_t )，后者由C++默认提供。

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

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

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

不能写成

Obj *objects = new Obj[100](1);

因为：当一个类定义了一个构造函数后，编译器不会再生成默认构造函数。没有默认构造函数的类不能用作动态分配数组的元素。
假设aClass为没有默认构造函数的类，当动态申请数组时new aClass[Length],并不能给数组初始化值，而new操作符不只是分配内存，而且需给编译器标识出内存中存放的是什么类型数据，故需要去调用类的默认构造函数，没有则出错。

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

delete []objects; // 正确的用法 
delete objects; // 错误的用法 后者相当于delete objects[0]，漏掉了另外99 个对象。

注意 : [ ]的作用说明释放的是一个数组的内存，如果delete p则只是释放的p[0]，其余9个int的内存没有释放；这是因为当指明为[ ]的时候，编译器实际上是做了一个循环来释放这个数组的所有内存。

区别和联系

1. 它们都是只把指针所指向的内存释放掉了，并没有把指针本身干掉。在free和delete之后，都需要把指向清理内存的指针置为空，即p=NULL，否则指针指向的内存空间虽然释放了，但是指针p的值还是记录的那块地址，该地址对应的内存是垃圾，p就成了“野指针”。同样会使人认为p是个合法的指针，如果程序较长，我们通常在使用一个指针前会检查p！=NULL，这样就起不到作用了。此时如果再释放p指向的空间，编译器就会报错，因为释放一个已经被释放过的空间是不合法的。
2. 对于用户自定义的对象而言，用maloc/free无法满足动态管理对象的要求。对象在创建的同时要自动执行构造函数，对象在消亡之前要自动执行析构函数。由于malloc/free是库函数而不是运算符，不在编译器控制权限之内，不能够把执行构造函数和析构函数的任务强加于malloc/free。因此C++需要一个能对对象完成动态内存分配和初始化工作的运算符new，以及一个能对对象完成清理与释放内存工作的运算符delete

PS指针

失控指针（迷途指针、野指针、悬浮指针。）	不指向任何合法的对象的指针，可以指向任何地址，并且对该地址的数值进行修改或删除，可能会造成意想不到的后果。
迷途指针(悬浮指针)	当所指向的对象被释放或者收回，但是对该指针没有作任何的修改，以至于该指针仍旧指向已经回收的内存地址。若操作系统将这部分已经释放的内存重新分配给另外一个进程，而原来的程序重新引用现在的迷途指针，则将产生无法预料的后果。这种类型的程序错误，不容易找到问题的原因
野指针	未被初始化的指针，野指针所导致的错误和迷途指针非常相似，但野指针的问题更容易被发现。