C/C++内存管理--2

简介: C/C++内存管理--2

C/C++内存管理--1https://developer.aliyun.com/article/1424641

3,new/delete底层实现

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


operator new 和operator delete函数:


       operator new:该函数实际通过malloc来申请空间,当malloc申请空间成功时直接返回;申请空间失败时尝试执行空间不足的应对措施,如果该应对措施用户设置了,则继续申请,否则抛异常。


       operator delete: 该函数结构复杂,最终是通过free来释放空间。


底层函数的调用:


       当系统底层调用operator new和operator delete函数进行申请空间或释放空间时,无论开辟/释放一个空间或多个空间时,对应的函数只调用一次,即一次性直接分配或释放足够的内存空间。


       operator new和operator delete函数是通过C语言中的malloc和free来实现的,因此,两函数的调用方法也跟malloc/free一样。


Stack* p2 = (Stack*)operator new(sizeof(Stack)); //如同Stack* p2 = new Stack
operator delete(p2); //如同delete p2


new的空间扩展:


       当使用new开辟多个内存空间时,其实还在这块空间的前面多开辟了四个字节的空间,用来存储开辟类型空间的数量,当delete内部实现到free时也会将其释放。


class Stack //一个栈类
{
public:
    Stack(int capacity = 4)
    {
        cout << "Stack(int capacity = 4)" << endl;
        _a = new int[capacity];
        _top = 0;
        _capacity = capacity;
    }
    ~Stack()
    {
        cout << "~Stack()" << endl;
        delete[] _a;
        _a = nullptr;
        _top = 0;
        _capacity = 0;
    }
private:
    int* _a;
    int  _top;
    int  _capacity;
};
int main()
{
    Stack* p3 = new Stack[10];
    int* p = (int*)p3 - 1;
    cout << *p << endl; //输出10,记录了连续存储的10个Stack
    delete[] p3
    return 0;
}

86b615f6cdae4d8ab2618de5a7590daf.png


       下面要说明的是,new/delete    new[]/delete[]    malloc/free一定要配对使用,否则结果将会是未定义,有时可能会出现系统崩溃,因此当系统释放空间时,可能会导致释放空间的位置不正确,具体如何释放取决于编译器的优化程度。这里我们了解即可。


4,new和delete的实现原理

内置类型:


       当申请内置类型的空间时,new和malloc,delete和free基本类似,不同的地方是: 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来释

   放空间


5,malloc/free和new/delete的区别

共同点:


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


三,动态空间的析构和构造

       这里要说明的是:构造函数可以手动调用,但析构函数不可以手动调用。

class A
{
public:
    A(int a = 0)
        : _a(a)
    {
        cout << "A():" << this << endl;
    }
    ~A()
    {
        cout << "~A():" << this << endl;
    }
private:
    int _a;
};
int main()
{
    A* p1 = (A*)operator new(sizeof(A));
    A a(5);
    //不能调用构造函数
    //p1->A(1);
    //a->A(5);
    //可以调用析构函数
    p1->~A();
    a.~A();
    return 0;
}
相关文章
|
19天前
|
C++
【C++】深入解析C/C++内存管理:new与delete的使用及原理(二)
【C++】深入解析C/C++内存管理:new与delete的使用及原理
|
19天前
|
编译器 C++ 开发者
【C++】深入解析C/C++内存管理:new与delete的使用及原理(三)
【C++】深入解析C/C++内存管理:new与delete的使用及原理
|
14天前
|
存储 程序员 编译器
简述 C、C++程序编译的内存分配情况
在C和C++程序编译过程中,内存被划分为几个区域进行分配:代码区存储常量和执行指令;全局/静态变量区存放全局变量及静态变量;栈区管理函数参数、局部变量等;堆区则用于动态分配内存,由程序员控制释放,共同支撑着程序运行时的数据存储与处理需求。
58 21
|
2天前
|
程序员 C++ 容器
在 C++中,realloc 函数返回 NULL 时,需要手动释放原来的内存吗?
在 C++ 中,当 realloc 函数返回 NULL 时,表示内存重新分配失败,但原内存块仍然有效,因此需要手动释放原来的内存,以避免内存泄漏。
|
5天前
|
存储 C语言 C++
【C++打怪之路Lv6】-- 内存管理
【C++打怪之路Lv6】-- 内存管理
23 0
【C++打怪之路Lv6】-- 内存管理
|
15天前
|
存储 C语言 C++
【C/C++内存管理】——我与C++的不解之缘(六)
【C/C++内存管理】——我与C++的不解之缘(六)
|
17天前
|
程序员 C语言 C++
C++入门5——C/C++动态内存管理(new与delete)
C++入门5——C/C++动态内存管理(new与delete)
48 1
|
17天前
|
编译器 C语言 C++
详解C/C++动态内存函数(malloc、free、calloc、realloc)
详解C/C++动态内存函数(malloc、free、calloc、realloc)
71 1
|
19天前
|
存储 安全 程序员
【C++篇】深入内存迷宫:C/C++ 高效内存管理全揭秘
【C++篇】深入内存迷宫:C/C++ 高效内存管理全揭秘
51 3
|
10天前
|
C++
C/C++内存管理(下)
C/C++内存管理(下)
24 0