C/C++内存管理

avatar
作者
猴君
阅读量:2


目录

​编辑

一、C/C++内存分布

二、C语言中动态内存管理方式

 【面试题】

三、C++中动态内存管理

3.1 new、delete操作内置类型

3.2 new和delete操作自定义类型

四、operator new与operator delete函数

五、new和delete的实现原理

5.1 内置类型

5.2 自定义类型

六、定位new表达式(placement-new)

七、常见面试题

7.1 malloc/free和new/delete的区别

7.2 内存泄漏

7.2.1 什么是内存泄漏,内存泄漏的危害

7.2.2 内存泄漏分类

7.2.3 如何检测内存泄漏

7.2.4如何避免内存泄漏


一、C/C++内存分布

我们先来看看下面的一段代码和相关问题:

int globalVar = 1; static int staticGlobalVar = 1;  void Test() { 	static int staticVar = 1; 	int localVar = 1; 	int num1[10] = { 1, 2, 3, 4 }; 	char char2[] = "abcd"; 	const char* pChar3 = "abcd"; 	int* ptr1 = (int*)malloc(sizeof(int) * 4); 	int* ptr2 = (int*)calloc(4, sizeof(int)); 	int* ptr3 = (int*)realloc(ptr2, sizeof(int) * 4); 	free(ptr1); 	free(ptr3); }

1. 选择题:

选项: A.栈   B.堆   C.数据段(静态区)   D.代码段(常量区)
globalVar在哪里?__C__  staticGlobalVar在哪里?__C__ staticVar在哪里?__C__  localVar在哪里?__A__ num1 在哪里?__A__ //num1是数组名,代表整个数组,数组通常存放在栈内存中 
char2在哪里?__A__ // 这句语法的意思是在常量区有一个字符串 "abcd\0", //用这个字符串去初始化char2,就会在栈上开辟一个数组, //然后把这个字符串拷贝过去。所以,char2类似于num1,num1是一个整形数组, //char2是一个字符数组,只是num1是自己直接初始化的,而char2开多大的空间 //则取决于后边的字符串,所以char2是数组名,代表整个数组,也在栈上。  *char2在哪里?__A_  // *char2是解引用,表示要取首元素的值,即取出首元素a,它还是在栈区。  pChar3在哪里?__A__  // pChar3是栈上的一个指针变量,指向常量区的字符串"abcd\0",所以它在栈区。  *pChar3在哪里?__D__  // 因为pChar3是指向常量区的字符串"abcd\0",所以*pChar3解引用出来就是常量区的a。  ptr1在哪里?__A__  // ptr1也是栈上的一个指针变量,它指向堆上所开辟的一块空间。  *ptr1在哪里?__B__  // 开辟空间,是将这块空间首元素的地址给了ptr1,所以*ptr1解引用后是在堆上。

2. 填空题:

sizeof(num1) = __40__;  sizeof(char2) = __5__;  strlen(char2) = __4__; sizeof(pChar3) = __4或8__;  strlen(pChar3) = __4__; sizeof(ptr1) = __4或8__;

3. sizeof 和 strlen 区别?

sizeof和strlen是C语言中两个常用的函数,用来计算数据的大小和字符串的长度。

🌾sizeof:

  • sizeof是一个运算符,而不是函数,用于计算数据类型、变量或表达式所占用的字节数。
  • sizeof返回的是一个size_t类型的无符号整数,表示在内存中分配的空间大小,可以用于计算数组、结构体和其他数据类型的大小。
  • sizeof可以用于任何数据类型,包括基本数据类型(int、float等)、自定义结构体、数组等。

🌾strlen:

  • strlen是一个函数,用于计算C风格字符串(以null结尾的字符数组)的长度,不包括null终止符。
  • strlen返回的是一个size_t类型的无符号整数,表示字符串中实际字符的数量,不包括结尾的null字符。
  • strlen只能用于C风格字符串,不能用于其他数据类型,如整型、浮点型等。

因此,sizeof用于计算数据类型、变量或表达式所占用的内存空间大小,而strlen用于计算C风格字符串的长度。两者均返回无符号整数类型,但应用场景和计对象不同。

【说明】

  1. 又叫堆栈--非静态局部变量/函数参数/返回值等等,栈是向下增长的。
  2. 内存映射段是高效的I/O映射方式,用于装载一个共享的动态内存库。用户可使用系统接口创建共享内存,做进程间通信。
  3. 用于程序运行时动态内存分配,堆是可以上增长的。
  4. 数据段(静态区)--存储全局数据和静态数据。
  5. 代码段(常量区)--可执行的代码/只读常量。

二、C语言中动态内存管理方式

void Test() { 	int* p1 = (int*)malloc(sizeof(int)); 	free(p1);  	int* p2 = (int*)calloc(4, sizeof(int)); 	int* p3 = (int*)realloc(p2, sizeof(int) * 10);  	// 这里不需要free(p2) 	free(p3); }

 【面试题】

1. malloc/calloc/realloc的区别?

malloc、calloc和realloc是C语言中用于动态内存分配的函数,它们之间有以下区别:

1. malloc:

  • malloc函数用于分配指定大小的内存块,并返回指向首字节的指针。
  • malloc只接受一个参数,即要分配的内存大小(以字节为单位)。
  • 分配的内存块中的内容是未初始化的,可能包含任意值。

2. calloc:

  1. calloc函数也用于分配指定大小的内存块,但会在分配后将内存块清零。
  2. calloc接受两个参数,一个是要分配的块数,一个是每个块的大小(以字节为单位)。
  3. 分配的内存块中的所有位都被设置为0。

3. realloc:

  • realloc函数用于重新调整先前分配的内存块的大小。
  • realloc接受两个参数,一个是指向要重新分配大小的内存块的指针,一个是新的大小(以字节为单位)。
  • 如果realloc成功,它将返回指向重新分配后内存块的指针,并且会自动复制以前内存块的内容到新的内存块中。

总结:

  • malloc和calloc都是用于分配内存的函数,而realloc是用于重新调整内存块大小的函数。
  • malloc和calloc的主要区别在于分配后内存块的内容初始化情况,而realloc用于调整现有内存块的大小。
  • 在使用这三个函数时,需要适当释放不再需要的内存空间,以避免内存漏问题。

详解请看博主以前的文章:动态内存管理详解

2. malloc的实现原理?


glibc中malloc实现原理

三、C++中动态内存管理

        C语言内存管理方式在C++中可以继续使用,但有些地方就无能为力,而且使用起来比较麻烦,因此C++又提出了自己的内存管理方式:通过new和delete操作符进行动态内存管理。

3.1 new、delete操作内置类型

int main() { 	// 动态申请一个int类型的空间 	int* p1 = new int;  	// 动态申请一个int类型的空间并初始化为10 	int* p2 = new int(10);  	// 动态申请10个int类型的空间 	int* p3 = new int[10];  	//动态申请5个int类型的空间并初始化为1、2、3、4、5 	int* p4 = new int[5]{ 1,2,3,4,5 };  	delete p1; 	delete p2; 	delete[] p3; 	delete[] p4;  	return 0; }

注意:

申请和释放单个元素的空间,使用new和delete操作符;申请和释放连续的空间,使用new[]和delete[],要匹配起来使用。 

3.2 new和delete操作自定义类型

class A { public: 	A(int a = 0) 		:_a(a) 	{ 		cout << "A():" << this << endl; 	}  	~A() 	{ 		cout << "~A():" << this << endl; 	}  private: 	int _a; };  int main() { 	// new/delete 和 malloc/free最大区别是: 	//new/delete对于【自定义类型】除了开空间还会调用构造函数和析构函数 	A* p1 = (A*)malloc(sizeof(A)); 	A* p2 = new A(1); 	free(p1); 	delete p2;  	// 内置类型是几乎是一样的 	int* p3 = (int*)malloc(sizeof(int));  	int* p4 = new int; 	free(p3); 	delete p4;  	A* p5 = (A*)malloc(sizeof(A) * 10); 	A* p6 = new A[10]; 	free(p5); 	delete[] p6;  	return 0; }

注意:

在申请自定义类型的空间时,new会调用构造函数,delete会调用析构函数,而malloc与free不会。

四、operator new与operator delete函数

        newdelete是用户进行动态内存申请和释放的操作符operator newoperator delete是系统提供的全局函数new在底层调用operator new全局函数来申请空间,delete在底层通过operator delete全局函数来释放空间。

//operator new:该函数实际通过malloc来申请空间,当malloc申请空间成功时直接返回;申请空间失败, //则尝试执行空间不足应对措施,如果该应对措施用户设置了,则继续申请,否则抛异常。 void* __CRTDECL operator new(size_t size) _THROW1(_STD bad_alloc) { 	// try to allocate size bytes 	void* p; 	while ((p = malloc(size)) == 0) 		if (_callnewh(size) == 0) 		{ 			// report no memory 			// 如果申请内存失败了,这里会抛出bad_alloc 类型异常 			static const std::bad_alloc nomem; 			_RAISE(nomem); 		} 	return (p); }  //operator delete: 该函数最终是通过free来释放空间的 void operator delete(void* pUserData) { 	_CrtMemBlockHeader* pHead;  	RTCCALLBACK(_RTC_Free_hook, (pUserData, 0));  	if (pUserData == NULL) 		return;  	_mlock(_HEAP_LOCK); /* block other threads */ 	__TRY  		/* get a pointer to memory block header */ 		pHead = pHdr(pUserData);  	/* verify block type */ 	_ASSERTE(_BLOCK_TYPE_IS_VALID(pHead->nBlockUse));  	_free_dbg(pUserData, pHead->nBlockUse);  	__FINALLY 		_munlock(_HEAP_LOCK); /* release other threads */ 	__END_TRY_FINALLY  		return; }  //free的实现 #define free(p) _free_dbg(p, _NORMAL_BLOCK)

        通过上述两个全局函数的实现我们知道,operator new 实际也是通过malloc来申请空间,如果malloc申请空间成功就直接返回,否则执行用户提供的空间不足应对措施,如果用户提供该措施就继续申请,否则就抛异常。operator delete 最终是通过free来释放空间的。 

五、new和delete的实现原理

5.1 内置类型

        如果申请的是内置类型的空间,new和malloc,delete和free基本类似,不同的地方是: new/delete申请和释放的是单个元素的空间new[]delete[]申请的是连续空间,而且new在申请空间失败时会抛异常,malloc会返回NULL。

5.2 自定义类型

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来释放空间。

operator new[ ] 开空间的时候头上会多开4个字节的空间,存放的是对象个数;目的是delete[ ] 的时候,就会知道调用多少次析构函数。

六、定位new表达式(placement-new)

定位new表达式是在已分配的原始内存空间中调用构造函数初始化一个对象。

🍂使用格式:

new (place_address) type或者new (place_address) type(initializer-list)

place_address必须是一个指针,initializer-list是类型的初始化列表

🍂使用场景:

定位new表达式在实际中一般是配合内存池使用。因为内存池分配出的内存没有初始化,所以如果是自定义类型的对象,需要使用new的定义表达式进行显示调构造函数进行初始化。

class A { public: 	A(int a = 0) 		: _a(a) 	{ 		cout << "A():" << this << endl; 	}  	~A() 	{ 		cout << "~A():" << this << endl; 	}  private: 	int _a; };  // 定位new、replacement new int main() { 	// p1现在指向的只不过是与A对象相同大小的一段空间, 	//还不能算是一个对象,因为构造函数没有执行 	A* p1 = (A*)malloc(sizeof(A));     //显示调用构造函数,对一块已经有的空间初始化 	new(p1)A; // 注意:如果A类的构造函数有参数时,此处需要传参 	p1->~A(); 	free(p1);  	A* p2 = (A*)operator new(sizeof(A)); 	new(p2)A(10); 	p2->~A(); 	operator delete(p2);  	return 0; }

七、常见面试题

7.1 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.2 内存泄漏

7.2.1 什么是内存泄漏,内存泄漏的危害

什么是内存泄漏:

        内存泄漏指因为疏忽或错误造成程序未能释放已经不再使用的内存的情况。内存泄漏并不是指内存在物理上的消失,而是应用程序分配某段内存后,因为设计错误,失去了对该段内存的控制,因而造成了内存的浪费。

内存泄漏的危害:

        长期运行的程序出现内存泄漏,影响很大,如操作系统、后台服务等等,出现内存泄漏会导致响应越来越慢,最终卡死。

void MemoryLeaks() { 	// 1.内存申请了忘记释放 	int* p1 = (int*)malloc(sizeof(int)); 	int* p2 = new int;  	// 2.异常安全问题 	int* p3 = new int[10]; 	Func(); // 这里Func函数抛异常导致delete[] p3未执行,p3没被释放 	delete[] p3; }

7.2.2 内存泄漏分类

C/C++程序中一般我们关心两种方面的内存泄漏:

堆内存泄漏(Heap leak)

  • 堆内存指的是程序执行中依据须要分配通过malloc / calloc / realloc / new等从堆中分配的一块内存,用完后必须通过调用相应的 free或者delete 删掉。假设程序的设计错误导致这部分内存没有被释放,那么以后这部分空间将无法再被使用,就会产生Heap Leak。

系统资源泄漏

  • 指程序使用系统分配的资源,比方套接字、文件描述符、管道等没有使用对应的函数释放掉,导致系统资源的浪费,严重可导致系统效能减少,系统执行不稳定。

7.2.3 如何检测内存泄漏

        在vs下,可以使用windows操作系统提供的_CrtDumpMemoryLeaks() 函数进行简单检测,该函数只报出了大概泄漏了多少个字节,没有其他更准确的位置信息。

int main() { 	int* p = new int[10]; 	// 将该函数放在main函数之后,每次程序退出的时候就会检测是否存在内存泄漏 	_CrtDumpMemoryLeaks(); 	return 0; }  // 程序退出后,在输出窗口中可以检测到泄漏了多少字节,但是没有具体的位置 Detected memory leaks! Dumping objects -> {79} normal block at 0x00EC5FB8, 40 bytes long. Data: < > CD CD CD CD CD CD CD CD CD CD CD CD CD CD CD CD Object dump complete.

        因此写代码时一定要小心,尤其是动态内存操作时,一定要记着释放。但有些情况下总是防不胜防,简单的可以采用上述方式快速定位下。如果工程比较大,内存泄漏位置比较多,不太好查时一般都是借助第三方内存泄漏检测工具处理的。

在linux下内存泄漏检测:linux下几款内存泄漏检测工具

在windows下使用第三方工具:VLD工具说明

其他工具:内存泄漏工具比较

7.2.4如何避免内存泄漏

  1. 工程前期良好的设计规范,养成良好的编码规范,申请的内存空间记着匹配的去释放。ps:这个理想状态。但是如果碰上异常时,就算注意释放了,还是可能会出问题。需要下一条智能指针来管理才有保证。

  2. 采用RAII思想或者智能指针来管理资源。
  3. 有些公司内部规范使用内部实现的私有内存管理库。这套库自带内存泄漏检测的功能选项。
  4. 出问题了使用内存泄漏工具检测。ps:不过很多工具都不够靠谱,或者收费昂贵。

总结:

内存泄漏非常常见,解决方案分为两种:

  1. 事前预防型。如智能指针等。
  2. 事后查错型。如泄漏检测工具。

广告一刻

为您即时展示最新活动产品广告消息,让您随时掌握产品活动新动态!