C++ C/C++内存管理

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

ptr1在哪里？A

char2在哪里？A  

pChar3在哪里？A     

*ptr1在哪里？B

*char2在哪里？A

*pChar3在哪里？D


// 均以64位机器为例
sizeof(num1) = 40  
sizeof(char2) = 5      
sizeof(pChar3) = 8     
sizeof(ptr1) = 8
strlen(char2) = 4
strlen(pChar3) = 4

内存分布规律

根据以上的分析，可以总结出以下内存分布的规律：

1. 全局变量和静态变量：

   • 全局变量（如globalVar）和静态变量（如staticGlobalVar和staticVar）都存储在数据段（静态区）。无论是全局的还是局部的，只要是静态变量，都会存储在数据段中。

2. 局部变量：

   • 局部变量（如localVar、num1、char2、pChar3、ptr1、*char2）都存储在栈中。这些变量是在函数内部定义的，并且生命周期仅限于函数的执行过程。

3. 动态分配的内存：

   • 通过malloc、calloc或realloc动态分配的内存（如*ptr1）存储在堆中。指针本身存储在栈中，而指针指向的内存则分配在堆上。

4. 字符串字面量：

   • 字符串字面量（如*pChar3指向的字符串"abcd"）存储在代码段（常量区）。这类数据通常在程序编译时分配，并在程序运行期间不会改变。

sizeof 和 strlen 的区别 

sizeof 运算符:

• 功能: sizeof 是一个编译时运算符，用来确定数据类型或变量在内存中所占的字节数。

strlen 函数:

• 功能: strlen 是一个函数，用来计算字符串的长度，不包括字符串结尾的空字符 \0。

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

【面试题】

   malloc/calloc/realloc的区别？

• malloc: 分配指定大小的内存，但不初始化。
• calloc: 分配指定大小的内存，并将内存初始化为 0。
• realloc: 调整已分配的内存块的大小（增加或减少）。

C++中动态内存管理

【面试题】

   malloc/new的区别？

• malloc 适用于 C 语言和需要细粒度内存管理的情况，但只分配内存，不初始化对象。
• new 是 C++ 的专用运算符，适合分配并初始化对象，管理复杂类型的生命周期（构造和析构）。

 

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

常见面试题

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

内存泄漏?

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

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

void MemoryLeaks()
 {
   // 1.内存申请了忘记释放
   int* p1 = (int*)malloc(sizeof(int));
   int* p2 = new int;

   // 2.异常安全问题
   int* p3 = new int[10];
   delete[] p3;
 }