首先我们来看内存分布
#include<iostream>
using namespace std;
int globalval = 1;
static int staticglobalval = 1;
void Test()
{
static int staticval = 1;
int locaval = 1;
int num[10] = { 1, 2, 3, 4 };
char char2[] = "abcd";
char* pchar = "abcd";
cout << sizeof(char2) << endl;
cout << strlen(char2) << endl;
cout << strlen(pchar) << endl;
int* ptr1 = (int*)malloc(sizeof(int)* 4);
int* ptr2 = (int*)calloc(4, sizeof(int));
int* ptr3 = (int*)realloc(ptr2, sizeof(int)* 4);
cout << sizeof(ptr1) << endl;
cout << sizeof(ptr3) << endl;
free(ptr1);
free(ptr3);
}
int main()
{
Test();
return 0;
}
C/C++中程序内存区域划分了六大块,分别是:内核空间、栈、内存映射段、堆、数据段、代码段
说明:栈又叫堆栈,非静态变量/函数参数/返回值等,栈是向下增长的。
内存映射段是高效的I/O映射方式,用于装载一个共享的动态内存库。用户可以使用系统接口创建共享内存,做进程间通信。
堆用于程序运行时动态内存分配,堆时向上增长的。
数据段存储全局数据和静态数据。
代码段可以执行的代码/只读常量。
内存的地址编号是从下往上依次递增的。
这里补充一下什么是全局变量和静态变量以及它们之间的区别与联系
全局变量:全局变量没有在任何一个函数内,作用的范围在程序运行时始终存在,能被同一源文件的任何函数调用,也能被其他文件中的函数调用,但要使用extern关键字。全局变量变量的作用域是整个工程。注意:static修饰的全局变量只能在当前源文件使用,而不能在其他源文件使用,因此改变了全局变量的作用域。以上代码中globalval是全局变量。
静态变量:包括静态局部变量和静态全局变量,以上代码中的 staticval是静态局部变量,staticglobalval是静态全局变量。
全局变量和静态变量的区别:1.作用域不同。全局变量的作用域是整个工程,而静态变量的作用域决定于它被定义的位置,比如以上的代码中的 static int staticval = 1; 变量staticval的作用域只在函数Test中有效。2.链接属性不同。全局变量具有外部链接属性,而静态变量具有内部链接属性,只能在本文件中使用,不能在其他文件中使用。
全局变量和静态变量的联系:它们的生命周期相同,都为源程序的周期。
-
C语言中的动态内存管理方式
malloc/calloc/realloc/free
【面试题】
malloc/calloc/realloc的区别?
malloc函数向内存申请一块连续可用的空间,如果开辟成功返回这块空间的指针,如果开辟失败就返回一个NULL指针,因此malloc的返回值要做检查。当开辟的空间使用之后要用free函数进行释放空间,即销毁指向这块空间的指针。
calloc函数的原型 void* calloc (size_t num, size_t size);功能是为num个大小为size的元素开辟一块空间,并把空间的每个字节初始化为0,与malloc 的区别只在于calloc会在返回地址之前把申请的空间的每个字节初始化为全0。
realloc函数使动态内存管理更加灵活,有时我们发现过去申请的空间太小,有时又觉得申请的空间太大,为了合理的管理内存,就要堆内存的大小做灵活的调整,realloc函数可以对动态开辟的内存大小进行调整。其原型为void* realloc (void* ptr, size_t size);ptr是要调整的内存地址,size是调整之后的新大小,返回值是调整之后的内存起始位置。
realloc在调整内存空间时存在两种情况:
1.原有空间之后有足够大的空间,直接在后面追加空间。
2.原有的空间之后没有足够大的空间,此时就需要在堆空间上另找一个合适大小的连续空间来使用,这样函数返回的是一个新的内存地址。 -
C++内存管理方式
与C语言不同的是,C++在继承了C语言的内存管理方式之后又发展了形式较简单的内存管理方式:通过new和delete操作符进行动态内存管理。
使用方法如下:
void Test()
{
//动态申请一个int类型的空间
int* ptr1 = new int;
//动态申请一个int类型的空间并初始化为10
int* ptr2 = new int(10);
//动态申请10个int类型的空间
int* ptr3 = new int[10];
//释放空间
delete ptr1;
delete ptr2;
delete ptr3;
}
- new 和delete操作自定义类型
class Test
{
public:
Test()
:_data(0)
{
cout << "Test():" << this << endl;
}
void Test2()
{
//申请单个Test类型的空间
Test* p1 = (Test*)malloc(sizeof(Test));
free(p1);
//申请10个Test类型的空间
Test* p2 = (Test*)malloc(sizeof(Test)* 10);
free(p2);
}
void Test3()
{
//申请单个Test类型的空间
Test* p1 = new Test;
delete p1;
//申请10个Test类型的空间
Test* p2 = new Test[10];
delete[] p2;
}
~Test()
{
cout << "Test():" << this << endl;
}
private:
int _data;
};
注意:在申请自定义类型的空间时,new会调用构造函数,delete会调用析构函数,而malloc 和 free不会。
- operator new 和operator delete函数
new和delete是用户进行动态内存申请和释放的操作符,operator new和operator delete是系统提供的全局函数,new在底层调用operator new全局函数来申请空间,delete在底层调用operator delete来释放空间。
也就是说operator new:该函数实际是通过malloc来申请空间,当malloc 申请空间成功时直接返回;否则执行用户提供的空间不足对应措施,如果用户提供该措施就继续申请,否则就抛异常。operator delete最终是通过free来释放空间的。
- new和delete的实现原理
如果申请的是内置类型的空间,new和malloc,delete和free基本类似,不同的地方是:new/delete申请和释放的是单个元素的空间,new[]和delete[]申请的是连续空间,而且new在申请空间失败时会抛异常, malloc会返回NULL。
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来释放空间。
- 定位new表达式(placement-new
定位new表达式是在已分配的原始内存空间中调用构造函数初始化一个对象。
使用格式:
new (place_address) type或者new (place_address) type(initializer-list)
place_address必须是一个指针,initializer-list是类型的初始化列表
使用场景:
定位new表达式在实际中一般是配合内存池使用。因为内存池分配出的内存没有初始化,所以如果是自定义 类型的对象,需要使用new的定义表达式进行显示调构造函数进行初始化。
【面试题】
malloc/free和new/delete的区别
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。
- 内存泄漏
什么是内存泄漏
内存泄漏指因为疏忽或错误造成程序未能释放已经不再使用的内存的情况。内存泄漏并不是指内存在物理上 的消失,而是应用程序分配某段内存后,因为设计错误,失去了对该段内存的控制,因而造成了内存的浪费。
内存泄漏的分类
- 堆内存泄漏
堆内存指的是程序执行中依据须要分配通过malloc / calloc / realloc / new等从堆中分配的一块内存, 用完后必须通过调用相应的 free或者delete 删掉。假设程序的设计错误导致这部分内存没有被释放,那 么以后这部分空间将无法再被使用,就会产生Heap Leak。 - 系统资源泄漏
指程序使用系统分配的资源,比方套接字、文件描述符、管道等没有使用对应的函数释放掉,导致系统 资源的浪费,严重可导致系统效能减少,系统执行不稳定。
如何避免内存泄漏
1.工程前期良好的设计规范,养成良好的编码规范,申请的内存空间记着匹配的去释放。ps:这个理想状 态。但是如果碰上异常时,就算注意释放了,还是可能会出问题。需要下一条智能指针来管理才有保证。
2. 采用RAII思想或者智能指针来管理资源。
内存泄漏非常常见,解决方案分为两种:1、事前预防型。如智能指针等。2、事后查错型。如泄漏检测工具。