目录
一、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。