iis服务器助手广告广告
返回顶部
首页 > 资讯 > 后端开发 > 其他教程 >深入理解C语言的new[]和delete[]
  • 663
分享到

深入理解C语言的new[]和delete[]

2024-04-02 19:04:59 663人浏览 泡泡鱼
摘要

目录1、重载操作符2、new和delete的原理3、new[]和delete[]的原理总结c++的动态内存管理方式和C语言不一样,在c++中使用new和delete来替换c语言中的m

c++的动态内存管理方式和C语言不一样,在c++中使用new和delete来替换c语言中的malloc和free。这里有几个点不一样,

1、new和delete是操作符,malloc和free是函数(我的理解是c++将new和delete约定为操作符而已,new和delete操作符重载函数本质上还是函数)

2、c++有了类的概念,类对象的初始化除了要分配内存,还需要对内存进行初始化!所以,c++必须引入一种新的内存分配方式,既可以像malloc一样开辟内存,还要能够调用类对象的构造函数(delete的引入同理)。

3、new[]和delete[]是c++完全新增的内存操作符,他们和new和delete也是有不一样的地方。

下面,咱们来一一讲解⬇

1、重载操作符

既然new和delete都是操作符,咱们可以对new和delete进行重载;当你再使用new和delete操作内存时,编译器就会调用到咱们自己重载的new/delete全局函数了。(如对操作符重载不了解的,请自行补充知识)


void* operator new(size_t size){
    if(size == 0) size = 1;
    void* ptr = malloc(size);
    if(ptr == nullptr){
        std::cout << "ERROR NEW!" << std::endl;
    }
    std::cout << "NEW Memory Size = " << size << " address = " << ptr << std::endl;
    return ptr;
}
void* operator new[](size_t size){
    if(size == 0) size = 1;
    void* ptr = malloc(size);
    if(ptr == nullptr){
        std::cout << "ERROR NEW[]!" << std::endl;
    }
    std::cout << "NEW[] Memory Size = " << size << " address = " << ptr << std::endl;
    return ptr;
}
void operator delete(void* ptr){
    std::cout << "DELETE " << ptr << std::endl;
    if(ptr) free(ptr);
}
void operator delete[](void* ptr){
    std::cout << "DELETE[] " << ptr << std::endl;
    if(ptr) free(ptr);
}

此时,再使用 int* p = new int {1}; 开辟内存,那么,c++编译器会自动链接到我们刚才的操作符重载函数 void* operator new(size_t size) ,至于编译器是怎么将 int* p = new int {1}; 解析成 void* operator new(size_t size) 函数的,咱们不关心,咱们只要知道编译器做了这样一层代码解析转换即可。并且,转换的过程中会将需要开辟的内存大小当作形式参数传递过去!

这里还有一点需要注意:函数的返回值是void*,而咱们new操作接收的返回值为int*,这里其实也是编译在底层做了一层转换!(非常重要,new 的返回值和 operator new 函数的返回并不完全相同,包括类型和地址)

2、new和delete的原理

在开始验证new和delete之前,咱们先使用以下代码:


#include <iOStream>
#include <stdlib.h>
#include <memory>
using namespace std;
//此处添加前面一步重载new和delete的代码
class Master
{
public:
    Master()
    {
        printf("constructor ---- %p\n",this);
        c = rand()%10000;
    }
    ~Master()
    {
        printf("destructor ---- %p\n", this);
    }
public:
    int c;
};
int main()
{
    Master * p = new Master{};
    delete p;
    return 0;
}

推荐一个在线调试cpp的网站:Compiler Explorer (Godbolt.org)

Master * p = new Master{}; 这一行的汇编信息如下:

这里有3个点要注意,

  • 内存大小在编译时确定
  • 会先调用operator new(unsigned long)函数
  • 最后会调用构造函数

那么,delete操作的汇编信息应该和new刚好相反,这个可以自行测试

下面将咱们重载的operator方法添加进去,然后执行,output日志信息如下:


NEW Memory Size = 4 address = 0x2154eb0
constructor ---- 0x2154eb0
destructor ---- 0x2154eb0
DELETE 0x2154eb0

通过日志,咱们也能够得出这样的结论:

new: 先malloc内存,然后执行构造函数 delete:先执行析构函数,然后free内存

3、new[]和delete[]的原理

前面咱们说了new/delete与new[]/delete[]有一些不同,那我们先看看日志信息,请添加以下测试代码:


int main()
{
    Master * p = new Master{};
    //测试new[]
    Master * pArray = new Master[5];    
    printf("pArray = %p\n", pArray);
    printf("pArray[0] = %p\n", &pArray[0]);
    printf("pArray[1] = %p\n", &pArray[1]);
    // delete[] pArray;
    // delete p;
    return 0;
}
///
output:---------------------------------------begin
NEW Memory Size = 4 address = 0x565422925eb0
constructor ---- 0x565422925eb0
NEW[] Memory Size = 28 address = 0x5654229262e0
constructor ---- 0x5654229262e8
constructor ---- 0x5654229262ec
constructor ---- 0x5654229262f0
constructor ---- 0x5654229262f4
constructor ---- 0x5654229262f8
pArray = 0x5654229262e8
pArray[0] = 0x5654229262e8
pArray[1] = 0x5654229262ec
output:----------------------------------------end
 

重点来了,malloc返回的内存地址(0x5654229262e0)和new[]返回的地址(0x5654229262e8)并不一致,而且申请的内存大小并不是Master类的大小 4*5=20,而是28!!

通过汇编代码,我们看到这里确实偏移了8个字节!其他的操作与new没有多大差别,都是先调用operator new[],然后再循环调用数组中的每个对象的构造函数!

通过output日志和汇编分析,可以得到我们前面讲到的结论:(非常重要,new 的返回值和 operator new 函数的返回并不完全相同,包括类型和地址)!

我们调用 delete[] pArray; 删除的地址为 0x5654229262e8,而真实触发 operator delete[] 的形参为 0x5654229262e0, 详细日志信息如下:

也就是operator new[] 和 operator delete[] 的操作的内存是真实地址,并且是正确的!为什么会这样?就是因为c++编译器在底层做了一次转换!

这个问题也很好理解,如果编译器没有这样一层逻辑转换,当你 delete[] 一个数组时,编译器要怎么操作呢?他怎么知道数组的长度然后遍历去调用析构函数呢?所以,这样一层逻辑转换有了存在的意义,这也体现在 new[] 数组时为什么大小并不是 = 对象大小*数组长度,而是多了8个字节!

好了嘛,那多出来的8字节是不是就是数组长度呢?咱们可以把这块内存信息输出!添加以下代码:


    unsigned long* pSize = (unsigned long*)pArray - 1;//偏移8字节
    printf("p = %p\n", pSize);
    printf("sizeof pArray = %d\n", *pSize);//输出该地址上的内存数据

日志输出:

偏移8字节之后就是咱们 operator new[] 函数分配的真实的内存地址,然后咱们输出该地址8字节空间的数据信息为5,这就是申请的数据空间的大小!

也就是有了这个多余的8字节(在32位系统上为4字节),new[] 存储数组长度到该内存, delete[] 时就能够从该内存读取数组长度,并遍历数组去调用析构函数啦!

总结

本篇文章就到这里了,希望能够给你带来帮助,也希望您能够多多关注编程网的更多内容!

--结束END--

本文标题: 深入理解C语言的new[]和delete[]

本文链接: https://www.lsjlt.com/news/134878.html(转载时请注明来源链接)

有问题或投稿请发送至: 邮箱/279061341@qq.com    QQ/279061341

本篇文章演示代码以及资料文档资料下载

下载Word文档到电脑,方便收藏和打印~

下载Word文档
猜你喜欢
  • c语言怎么计算字符串长度
    在C语言中,可以使用内置的strlen()函数来计算字符串的长度。该函数位于string.h头文件中。以下是一个示例代码: #inc...
    99+
    2024-05-15
    c语言
  • c语言怎么判断三个数的大小
    可以通过比较三个数之间的大小关系来判断它们的大小。以下是一个示例代码: #include <stdio.h> int ...
    99+
    2024-05-15
    c语言
  • c++排序函数sort怎么使用
    在C++中,使用sort函数对容器中的元素进行排序,可以按照默认的升序排列,也可以自定义排序规则。 下面是一个简单的例子,对一个ve...
    99+
    2024-05-15
    c++
  • c++中string的compare函数怎么使用
    在C++中,可以使用string的compare函数来比较两个string对象的大小。该函数的原型如下: int compare(c...
    99+
    2024-05-15
    c++
  • c++中string的compare函数有什么用
    c++中string的compare函数用于比较两个字符串的大小关系。该函数返回一个整数值,表示两个字符串的比较结果。 具体来说,如...
    99+
    2024-05-15
    c++
  • c++中print函数的功能有哪些
    在C++中,通常使用std::cout来进行输出操作,而不是使用print函数。std::cout是C++标准库中的一个输出流对象,...
    99+
    2024-05-15
    c++
  • c语言数据结构怎么使用
    在C语言中,数据结构可以通过定义结构体来实现。以下是一些常见的数据结构的使用方法示例: 链表: #include <std...
    99+
    2024-05-15
    c语言
  • c++中print函数的用法是什么
    在C++中没有内置的print函数,但可以使用cout来输出内容到控制台。cout是C++标准库中的一个输出流对象,可以使用<...
    99+
    2024-05-15
    c++
  • c++中concept的用法是什么
    在C++20中,Concept是一种新的语言特性,用于定义类型要求和约束。Concept可以被用来约束函数模板、类模板和普通函数的参...
    99+
    2024-05-15
    c++
  • c++中concept的作用是什么
    在C++中,concept的作用是定义一种通用的约束,用于限制模板参数的类型范围。通过使用concept,可以在编译时对模板参数进行...
    99+
    2024-05-15
    c++
软考高级职称资格查询
编程网,编程工程师的家园,是目前国内优秀的开源技术社区之一,形成了由开源软件库、代码分享、资讯、协作翻译、讨论区和博客等几大频道内容,为IT开发者提供了一个发现、使用、并交流开源技术的平台。
  • 官方手机版

  • 微信公众号

  • 商务合作