静态内存与动态内存的分配



静态存储分配：

通常定义变量（或对象），编译器在编译时都可以根据该变量（或对象）的类型知道所需内存空间的大小，从而系统在适当的时候为他们分配确定的存储空间

动态存储分配：

有些操作对象只有在程序运行时才能确定，这样编译器在编译时就无法为他们预定存储空间，只能在程序运行时，系统根据运行时的要求进行内存分配。所有动态存储分配都在堆区中进行

堆分配：

当程序运行到需要一个动态分配的变量或对象时，必须向系统申请取得堆中的一块所需大小的存贮空间，用于存贮该变量或对象。当不再使用该变量或对象时，也就是它的生命结束时，要显式释放它所占用的存贮空间，这样系统就能对该堆空间进行再次分配，做到重复使用有限的资源

在C++中，申请和释放堆中分配的存贮空间，分别使用new和delete的两个运算符来完成，其使用的格式如下：
指针变量名=new 类型名(初始化式)；
delete 指针名;
　　new运算符返回的是一个指向所分配类型变量（对象）的指针。对所创建的变量或对象，都是通过该指针来间接操作的，而动态创建的对象本身没有名字。

一般定义变量和对象时要用标识符命名，称命名对象，而动态的称无名对象(请注意与栈区中的临时对象的区别，两者完全不同：生命期不同，操作方法不同，临时变量对程序员是透明的)。堆区是不会自动在分配时做初始化的（包括清零），所以必须用初始化式(initializer)来显式初始化

new表达式的操作序列如下：从堆区分配对象，然后用括号中的值初始化该对象。从堆区分配对象时，new表达式调用库操作符new()。例如： 

int *pi=new int(0);
它与下列代码序列大体等价：
int ival=0;
int *pi=&ival;
只是pi现在所指向的变量是由库操作符new()分配的，位于程序的堆区中，并且该对象未命名。 

下面看演示：
１．用初始化式(initializer)来显式初始化 
int *pi=new int(0);
２．当pi生命周期结束时，
必须释放pi所指向的目标：
 delete pi;
注意这时释放了pi所指的目标的内存空间，也就是撤销了该目标，称动态内存释放（dynamic memory deallocation），但指针pi本身并没有撤销，该指针所占内存空间并未释放。

数组的动态分配：

对于数组进行动态分配的格式为：
指针变量名=new 类型名[下标表达式];
Delete [ ] 指向该数组的指针变量名;
两式中的方括号是非常重要的，两者必须配对使用。如果delete语句中少了方括号，因编译器认为该指针是指向数组第一个元素的指针，会产生回收不彻底的问题（只回收了第一个元素所占空间），加了方括号后就转化为指向数组的指针，回收整个数组。
    delete [ ]的方括号中不需要填数组元素数，系统自知。即使写了，编译器也忽略。
    请注意“下标表达式”不是常量表达式，即它的值不必在编译时确定，可以在运行时确定

动态分配数组有三个特点：

1. 变量n在编译时没有确定的值，而是在运行中输入，按运行时所需分配堆空间，这一点是动态分配的优点，可克服数组“大开小用”的弊端，在表、排序与查找中的算法，若用动态数组，通用性更佳。delete [ ]pc是将n个字符的空间释放，而用delete pc则只释放了一个字符的空间

2. 如果有一个char *pc1，令pc1=p，同样可用delete [ ] pc1来释放该空间。尽管C++不对数组作边界检查，但在堆空间分配时，对数组分配空间大小是纪录在案的。

3. 没有初始化式（initializer），不可对数组初始化。

指针使用的几个问题：
1.  动态分配失败。返回一个空指针（NULL），表示发生了异常，堆资源不足，分配失败

2.  指针删除与堆空间释放。删除一个指针p（delete p;）实际意思是删除了p所指的目标（变量或对象等），释放了它所占的堆空间，而不是删除ｐ本身，释放堆空间后，ｐ成了空悬指针。

内存泄漏（memory leak）和重复释放 ：

new与　　delete 是配对使用的， delete只能释放堆空间。如果new返回的指针值丢失，则所分配的堆空间无法回收，称内存泄漏，同一空间重复释放也是危险的，因为该空间可能已另分配，所以必须妥善保存new返回的指针，以保证不发生内存泄漏，也必须保证不会重复释放堆内存空间

动态分配的变量或对象的生命期。无名对象的生命期并不依赖于建立它的作用域，比如在函数中建立的动态对象在函数返回后仍可使用 。我们也称堆空间为自由空间（free store）就是这个原因。但必须记住释放该对象所占堆空间，并只能释放一次，在函数内建立，而在函数外释放是一件很容易失控的事，往往会出错

堆对象与构造函数：

通过new建立的对象要调用构造函数，通过delete删除对象也要调用析构函数。
CGoods *pc;
pc=new CGoods;  
//1.分配堆空间，2.构造一个无名的CGoods对象；
…….
delete pc;  //1.先析构，2.然后将内存空间返回给堆；

堆对象的生命期并不依赖于建立它的作用域，所以除非程序结束，堆对象（无名对象）的生命期不会到期，并且需要显式地用delete语句析构堆对象，上面的堆对象在执行delete语句时，C++自动调用其析构函数。

这里再次强调： 由堆区创建对象数组，只能调用缺省的构造函数，不能调用其他任何构造函数。如果没有缺省的构造函数，则不能创建对象数组。