c++学习笔记之动态内存管理(一)

C++之动态内存管理

参考书籍：《高质量程序设计指南》

在C++中内存分配方式有三种：

• 从静态存储区分配。内存在程序编译的时候就已经分配好了，这些内存在程序的整个运行期间都存在。eg:全局变量，static变量等。
• 在堆栈上分配。在函数执行期间，函数内包括形参在内的局部变量等存储单元都创建在堆栈上，函数结束时这些存储单元会自动释放内存(清栈)。堆栈内存分配运算内置与处理器的指令集中，效率很高，并且安全性也很高，但是分配内存空间有限，可能出现堆栈溢出的情况。
• 动态内存分配，就是在堆上或自由存储空间分配。通常我们会使用malloc() / new申请任意大小的内存，并且有开发者掌握时机手动free() / delete。动态内存的生存期由程序员决定，因此使用起来非常灵活，但是也最容易产生问题。
  注：一般情况下，如果可以使用堆栈存储和静态存储就能满足要求，就不要是使用动态存储

在我之前总结的C语言思维导图中可以看出，C语言中，申请动态内存主要有三种方式：

• malloc
• realloc
• cealloc
  如图所示：
  

除此之外，在C++中还引入了new/delete关键字来申请动态空间

但是已经有了malloc/free，为什么我们还要使用new/delete呢？

malloc()与free是C/C++中的标准库函数，new/delete是C++中的运算符，他们都可用于申请和释放动态内存
但是对于非内部数据类型的对象而言，光用malloc()/free()是无法满足动态对象的要求：对象在创建（销毁）的同时要自动调用构造（析构）函数，但是由于malloc()/free()是库函数，不再编译器的权限范围内，不能把调用构造/析构的任务强加给它们，因此C++需要一个能够完成动态内存分配和初始化工作的运算符new和能够释放内存的运算符delete
注：delete和free都只是释放了内存，并没有删除指针本身

1. new/delete的用法

new和delete的使用比malloc()/free()简单许多

1.只申请一个内存空间：new/delete
2.申请多个内存空间：new[] /delete[]

void test(){
int* p1 = new int ;	//申请1个int型内存空间不进行初始化
int* p2 = new int(1);//申请1个int型内存空间并且初始化为1
int* p3 = new int[10];// 申请10个int型的内存空间
delete p1;  //释放内存空间
delete p2;
delete[]  p3;
}

2.operator new与operator delete函数

new和delete是用户进行动态内存申请和释放的操作符，operator new 和operator delete是系统提供的全局函数*，new在底层调用operator new全局函数来申请空间，delete在底层通过operator delete全局函数来释放空间
通过上述两个全局函数的实现知道，operator new 实际也是通过malloc来申请空间，如果malloc申请空间成功就直接返回，否则执行用户提供的空间不足应对措施，如果用户提供该措施就继续申请，否则就抛异常。operator delete最终是通过free来释放空间的。

注意:
        operator new和operator delete用户也可以自己实现
        用户实现时即可实现成全局函数，也可实现成 类的成员函数
        但是一般情况下不需要实现，除非有特殊需求。

new和delete的实现原理:

一、内置类型:

如果申请的是内置类型的空间，new和malloc，delete和free基本类似，不同的地方是：new/delete申请和 释放的是单个元素的空间，new[]和delete[]申请的是连续空间，而且new在申请空间失败时会抛异常， malloc会返回NULL。

二、自定义类型:

new的原理 :
1. 调用operator new函数申请空间
2. 在申请的空间上执行构造函数，完成对象的构造
delete的原理 :
1. 在空间上执行析构函数，完成对象中资源的清理工作
2. 调用operator delete函数释放对象的空间
new T[N]的原理 :
1. 调用operator new[]函数，在operator new[]中实际调用operator new函数完成N个对象空间的申请
2. 在申请的空间上执行N次构造函数
delete[ ]的原理 :
1. 在释放的对象空间上执行N次析构函数，完成N个对象中资源的清理
2. 调用operator delete[ ]释放空间，实际在operator delete[ ]中调用operator delete来释放空间

三、malloc/free和new/delete的区别:

malloc/free和new/delete的共同点是： 都是从堆上申请空间，并且需要用户手动释放。

不同的地方是：

1. malloc和free是函数，new和delete是操作符
2. malloc申请的空间不能初始化，new可以初始化
3. malloc申请空间时，需要手动计算空间大小并传递，new只需在其后跟上空间的类型即可
4. malloc的返回值为void*, 在使用时必须强转，new不需要，因为new后跟的是空间的类型
5. malloc申请空间失败时，返回的是NULL，因此使用时必须判空，new不需要，但是new需要捕获异常
6. malloc/free只能申请内置类型的空间，不能申请自定义类型的空间，因为其不会调用构造与析构函数， 而new可以，new在申请空间后会调用构造函数完成对象的构造， delete在释放空间前会调用析构函数 完成空间中资源的清理
7. new/delete比malloc和free的效率稍微低点，因为new/delete的底层封装了malloc/free

class Test
{
public:
     static Test* CreateInstance(int data)
     {
          return new Test(data);
          }  
     //C++11
     //告诉编译器将该函数删除    
     Test(const Test& data) = delete;
private:
     Test (int data)
     {
          cout << "Test():" << this << endl;
     }
     //C++98
     //Test(const Test& data);
      //1、只声明不定义    2、声明成私有
     int _data;
};