目录
2.operator new与operator delete函数
一:C/C++中内存分布
1.C/C++程序内存区域划分:
2.定义:
1.内核:在一些系统中,当系统调用发生时,操作系统或者操作系统内核会编写应用程序内存的一部分。
2.栈: 又叫堆栈, 存放自动变量,以及每次调用函数时保存的信息。每当调用一个函数时,返回到的地址和关于调用者环境的某些信息的地址,比如一些机器寄存器,就会被保存在栈中。然后,新调用的函数在栈上分配空间,用于自动和临时变量。栈是向下增长的。
3.内存映射段:是高效的I/O映射方式,用于装载一个共享的动态内存库。用户可使用系统接口创建共享共享内存,做进程间通信。
4.堆: 堆是动态内存分配通常发生的部分。内存分配由低到高堆区域从BSS段的末尾开始,并从那里逐渐增加到更大的地址。堆是由程序员自己分配的。堆区域由所有共享库和进程中动态加载的模块共享。堆是可以上增长的。
5数据段:(存储全局数据和静态数据。)
未初始化的数据段,通常称为bss段,这个段的数据在程序开始之前有内核初始化为0,包含所有初始化为0和没有显示初始化的全局变量和静态变量。
初始化的数据段,通常称为数据段,是程序的虚拟地址空间的一部分,它包含有程序员初始化的全局变量和静态变量,可以进一步划分为只读区和读写区。
6.代码段: 也叫文本段,是对象文件或内存中程序的一部分,其中包含可执行指令。文本段在堆栈的下面,是防止堆栈溢出覆盖它。通常代码段是共享的,对于经常执行的程序,只有一个副本需要存储在内存中,代码段是只读的,以防止程序以外修改指令。(可执行的代码/只读常量。)
举例:
二:C语言中的动态内存管理方式:
C语言中动态内存申请时有:malloc/calloc/realloc三种方式。(前面三个函数均是在堆上进行内存开辟,在堆上开辟的内存空间,用完之后必须使用free释放,否则会造成内存泄露的问题。)
1函数原型:
void* malloc (size_t size); //malloc在内存的动态存储区中分配一块长度为size字节的连续区域,返回该区域的地址。 void* calloc (size_t num, size_t size);//calloc与malloc类似(size为申请地址的单元元素长度,num是参数个数)。 void* realloc (void* ptr, size_t size);//realloc是给一个已经分配了的地址的指针重新分配空间,参数ptr为原有空间的地址,size是重新申请的地址空间。
2区别:
malloc 只申请,不能初始化,需要用memset初始化。
calloc 扩容空间,按位全初始化为0 申请空间+初始化。
realloc可以对给定的指针所指向的空间进行扩大或缩小,原有的内存中内容将保持不变。realloc并不保存新的内存空间和原来的内存空间保持同一内存地址,返回的指针可能指向新的地址。
三:C++中的内存管理方式:
由于C++是继承了部分C语言中的语法,所以C语言中的malloc/calloc/realloc三种方式可以在C++中继续使用,在此基础上C++增加了自己的内存管理方式:通过new和delete操作符进行动态内存管理。
1.使用方法:
1.1new/delete操作内置类型:
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;
}
注意:申请和释放单个元素的空间,使用new和delete操作符,申请和释放连续的空间,使用new[]和delete[]
1.2.new/delete操作自定义类型:
class Test
{
public:
Test()
: _data(0)
{
cout<<"Test():"<<this<<endl;
}
~Test()
{
cout<<"~Test():"<<this<<endl;
}
private:
int _data;
};
void Test2()
{
// 申请单个Test类型的空间
Test* p1 = (Test*)malloc(sizeof(Test));
free(p1);
// 申请10个Test类型的空间
Test* p2 = (Test*)malloc(sizoef(Test) * 10);
free(p2);
}
void Test3()
{
// 申请单个Test类型的对象
Test* p1 = new Test;
delete p1;
// 申请10个Test类型的对象
Test* p2 = new Test[10];
delete[] p2;
}
注意:在申请自定义类型的空间时,new会调用构造函数,delete会调用析构函数,而malloc与free不会。
2.operator new与operator delete函数
new和delete是用户进行动态内存申请和释放的操作符,operator new 和operator delete是系统提供的全局函数,new在底层调用operator new全局函数来申请空间(operator new 实际也是通过malloc来申请空间,如果malloc申请空间成功就直接返回,否则执行用户提供的空间不足应对措施,如果用户提供该措施就继续申请,否则就抛异常。),delete在底层通过operator delete全局函数来释放空间。(operator delete 最终也是通过free来释放空间的。)
3.new/delete实现原理
3.1内置类型new的原理和内置类型delete的原理:如果申请的是内置类型的空间,new和malloc,delete和free基本类似,不同的地方是:new/delete申请和释放的是单个元素的空间,new[]和delete[]申请的是连续空间,而且new在申请空间失败时会抛异常,malloc会返回NULL。
3.2自定义类型new的原理:<1>. 调用operator new函数申请空间. <2>. 在申请的空间上执行构造函数,完成对象的构造。
3.3自定义类型delete的原理:<1>在空间上执行析构函数,完成对象中资源的清理工作. <2>调用operator delete函数释放对象的空间。
3.4自定义类型new T[N]的原理:<1>. 调用operator new[]函数,在operator new[]中实际调用operator new函数完成N个对象空间的申请 <2>. 在申请的空间上执行N次构造函数。
3.5自定义类型delete T[N]的原理:<1>. 在释放的对象空间上执行N次析构函数,完成N个对象中资源的清理 . < 2>. 调用operator delete[]释放空间,实际在operator delete[]中调用operator delete来释放空间。
4.定位new表达式(placement-new)
4.1定义:定位new表达式是在已分配的原始内存空间中调用构造函数初始化一个对象。
4.2使用格式: new (place_address) type或者new (place_address) type(initializer-list)(place_address必须是一个指针,initializer-list是类型的初始化列表)
4.3使用场景:定位new表达式在实际中一般是配合内存池使用。因为内存池分配出的内存没有初始化,所以如果是自定义
类型的对象,需要使用new的定义表达式进行显示调构造函数进行初始化。
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; // 注意:如果Test类的构造函数有参数时,此处需要传参
}