C/C++内存管理

1.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在哪里？____  staticGlobalVar在哪里？____
 staticVar在哪里？____  localVar在哪里？____
 num1 在哪里？____
 char2在哪里？____  *char2在哪里？___
 pChar3在哪里？____    *pChar3在哪里？____
 ptr1在哪里？____     *ptr1在哪里？____
2. 填空题：
 sizeof(num1) = ____;
 sizeof(char2) = ____;    strlen(char2) = ____;
 sizeof(pChar3) = ____;   strlen(pChar3) = ____;
 sizeof(ptr1) = ____;
3. sizeof 和 strlen 区别？

1. globalVar属于全局变量，全局变量存储与全局区或静态区，所以答案选C；

    staticGlobalVar,static修饰的全局变量，存储与静态区，所以答案选C；

    staticVar，static修饰的局部变量，也属于静态变量，也存储与静态区，所以答案选C；

    localVar，属于main函数内部的局部变量，存储在main函数的栈帧中，所以答案选A；

    num1 ,数组名，num1整个数组是开辟在main函数的栈帧上的，属于局部变量，也是存储与栈上，所以答案选A；

    char2，在main函数栈帧上开辟，随着main函数栈帧的销毁而销毁，属于局部变量，存储在栈上，所以选A；

   *char2，char2没有与&结合，也没有单独放在sizeof内部，char2表述数组首元素地址，对其解引用访问到的是数组首元素，整个数组都是开辟在栈上的，首元素当然也不例外，故答案选A；
   pChar3，在栈上开辟，选A；

   *pChar3，“"abcd"是存储与常量区的，故pChar3存储的是常量区的地址，对其解引用访问到的就是首元素，整个字符串都是存储与常量区的，首元素也不例外，故选D；

   ptr1，局部变量，存储与栈上，故答案选A；
  *ptr1,是用malloc开辟的空间，malloc是从堆区申请空间，ptr1是堆区的地址，对其解引用就是堆区的空间，故选B；

2.

num1是数组名，数组名单独放在sizeof内部，表示整个数组，故求得大小为40字节；
char2是数组名，数组名单独放在sizeof内部，表示整个数组，故求得大小是5字节（不要忘了’\0’）;
strlen(char2)，strlen遇到’\0’停止，故求得大小为4；
sizeof(pChar3)，pChar3是指针，大小为4/8字节；
strlen(pChar3)，strlen遇到’\0’停止，故求得大小为4；
sizeof(ptr1)，ptr1是指针，故求得大小为4/8字节；

3.siz0eof是求数据所占内存空间大小的关键字，strlen是求字符串长度的函数； 

总结：

栈又叫堆栈–非静态局部变量/函数参数/返回值等等，栈是向下增长的。
内存映射段是高效的I/O映射方式，用于装载一个共享的动态内存库。用户可使用系统接口
创建共享共享内存，做进程间通信。（Linux课程如果没学到这块，现在只需要了解一下）
堆用于程序运行时动态内存分配，堆是可以上增长的。
数据段–存储全局数据和静态数据。
代码段–可执行的代码/只读常量。

 2.C语言中动态内存管理方式：malloc/calloc/realloc/free

C语言提供了几个动态内存管理的函数，包括malloc、calloc、realloc和free。

malloc函数用于分配指定大小的内存空间，

calloc函数用于分配指定数量和大小的内存空间并将其初始化为零，

realloc函数用于重新分配已经分配的内存空间的大小，

free函数用于释放已经分配的内存空间。

 3.C++中内存管理方式

在C++中通过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;
 }

注意：申请和释放单个元素的空间，使用new和delete操作符，申请和释放连续的空间，使用new[]和delete[]

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

4.operator new和operator delete函数

4.1 operator new与operator delete函数

new和delete是用户进行动态内存申请和释放的操作符，operator new 和operator 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来释放空间的。

5.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函数释放对象的空间

newT[N]的原理

1. 调用operator new[]函数，在operator new[]中实际调用operator new函数完成N个对象空间的申请

2. 在申请的空间上执行N次构造函数

delete[]的原理

1. 在释放的对象空间上执行N次析构函数，完成N个对象中资源的清理

2. 调用operator delete[]释放空间，实际在operator delete[]中调用operator delete来释放空间

6.定位new表达式

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

使用格式：

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

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

使用场景：

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

 什么是内存池？

内存池是一种内存管理技术，它通过预先分配一块较大的内存区域，然后在这个区域内分配和回收内存，以减少内存分配和释放的开销。内存池通常用于需要频繁分配和释放小块内存的场景，例如数据库连接池、线程池、网络通信缓冲区等。

内存池的主要优点包括：

1. 减少内存碎片：由于内存池预先分配了一块较大的内存区域，它可以避免因频繁分配和释放内存而产生的内存碎片问题。

2. 提高内存分配效率：内存池预先分配了内存，因此在分配内存时不需要进行系统调用，从而提高了内存分配的效率。

3. 避免内存泄漏：内存池管理内存的分配和回收，可以更好地跟踪内存使用情况，减少内存泄漏的风险。

4. 降低系统调用开销：使用内存池可以减少对操作系统内存管理功能的依赖，从而降低系统调用的开销。

5. 可定制性：内存池可以根据应用的特定需求进行定制，例如设置内存块的大小、数量等。

7.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在释放空间前会调用析构函数完成 空间中资源的清理