C/C++内存管理

目录

一、C/C++中的内存分布

二、C/C++中的内存分配方式

三、C语言中动态内存管理

四、C++中动态内存管理

五、malloc/free和new/delete的异同点

---

一、C/C++中的内存分布

一个由C/C++编译的程序占用的内存分为以下几个部分： 

    1、栈区（stack）— 由编译器自动分配释放 ，存放为运行函数而分配的局部变量、函数参数、返回数据、返回地址等。其操作方式类似于数据结构中的栈。 
    2、堆区（heap） — 一般由程序员分配释放， 若程序员不释放，程序结束时可能由OS回收 。

    3、全局区（静态区（static）—存放全局变量、静态数据、常量。程序结束后由系统释放。 

    4、文字常量区—常量字符串就是放在这里的。 程序结束后由系统释放。 

    5、程序代码区—存放函数体的二进制代码。

二、C/C++中的内存分配方式

内存的分配方式有三种：

1.从静态存储区域分配：

     内存在程序编译的时候就已经分配好，这块内存在程序的整个运行期间都存在。例如全局变量，static变量。

2.在栈上分配：

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

3.从堆上分配：

      也叫动态内存分配。程序在运行的时候用malloc或new申请任意多少的内存， 我们自己负责在何时用free或delete释放内存。 动态内存的生存期由程序员决定，使用非常灵活，但如果在堆上分配了空间，就有责任回收它，否则运行的程序会出现内存泄漏，频繁地分配和释放不同大小的堆空间将会产生堆内存碎块。

三、C语言中动态内存管理

1.malloc

void* malloc (size_t size); 
//这个函数向内存申请一块连续可用的空间，并返回指向这块空间的指针。
//如果开辟成功，则返回一个指向开辟好空间的指针。 
//如果开辟失败，则返回一个NULL指针，因此malloc的返回值一定要做检查。 
//返回值的类型是 void* ，所以malloc函数并不知道开辟空间的类型，具体在使用时使用者自己来决定。 

2.calloc

void* calloc (size_t num, size_t size); 
//函数的功能是为 num 个大小为 size 的元素开辟一块空间，并且把空间的每个字节初始化为0。 

3.relloc

void* realloc (void* ptr, size_t size); 
//ptr 是要调整的内存地址 size 调整之后新大小 返回值为调整之后的内存起始位置。 
//这个函数调整原内存空间大小的基础上，还会将原来内存中的数据移动到新的空间。 

realloc在调整内存空间的是存在两种情况：

1>原有空间之后有足够大的空间 :要扩展内存就直接原有内存之后直接追加空间，原来空间的数据不发生变化。

 2>原有空间之后没有足够大的空间:原有空间之后没有足够多的空间时，扩展的方法是：在堆空间上另找一个合适大小的连续空间来使用。这样函数返回的是一个新的内存地址。   

4.free

void free (void* ptr); 
//free函数用来释放动态开辟的内存。
//如果参数 ptr 指向的空间不是动态开辟的，那free函数的行为是未定义的。
// 如果参数 ptr 是NULL指针，则函数什么事都不做。 

四、C++中动态内存管理

      语言内存管理方式在C++中可以继续使用，但有些地方就使用起来比较麻烦，因此C++又提出新的内存管理方式：通过new和delete操作符进行动态内存管理。

1.new和delete申请内置类型

  1>如果申请的是内置类型的空间，new和malloc，delete和free基本类似，

  2>不同的地方是：new/delete申请和释放的是单个元素的空间，new[]和delete[]申请的是连续空间，而且new在申请空间失败时会抛异常，malloc会返回NULL。

void test()
{
 // 动态申请一个int类型的空间
 int* ptr4 = new int;
 
 // 动态申请一个int类型的空间并初始化为10
 int* ptr5 = new int(10);
 
 // 动态申请10个int类型的空间
 int* ptr6 = new int[3];
 
 delete ptr4;
 delete ptr5;
 delete[] ptr6;
}

 

2.new和delete申请自定义类型

     申请自定义类型的空间时，new会调用构造函数，delete会调用析构函数，而malloc与free不会。

class Test
{
public:
 Test()
 : _data(0)
 {
 cout<<"Test():"<<this<<endl;
 }
 ~Test()
 {
 cout<<"~Test():"<<this<<endl;
 }
 
private:
 int _data;
};
void Test1()
{
 // 申请单个Test类型的空间
 Test* p1 = (Test*)malloc(sizeof(Test));
 free(p1);
 
 // 申请10个Test类型的空间
 Test* p2 = (Test*)malloc(sizoef(Test) * 10);
 free(p2);
}

void Test2()
{
 // 申请单个Test类型的对象
 Test* p1 = new Test;
 delete p1;
 
 // 申请10个Test类型的对象
 Test* p2 = new Test[10];
 delete[] p2;
}

3.operator new和operator delete

  1>operator new 和operator delete是系统提供的全局函数

   2>new在底层调用operator new全局函数来申请空间,该函数实际通过malloc来申请空间，当malloc申请空间成功时直接返回；申请空间失败，尝试执行空 间不足应对措施，如果改应对措施用户设置了，则继续申请，否则抛异常。

   3>delete在底层通过operator delete全局函数来释放空间。operator delete 最终是通过free来释放空间的。

4.自定义类型new和delete的原理：

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来释放空间

5.new的定位表达式

定位new表达式是在已分配的原始内存空间中调用构造函数初始化一个对象。

new (place_address) type
或new (place_address) type(initializer-list)
//place_address必须是一个指针，initializer-list是类型的初始化列表

class Test
{
public:
 Test()
 : _data(0)
 {
 cout<<"Test():"<<this<<endl;
 }
 ~Test()
 {
 cout<<"~Test():"<<this<<endl;
 }
 
private:
 int _data;
};
void Test()
{
 // pt现在指向的只是与Test对象相同大小的一段空间，还不能算是一个对象
 //因为构造函数没有执行 
 Test* pt = (Test*)malloc(sizeof(Test));
 
 new(pt) Test; 
}

五、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在申请空间后会调用构造函数完成对象的初始化，delete在释放空间前会调用析构函数完成空间中资源的清理。
7. new/delete比malloc和free的效率稍微低点，因为new/delete的底层封装了malloc/free。