C/C++ 内存管理一文搞定

目录

1. C/C++内存分布

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

3. C++内存管理方式

3.1 new/delete操作内置类型

3.2 new和delete操作自定义类型

4. operator new与operator delete函数(重要点进行讲解)

4.1 operator new与operator delete函数(重点)

5. new和delete的实现原理

5.1 内置类型

5.2 自定义类型

6. 定位new表达式(placement-new) (了解)

7. 常见面试题

7.1 malloc/free和new/delete的区别

7.2 内存泄漏

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

7.2.2 内存泄漏分类(了解)

7.2.3 如何检测内存泄漏(了解)

7.2.4如何避免内存泄漏


1. C/C++内存分布

我们先来看下面的一段代码和相关问题
#include <iostream>
#include <vector>
#include <algorithm>
using namespace std;

int globalvar = 1;

static int staticGlobalVar = 1;

void test01()
{

    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);
}

int main()
{

    test01();

    system("pause");
    return 0;
}

1. 选择题:
  选项 : A .   B .   C . 数据段 ( 静态区 )   D . 代码段 ( 常量区 )
  globalVar 哪里? _C___   staticGlobalVar 在哪里? __C__
  staticVar 在哪里? __C   localVar 在哪里?A ___
  num1 在哪里? _A___
  char2 在哪里? _B___   * char1 在哪里?B _
  pChar3 在哪里? _A__       * pChar3 在哪里? __C__
  ptr1 在哪里? __A__         * ptr1 在哪里? __B__
ptr2 在哪里?A                 *ptr2在哪里 B
ptr3 在哪里 A                   *ptr3 在哪里 B
2. 填空题:
  sizeof ( num1 ) = ____ ;
sizeof ( char2 ) = ____ ;       strlen ( char2 ) = ____ ;
  sizeof ( pChar3 ) = ____ ;     strlen ( pChar3 ) = ____ ;
  sizeof ( ptr1 ) = ____ ;
3. sizeof strlen 区别?
解析:

globalVar是一个全局变量,它存储在数据段(静态区)中。

staticGlobalVar是一个静态全局变量,它也存储在数据段(静态区)中

staticVar是一个静态局部变量,它数据段(静态区)中

localVar是一个局部变量,它存储在栈上。

num1是一个整型数组,它存储在栈上。

char2是一个字符数组,它存储在栈上。

char2表示char2数组的第一个元素,即数组的首地址。由于char2数组存储在栈上,所以char2也存储在栈上
 
pchr3 本身在栈区,解引用出来的是在常量区 。
*char 解出来是在堆区
pChar3是一个指向常量字符的指针,它存储在栈上。它指向一个字符串常量,即字符组"abcd"。由于字符串常量存储在数据段(静态区)中,所以*pChar3也存储在数据段(静态区)中
ptr1是一个指向整型的指针,它存储在栈上。它通过malloc函数动态分配了一块内存空间,用于存储整型数据。由于动态分配的内存空间存储在堆上,所以*ptr1也存储在堆上.

sizeof和strlen是C语言中的两个不同的函数,它们的作用和用法也不同。

  1. sizeof:

    • sizeof是一个运算符,用于计算数据类型或变量所占用的字节数。
    • 它可以用于任何数据类型,包括基本数据类型(如int、float等)和自定义数据类型(如结构体、数组等)。
    • sizeof的结果是一个无符号整数,表示数据类型或变量所占用的字节数。
    • 例如,sizeof(int)返回4,表示int类型占用4个字节。
  2. strlen:

    • strlen是一个函数,用于计算字符串的长度,即字符串中字符的个数(不包括字符串结束符'\0')。
    • 它只能用于字符串,即以'\0'结尾的字符数组。
    • strlen的结果是一个整数,表示字符串的长度。
    • 例如,strlen("hello")返回5,表示字符串"hello"有5个字符。

总结: sizeof用于计算数据类型或变量所占用的字节数,而strlen用于计算字符串的长度。它们的作用和用法不同,适用于不同的场景。

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

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

        

关于malloc、calloc和realloc的区别,它们都是在C语言中用来动态分配内存的函数。具体来说:

  1. malloc函数用于分配指定大小的内存块,并返回一个指向该内存块的指针。它只分配内存,并不对其进行初始化。所以在使用malloc分配的内存之前,需要手动初始化。

  2. calloc函数也用于分配内存,但它会在分配内存的同时将其初始化为0。它接受两个参数,第一个参数是要分配的元素个数,第二个参数是每个元素的大小。它会返回一个指向分配内存的指针。

  3. realloc函数用于重新分配已经分配的内存块的大小。它接受两个参数,第一个参数是指向已分配内存的指针,第二个参数是要重新分配的大小。如果新的大小大于原来的大小,那么realloc会分配更大的内存块,并将原来的数据复制到新的内存块中。如果新的大小小于原来的大小,那么realloc会将多余的部分释放掉。

#include <iostream>
#include <vector>
#include <algorithm>
using namespace std;

int globalvar = 1;

static int staticGlobalVar = 1;

void test01()
{

    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);

    cout<<endl;

    free(ptr1);
    free(ptr3);
}



void test02(){

    int *p1=(int *)malloc(sizeof(int));
    free(p1);

    int *p2=(int *)calloc(4,sizeof(int));
    int *p3=(int *)realloc(p2,sizeof(int));

    free(p3);






}



int main()
{

    // test01();
    test02();

    system("pause");
    return 0;
}

3. C++内存管理方式

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

3.1 new/delete操作内置类型

#include <iostream>
#include <vector>
#include <algorithm>
using namespace std;

int globalvar = 1;

static int staticGlobalVar = 1;

void test01()
{

    static int staticvar = 1;
    int localvar = 1;

    int num1[10] = {1, 2, 3, 4};
    char char2[] = "abcd";
    const char *pChar3 = "abcd";
    cout<<*pChar3<<endl;

    int *ptr1 = (int *)malloc(sizeof(int) * 4);
    int *ptr2 = (int *)calloc(4, sizeof(int));
    int *ptr3 = (int *)realloc(ptr2, sizeof(int) * 4);

    cout<<endl;

    free(ptr1);
    free(ptr3);
}


void test02(){

    int *p1=(int *)malloc(sizeof(int));
    free(p1);

    int *p2=(int *)calloc(4,sizeof(int));
    int *p3=(int *)realloc(p2,sizeof(int));
    // *p2 为什么不用free 进行删除。

    free(p3);


}

void test03(){


    int *ptr4=new int;

    int *ptr5=new int(4);

    int *ptr6=new int [10];
    delete ptr4;
    delete ptr4;
    delete [] ptr6;



}



int main()
{

    test01();
    // test02();

    system("pause");
    return 0;
}
注意:申请和释放单个元素的空间,使用 new delete 操作符,申请和释放连续的空间,使用
new[] delete[] ,注意:匹配起来使用。

3.2 newdelete操作自定义类型

        

#include <iostream>
#include <vector>
#include <algorithm>
using namespace std;

class A
{

public:
    A(int a = 0) : _a(a)
    {
        cout << "A()" << this << endl;
    }

    ~A()
    {

        cout << "~A()" << this << endl;
    }

private:
    int _a;
};

void test01()
{

    //(A*a )这里是做了一个强制类型转换的,因为malloc () 生成的是一个void*() 一个所用通用的类型的指针
    A *a = (A *) malloc(sizeof(A));
    A *a2 = new A(1);
    // new/delete 和 malloc/free最大区别是 new/delete对于【自定义类型】除了开空间
    // 还会调用构造函数和析构函数

    free(a);
    delete (a2);

    // 内置类型是几乎是一样的
    int *p3 = (int *)malloc(sizeof(int)); // C
    int *p4 = new int;
    free(p3);
    delete p4;

    //构建数组的方式。
    A* a5=(A*)malloc(sizeof(A)*5);
    A* a6=new A[5];


    free(a5);
    delete []a6;

}

int main()
{

    test01();

    system("pause");
    return 0;
}

        

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

4. operator newoperator delete函数(重要点进行讲解)

4.1 operator newoperator 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. newdelete的实现原理

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

6. 定位new表达式(placement-new) (了解)

定位 new 表达式是在 已分配的原始内存空间中调用构造函数初始化一个对象
使用格式:
new (place_address) type 或者 new (place_address) type(initializer-list)
place_address 必须是一个指针, initializer-list 是类型的初始化列表
使用场景:
定位 new 表达式在实际中一般是配合内存池使用。因为内存池分配出的内存没有初始化,所以如
果是自定义类型的对象,需要使用 new 的定义表达式进行显示调构造函数进行初始化。
#include <iostream>
#include <vector>
#include <algorithm>
using namespace std;

class A
{

public:
    A(int a = 0) : _a(a)
    {
        cout << "A()" << this << endl;
    }

    ~A()
    {

        cout << "~A()" << this << endl;
    }

private:
    int _a;
};

void test01()
{

    //(A*a )这里是做了一个强制类型转换的,因为malloc () 生成的是一个void*() 一个所用通用的类型的指针
    A *a = (A *)malloc(sizeof(A));
    A *a2 = new A(1);
    // new/delete 和 malloc/free最大区别是 new/delete对于【自定义类型】除了开空间
    // 还会调用构造函数和析构函数

    free(a);
    delete (a2);

    // 内置类型是几乎是一样的
    int *p3 = (int *)malloc(sizeof(int)); // C
    int *p4 = new int;
    free(p3);
    delete p4;

    //构建数组的方式。
    A *a5 = (A *)malloc(sizeof(A) * 5);
    A *a6 = new A[5];

    free(a5);
    delete[] a6;
}

void test02()
{

    // 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);
}

int main()
{

    // test01();
    test02();

    system("pause");
    return 0;
}

7. 常见面试题

7.1 malloc/freenew/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 什么是内存泄漏,内存泄漏的危害

什么是内存泄漏:内存泄漏指因为疏忽或错误造成程序未能释放已经不再使用的内存的情况。内
存泄漏并不是指内存在物理上的消失,而是应用程序分配某段内存后,因为设计错误,失去了对
该段内存的控制,因而造成了内存的浪费。
内存泄漏的危害:长期运行的程序出现内存泄漏,影响很大,如操作系统、后台服务等等,出现
内存泄漏会导致响应越来越慢,最终卡死。
#include <iostream>
#include <vector>
#include <algorithm>
using namespace std;

class A
{

public:
    A(int a = 0) : _a(a)
    {
        cout << "A()" << this << endl;
    }

    ~A()
    {

        cout << "~A()" << this << endl;
    }

private:
    int _a;
};

void test01()
{

    //(A*a )这里是做了一个强制类型转换的,因为malloc () 生成的是一个void*() 一个所用通用的类型的指针
    A *a = (A *)malloc(sizeof(A));
    A *a2 = new A(1);
    // new/delete 和 malloc/free最大区别是 new/delete对于【自定义类型】除了开空间
    // 还会调用构造函数和析构函数

    free(a);
    delete (a2);

    // 内置类型是几乎是一样的
    int *p3 = (int *)malloc(sizeof(int)); // C
    int *p4 = new int;
    free(p3);
    delete p4;

    //构建数组的方式。
    A *a5 = (A *)malloc(sizeof(A) * 5);
    A *a6 = new A[5];

    free(a5);
    delete[] a6;
}

void test02()
{

    // 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);
}
void Func(){
    int a,b;
    cin>>a>>b;
    if(b==0){
        throw invalid_argument("b is zero");

    }



}

void MemoryLeaks(){

    int *p1=(int *)malloc(sizeof(int));

    int *p2=new int;

    int *p3=new int[10];
    try
    {
        Func();//Func() 是一个抛异常的函数,导致p3 没有执行。
    }
    catch(const std::exception& e)
    {
        std::cerr << e.what() << '\n';
    }
    
    
    delete[] p3;

}




int main()
{

    // test01();
    // test02();
    MemoryLeaks();


    system("pause");
    return 0;
}

运行结果

 

7.2.2 内存泄漏分类(了解)

C/C++ 程序中一般我们关心两种方面的内存泄漏:
堆内存泄漏 (Heap leak)
堆内存指的是程序执行中依据须要分配通过 malloc / calloc / realloc / new 等从堆中分配的一
块内存,用完后必须通过调用相应的 free 或者 delete 删掉。假设程序的设计错误导致这部分
内存没有被释放,那么以后这部分空间将无法再被使用,就会产生 Heap Leak
系统资源泄漏
指程序使用系统分配的资源,比方套接字、文件描述符、管道等没有使用对应的函数释放
掉,导致系统资源的浪费,严重可导致系统效能减少,系统执行不稳定。

7.2.3 如何检测内存泄漏(了解)

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

7.2.4如何避免内存泄漏

1. 工程前期良好的设计规范,养成良好的编码规范,申请的内存空间记着匹配的去释放。 ps
这个理想状态。但是如果碰上异常时,就算注意释放了,还是可能会出问题。需要下一条智
能指针来管理才有保证。
2. 采用 RAII 思想或者智能指针来管理资源。
3. 有些公司内部规范使用内部实现的私有内存管理库。这套库自带内存泄漏检测的功能选项。
4. 出问题了使用内存泄漏工具检测。 ps :不过很多工具都不够靠谱,或者收费昂贵。
总结一下 :
内存泄漏非常常见,解决方案分为两种: 1 、事前预防型。如智能指针等。 2 、事后查错型。如泄
漏检测工具。
  • 1
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值