1、c/c++内存划分图
- 栈又叫堆栈,非静态局部变量/函数参数/返回值等等,栈是向下增长的。栈内存分配运算内置于处理器的指令集中,效率很高,但是分配的内存容量有限。
- 内存映射段是高效的I/O映射方式,用于装载一个共享的动态内存库。用户可使用系统接口创建共享共享内存,做进程间通信。
- 堆用于程序运行时动态内存分配,堆是可以上增长的。
- 数据段–存储全局数据和静态数据。
- 代码段–可执行的代码/只读常量
2、C语言内存管理方式
- 动态内存管理
(1) 为什么要有动态内存管理?
因为常规空间开辟的方式,开辟的空间大小是固定的,数组在申明的时候必须指定数组长度,需在内存编译时期分配。对于只有在程序运行时期才能知道空间大小的情况,可以试着使用动态内存开辟。
(2) 常见动态内存开辟函数
malloc、calloc、realloc、free
- malloc:
void* malloc (size_t size);
向内存申请一块连续可用的空间,并返回指向这块空间的指针。
a)开辟成功返回指向这块空间的指针
b)开辟失败返回NULL指针,所以malloc的返回值一定要做检查
c)返回值类型是void*,malloc并不知道返回值类型,需要用户在使用的时候自己决定。
d)如果参数为0,则malloc的行为标准是未定义的,取决于编译器
-free:
void free (void* ptr);
free函数用来释放动态开辟的内存;
a) 如果参数ptr指向的空间不是动态开辟的,那么free函数的行为是未定义的;
b)如果参数是NULL指针,则函数什么事情都不做
#include<stdio.h>
int main()
{
int num=12;
int arr[num]={0};
int *ptr=NULL;
ptr=(int*)malloc(num*sizeof(int));
if(NULL!=ptr)
{
for(int i=0;i<num;i++)
{
*(ptr+i)=1;
}
}
free(ptr);
ptr=NULL;
return 0;
}
为什么free指针后还要让它指向NULL?
因为:
动态指针是在堆上维护的,动态指针定义后,程序为指针分配了一块内存,而且保证这块内存不会被其他乱七八糟的东西修改。free的时候,是放弃了指针对这个内存的占用,放弃之后,内存的值会改写成随机值。但是!**指针本身并没有被删除!**指针仍然指向原来的那块内存!因此正确的做法应该是在delete或者free掉指针后,还要把指针指向null,即p = NULL。calloc
void* calloc(size_t num,size_t size)
a)为num个大小为size的元素开辟一片空间,并且将其每个字节初始化为0
b)与malloc不同的是calloc会在返回地址之前把申请的空间的每个字节初始化为0relloc
void* realloc (void* ptr,size_t size)
realloc函数可以对动态开辟的空间进行大小的调整,ptr是要调整的内存地址,size是调整之后空间的大小。
a)realloc在调整原内存空间大小的基础上,还会将原来内存中的数据移动到新的空间
b)在使用realloc时,有两种情况
情况一:
要扩展内存空间的后面有足够的空间进行扩展,这个时候直接进行空间的追加,原来的数据空间不发生变化。
情况二:
原有空间后面没有足够的空间进行扩展,这时候需要在堆空间上寻找合适大小的连续空间来使用。这样函数返回的是一个新的内存地址,并将原数据移动到新的空间。
(3) 常见动态内存错误
a)对NULL指针的解引用操作
void test() { int *p=(int*)malloc(5*sizeof(int)); *p=20;//若*p为NULL则出错 free(p); }
b)对动态开辟空间的越界访问
c)对非动态开辟内存使用free释放
d)使用free释放一块动态开辟内存的一部分
void test() {int*p=malloc(100);p++;free(p);//p已经不在指向动态内存起始位置}
e)对一块动态内存多次释放
f)动态开辟内存忘记释放(会造成内存泄漏)
(4)malloc、calloc、realloc的区别?
(1)函数malloc不能初始化所分配的内存空间,而函数calloc能将所分配的内存空间中的每一位都初始化为零。
(3)函数malloc向系统申请分配指定size个字节的内存空间.返回类型是 void*类型,可以强制转换为任何其它类型的指针.
(4)realloc可以对给定的指针所指的空间进行扩大或者缩小,对于缩小,则被缩小的那一部分的内容会失.且并不保证调整后的内存空间和原来的内存空间保持同一内存地址.相反,realloc返回的指针很可能指向一个新的地址.
3、C++内存管理方式
C语言的动态内存管理在C++中仍然适用,不过C++也有了自己的内存管理方式:通过new和delete操作符进行动态内存管理。
(1)new和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;
}
class Test
{
public:
Test()
: _data(0)
{
cout<<"Test():"<<this<<endl;
}
~Test()
{
cout<<"~Test():"<<this<<endl;
}
private:
int _data;
};
void Test2()
{
// 申请单个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函数
operator new 和operator delete是系统提供的全局函数,new在底层调用operator new全局函数来申请空间,delete在底层通过operator delete全局函数来释放空间。
a)operator new 实际上是通过malloc来申请空间的,申请失败会抛异常;
b)operator delete是通过free来释放空间的
(3)new和delete的实现原理总结
a)内置类型
如果申请的是内置类型的空间,new和malloc,delete和free基本类似,不同的地方是:new/delete申请和释放的是单个元素的空间,new[]和delete[]申请和释放的是连续空间,而且new在申请空间失败时会抛异常,malloc会返回NULL。
b)自定义类型
new:
- 调用operator new函数申请空间
- 在申请的空间上执行构造函数,完成对象的构造
delete:- 在空间上执行析构函数,完成对象中资源的清理工作
- 调用operator delete函数释放对象的空间
new[n]:- 调用operator new[]函数,在operator new[]中实际调用operator new函数完成N个对象空间的申请
- 在申请的空间上执行N次构造函数
delete[]:- 在释放的对象空间上执行N次析构函数,完成N个对象中资源的清理
- 调用operator delete[]释放空间,实际在operator delete[]中调用operator delete来释放空间
(4)定位new表达式
定位new表达式是在已分配的原始内存空间中调用构造函数初始化一个对象。
a) 格式:new(指针)类型/new(指针)类型(初始化列表)
b)使用场景:
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类的构造函数有参数时,此处需要传参
}
5)malloc/free、new/delete的区别
- 相同:
都在堆上开辟空间,并且需要手动释放- 不同:
malloc和free是函数,new和delete是操作符;
malloc申请的空间不会初始化,new可以进行初始化;
malloc申请空间需要计算出申请空间的大小而new不需要;
malloc的返回值是void*,使用时必须强转(c语言有隐式类型转换而c++没有,考虑兼容性),new不需要;
malloc失败返回NULL,需要判空后再使用,new失败会抛异常;
申请自定义类型对象时,malloc和free不会调用构造(所以一般malloc搭配定位new表达式使用)和析构函数而new和delete会调用;
new和delete的效率比malloc和free低,因为它们底层封装了free和malloc;
4、内存泄漏
1、堆内存泄漏
通过malloc/calloc/relloc/new申请的空间没有释放,就会造车给堆内存泄漏。
2、系统资源泄露
指程序使用的系统分配资源,比如文件描述符、管道等没有使用对应的函数释放掉,导致系统资源浪费,严重时可导致系统效能减少,执行不稳定。
- 避免内存泄漏方法:
1)采用RAII思想或者智能指针来管理资源
2)使用内存泄漏工具进行检测(贵)