文章目录
1. C/C++内存分布2. C语言中动态内存管理方式3. C++内存管理方式3. 1 new/delete操作内置类型3. 2 new和delete操作自定义类型 4. new与delete的原理4. 1 operator new与operator delete函数4. 2 内置类型4. 3 自定义类型 5. 定位new表达式(placement-new)6. malloc/free和new/delete的区别
1. C/C++内存分布
我们先来看下面的一段代码和相关问题
#include<iostream>using namespace std;int globalVar = 1;static int staticGlobalVar = 1;void Test(){static int staticVar = 1;int localVar = 1;int num1[10] = { 1, 2, 3, 4 };char char2[] = "abcd";const char* pChar3 = "abcd";int* ptr1 = (int*)malloc(sizeof(int) * 4);int* ptr2 = (int*)calloc(4, sizeof(int));int* ptr3 = (int*)realloc(ptr2, sizeof(int) * 4);free(ptr1);free(ptr3);}int main(){Test();return 0;}
选择题:
选项:A.栈 B.堆 C.数据段(静态区) D.代码段(常量区)
globalvar
在哪里?
staticGlobalvar
在哪里?
staticvar
在哪里?
localVar
在哪里?
num1
在哪里?
char2
在哪里?
*char2
在哪里?
pchar3
在哪里?
*pchar3
在哪里?
ptr1
在哪里?
*ptr1
在哪里?
补充:
栈又叫堆栈,存放非静态局部变量/函数参数/返回值等等,栈是向下增长的。内存映射段是高效的I/O映射方式,用于装载一个共享的动态内存库。用户可使用系统接口创建共享共享内存,做进程间通信。堆用于程序运行时动态内存分配,堆是可以上增长的。数据段-存储全局数据和静态数据代码段–可执行的代码/只读常量,globalvar
是全局变量,存放在静态区。
staticGlobalvar
是全局静态变量,存放于静态区。
staticvar
是局部变量,存放于栈区。
localVar
是局部变量,存放于栈区。
num1
是局部指针变量,存放于栈区。
char2
是局部指针变量,存放于栈区。
*char2
是局部变量,存放于栈区。
pchar3
是局部指针变量,存放于栈区。
*pchar3
是常量字符串,存放于常量区。(对这个有疑问可以看C指针进阶篇第一章)
ptr1
是局部指针变量,存放于栈区。
*ptr1
是动态开辟的内存,存放于堆区。
顺便解释一下为什么全局变量globalvar
可以被存放于静态区,静态区的变量不能被修改指的是这些变量的生命周期和存储位置是固定的,而不是指它们的值不能改变,而全局变量满足它的要求。
2. C语言中动态内存管理方式
malloc/calloc/realloc/free
这是C语言提供的动态内存管理函数,如果你对它们还不是很了解,不妨看一看C语言动态内存管理,因为C++的动态内存管理关键字基本都是对它们的封装,了解它们能更好地理解C++的动态内存管理的原理。
3. C++内存管理方式
尽管C语言内存管理方式在C++中可以继续使用,但它们在有些地方会无能为力,而且使用起来比较麻烦,因此C++又提出了自己的内存管理方式:通过new
和delete
操作符进行动态内存管理。
因为有new
这个操作符,所以C++不能给变量命名为new。
3. 1 new/delete操作内置类型
new
用于申请空间,delete
用于释放空间。
并且C++实际上有两套操作符,分别是:
new deletenew[] delete[]
上面那一组用于动态管理单个变量的内存,而下面那一组用于动态管理连续的空间。
用法举例:
#include<iostream>using namespace std;void Test(){// 动态申请一个int类型的空间int* ptr1 = new int;// 动态申请一个int类型的空间并初始化为10int* ptr2 = new int(10);// 动态申请10个int类型的空间int* ptr3 = new int[10];// 动态申请10个int类型的空间,并进行不完全初始化,同理可以进行完全初始化int* ptr4 = new int[10] {1};cout << "*ptr2:" << *ptr2 << endl;cout << "ptr4:";for (int i = 0; i < 10; i++){cout << ptr4[i] << " ";}cout << endl;delete ptr1;delete ptr2;delete[] ptr3;delete[] ptr4;}int main(){Test();return 0;}
输出:
注:new
和delete
是操作符,本身不需要头文件,也不在std命名空间中。
3. 2 new和delete操作自定义类型
new
和delete
处理内置类型除了能直接初始化之外似乎并没有什么太大的方便,但在自定义类型这里就不一样了。
new
和delete
(包括new[]
和delete[]
)在创建变量时会调用构造函数,销毁时会调用析构函数,我们举个例子。
#include<iostream>using namespace std;class A{public:A():_arr(new int[5]){cout << "A()" << endl;}~A(){cout << "~A()" << endl;delete[] _arr;}private:int* _arr;};int main(){A a1;A* a2 = new A;delete a2;return 0;}
输出:
可以构造函数和析构函数都被调用了两次,一次是a1,另一次是a2指向的那个对象,都进行了构造和析构。
但是如果a2是使用malloc
和free
创建销毁的就需要手动调用构造函数和析构函数。
4. new与delete的原理
new
和delete
是用户进行动态内存申请和释放的操作符,而operator new
和operator delete
是系统提供的全局函数,new
在底层调用 operator new
全局函数来申请空间,delete
在底层通过 operator delete
全局函数来释放空间。
4. 1 operator new与operator delete函数
我们先从operator new
和operator delete
的底层说起,它们两个实际上是对malloc
和free
的一种封装。当malloc
申请空间成功时直接返回;申请空间失败,尝试执行空间不足的应对措施,如果设置了应对措施,就实行措施并继续尝试申请,否则抛异常。而operator delete
也是通过free
来释放空间的,是对free
的封装。另外它们也有operator new[]
和operator delete[]
的形式,与new
和delete
是对应的。operator new
和 operator delete
用于单个对象的内存管理。operator new[]
和 operator delete[]
用于数组的内存管理。虽然它们的内部实现可能类似,但它们是针对不同用例设计的,操作的对象范围不同。 它们可以这样使用,和malloc
和free
的操作是一样的。
#include<iostream>using namespace std;int main(){int* a = (int*)operator new[](sizeof(int) * 4);operator delete[](a);return 0;}
4. 2 内置类型
如果申请的是内置类型的空间,new
和malloc
,delete
和free
基本类似,只不过new/delete
申请和释放的是单个元素的空间,new[]
和delete[]
申请的是连续空间,而malloc
和free
都可以。而且new在申请空间失败时会抛异常,malloc会返回NULL。
4. 3 自定义类型
new
的原理
operator new
函数申请空间并强制类型转换在申请的空间上执行构造函数,完成对象的构造 delete
的原理
operator delete
函数释放对象的空间 new T[N]
的原理
operator new[]
函数,在operator new[]
中完成N个对象空间的申请,并强制类型转换在申请的空间上执行N次构造函数 delete[]
的原理
operator delete[]
释放空间 5. 定位new表达式(placement-new)
定位new表达式是在已分配的原始内存空间中调用构造函数初始化一个对象。
使用格式:
new (place_address)type
或者new (place_address)type(initializer-list)
place_address
必须是一个指针,initializer-list
是类型的初始化列表
initializer-list
写出来就是{a,b,...}
,和数组初始化是一样的,关于这个东西我们会在STL部分中介绍
使用场景:
定位new表达式在实际中一般是配合内存池使用。
因为内存池分配出的内存没有初始化,所以如果是自定义类型的对象,需要使用new的定义表达式进行显示调构造函数进行初始化。
#include<iostream>using namespace std;class A{public:A(int a = 0): _a(a){cout << "A():" << this << endl;}~A(){cout << "~A():" << this << endl;}private:int _a;};// 定位new/replacement newint main(){// p1现在指向的只不过是与A对象相同大小的一段空间,还不能算是一个对象,因为构造函数没有执行A* p1 = (A*)malloc(sizeof(A));new(p1)A;// 注意:如果A类的构造函数有参数,此处还需要传参(后面加括号就可以)p1->~A();// 显式调用析构函数free(p1);// 释放p1A* p2 = (A*)operator new(sizeof(A));new(p2)A(10);p2->~A();operator delete(p2);return 0;}
上面的代码中顺便展示了使用了malloc,free和operator new和operator delete 两个版本,需要注意的是,如果内存是malloc出来的,就要使用free去释放,operator new出来的就使用operator delete去释放,不要混用,更不能和new,delete混用。
6. malloc/free和new/delete的区别
malloc/free和new/delete的共同点是:都是从堆上申请空间,并且需要用户手动释放。
不同的地方是:
void*
,在使用时必须强转,new不需要,因为new后跟的是空间的类型(底层中自动强转了)。malloc申请空间失败时,返回的是NULL,因此使用时必须判空,new不需要,但是new需要捕获异常。申请自定义类型对象时,malloc/free只会开辟空间,不会调用构造函数与析构函数,而new在申请空间后会调用构造函数完成对象的初始化,delete在释放空间前会调用析构函数完成空间中资源的清理释放。 有了new/delete
和new[]/delete[]
,就可以抛弃C语言的动态内存管理的方式了。
谢谢你的阅读,喜欢的话来个点赞收藏评论关注吧!
我会持续更新更多优质文章