C/C++程序内存区域划分
区域 | 说明 |
---|---|
内核空间 | 用户代码不能编写 |
栈 | 向下增长,由编译器自动分配释放 |
内存映射段 | 文件映射、动态库、匿名映射 |
堆 | 向上增长,一般由程序员分配释放 |
数据段 | 全局数据、静态数据,静态区(全局区) |
代码段 | 可执行代码、只读常量 |
- 栈又叫堆栈,存放非静态局部变量、函数参数、返回值等等,向下增长。
- 内存映射段是高效的I/O映射方式,用于装载一个共享的动态内存库。用户可使用系统接口创建共享共享内存,做进程间通信。
- 堆用于程序运行时动态内存分配,向上增长。
- 数据段,存储全局数据和静态数据。
- 代码段,存储可执行的代码、只读常量。
C语言内存管理
malloc/calloc/realloc/free,是C标准提供的实现堆上内存管理的函数,包含于头文件stdlib.h。
1. malloc
void *malloc(size_t size);
在内存的动态存储区中分配一块长度为size字节的连续区域,返回指向所申请区域的第一个字节的指针,即返回该区域的地址,若内存申请失败(内存不够),则返回空指针NULL;并且不对申请的空间进行初始化。
2. calloc
void *calloc(size_t num, size_t size);
与malloc类似,size为申请地址的单元元素长度,num是参数个数。
即为一个大小为num的数组申请内存,每个元素的大小是size,将每个元素初始化为0,同时返回该区域的地址。若内存申请失败,则返回空指针NULL。
3. realloc
void *realloc(void *ptr, size_t size);
给一个已经分配了的地址的指针重新分配空间,原有空间的地址为ptr,重新申请的地址空间大小为size个字节。
可以对给定的指针所指向的空间进行扩大或缩小,原有的内存中内容不变。新的内存空间和原来的内存空间不一定时同一内存地址,返回的指针可能指向新的地址。
free
void free(void *ptr);
用于释放由malloc/calloc/realloc申请的内存空间。
申请的空间不可以二次释放。
C++内存管理
C语言内存管理方式在C++中也可以继续使用,而C++提出自己的内存管理方式:通过new和delete操作符进行动态内存管理。
申请和释放单个元素的空间,使用new和delete操作符,申请和释放连续的空间,使用new[]和delete[]。
针对内置类型
void Test()
{
// 动态申请一个int类型的空间
int* p1 = new int;
// 动态申请一个int类型的空间并初始化为10
int* p2 = new int(10);
// 动态申请10个int类型的空间,数组
int* p3 = new int[10];
// 释放空间
delete p1;
delete p2;
delete[] p3;
}
针对自定义类型
class Test
{
public:
Test()
: _data(0)
{
cout<<"Test():"<<this<<endl;
}
~Test()
{
cout<<"~Test():"<<this<<endl;
}
private:
int _data;
};
void Tests()
{
// 申请单个Test类型的空间
Test* p1 = (Test*)malloc(sizeof(Test));
free(p1);
// 申请10个Test类型的空间
Test* p2 = (Test*)malloc(sizoef(Test) * 10);
free(p2);
}
在申请自定义类型的空间时,new会调用构造函数,delete会调用析构函数,而malloc与free不会。
operator new与operator delete函数
new和delete是用户进行动态内存申请和释放的操作符,operator new 和operator delete则是系统提供的全局函数,new在底层调用operator new这个全局函数来申请空间,delete在底层通过operator delete这个全局函数来释放空间。
**operator new:**该函数底层实际通过malloc来申请空间,当malloc申请空间成功时直接返回;如果申请空间失败,则执行用户提供的空间不足应对措施,如果用户提供该措施就继续申请,否则抛出bad_alloc类型异常。
operator delete: 该函数底层依旧是通过free来释放空间的。
new和delete的实现原理
- 内置类型
如果申请的是内置类型的空间,new和malloc,delete和free基本类似;
new/delete申请和释放单个元素的空间,new[]和delete[]申请连续空间,new在申请空间失败时抛异常,malloc则返回NULL。 - 自定义类型
new:
调用operator new函数申请空间,并执行构造函数。
delete
调用operator delete函数释放空间,执行析构函数,完成对象中资源的清理工作。
new T[N]
调用operator new[]函数,在operator new[]中实际调用operator new函数完成N个对象空间的申请,在申请的空间上执行N次构造函数。
delete[]
调用operator delete[]释放空间,在operator delete[]中调用operator delete来释放空间,在释放的对象空间上执行N次析构函数,完成N个对象中资源的清理。