动态内存管理
1. C/C++内存分布
直接来一段代码看一看
这里容易错的是*char2和 *pchar3,这里的char2是一个数组,存在于栈中,然后把常量区的字符串拷贝到数组内,所以说 *char2也是在栈上的 而 *pchar3确实是在常量区上
栈又叫堆栈–非静态局部变量/函数参数/返回值等等,栈是向下增长的
内存映射段是高效的I/O映射方式,用于装载一个共享的动态内存库。用户可使用系统接口 创建共享共享内存,做进程间通信
堆用于程序运行时动态内存分配,堆是可以上增长的
数据段–存储全局数据和静态数据
代码段–可执行的代码/只读常量
2. C++内存管理方式
2.1. new/delete
比如申请一个10 int 的数组
int* p1 = (int*)malloc(sizeof(int)*10);
int* p2 = new int[10];
//释放内存
free(p1);
delete[] p2;
//申请单个int对象
int* p3 = (int*)malloc(sizeof(int));
int* p4 = new int;
free(p3);
delete p4;
new/delete 和malloc/free针对内置类型没有任何差别,只是用法不一样
注意 new/delete new[]/delete[]一定要匹配,否则可能会出错:
struct ListNode {
ListNode* _next;
ListNode* _prev;
int _val;
ListNode(int val = 0)
:_next(nullptr)
, _prev(nullptr)
, _val(val)
{}
};
int main()
{
struct ListNode* n1 = (struct ListNode*)malloc(sizeof(struct ListNode));
ListNode* n2 = new ListNode;
//甚至可以写成ListNode* n2 = new ListNode(4);初始化你想要的值
return 0;
}
malloc只是开空间 free只释放空间
new 针对自定义类型, 开空间+构造函数初始化 delete针对自定义类型
析构函数清理+释放空间
//申请多个节点的时候
ListNode* arr4 = new ListNode[4];
delete[] arr4;
//delete arr4;这时候如果对不上程序就崩溃了,
//初始化的时候,还可以这样c++11支持,98就不支持了
ListNode* arr5 = new ListNode[4]{1,2,3,4};
//不建议这样改
//但是可以这样
int *p=new int(0);
int *p2=new int[4]{1,2,3,4};
2.2. operator new与operator delete函数
new和delete是用户进行动态内存申请和释放的操作符,operator new 和operator delete是 系统提供的全局函数,new在底层调用operator new全局函数来申请空间,delete在底层通过 operator delete全局函数来释放空间。
其实operator new 就是封装了malloc 增加了一个抛异常
new就是调用了operator new 申请空间然后再调用构造函数
delete就是先调用析构函数,然后再operator delete释放空间
再比如
A* p2=new A[10]
就是调用operator new[] 它再去调用operator new,申请完空间后,再调用10次构造函数
先来看不会报错的场景,我们这里分为两个类,第一种是普通类(构造函数中不会再去堆上申请资源,命名为A ;另一中会去堆中申请资源,叫B
场景1:
场景2:
场景3:
显而易见要是只free(p3),原本由析构函数释放掉的那块空间不会被释放,就会造成内存泄漏
会报错的场景
但是如果把析构函数去掉,编译器检查A没有实现析构函数,并且编译器自己生成的不调用又没什么区别,此时在上面就不会多开空间来保存个数,也就是不会崩溃了。
2.3 定位new
定位new表达式是在已分配的原始内存空间中调用构造函数初始化一个对象
使用格式:
new (place_address) type或者new (place_address) type(initializer-list) place_address必须是一个指针,initializer-list是类型的初始化列表
使用场景:
定位new表达式在实际中一般是配合内存池使用。因为内存池分配出的内存没有初始化,所以如 果是自定义类型的对象,需要使用new的定义表达式进行显示调构造函数进行初始化。
比如
class A
{
public:
A(int a = 0)
: _a(a)
{
cout << "A():" << this << endl;
}
~A()
{
cout << "~A():" << this << endl;
}
private:
int _a;
};
int main()
{
A* p1 = (A*)malloc(sizeof(A));
new(p1)A(1);//构造函数只能通过这种方式调用
p1->~A();//析构函数可以直接显示调用
free(p1);
}