你知道C++中new和delete为什么要匹配使用吗

目录
  • 前言
  • new 和 delete 做了什么
  • 内置类型
    • new 和 new []
    • delete 和 delete [ ]
  • 自定义类型
    • new 和 new []
    • delete 和 delete [ ]
  • 问题
    • 自定义类型为什么要匹配使用
    • 内置类型不匹配为什么不报错
    • 疑惑

前言

关于 new 和 delete 的使用相信大家并不陌生，可是为什么使用 new 的时候要用 delete，使用 new[] 的时候又要用 delete[]。使用 delete 释放 new[] 申请的内存又会发生什么？为什么有时不匹配不会报错，有时又会报错呢？本文将为大家解决这个疑惑。

string* strArray = new string[1002];
...
delete strArray;

这段代码看起来似乎没有问题，既使用了 new，又搭配了 delete。但这代码的行为是未定义的，最好的情况是有部分数据没有析构，但更可能的是程序直接崩溃。

new 和 delete 做了什么

当使用 new 动态生成对象时，有两件事发生：

1.调用全局的 operator new 分配内存

2.调用该对象的构造函数，对分配的内存进行初始化

内置类型的构造函数在这时什么都不做，故编译器不用调用

当使用 delete 时，同样会发生两件事：

1.针对这段内存会有一个（或多个）析构函数被调用

2.调用全局的 operator delete 释放内存

delete 的问题在于：将要释放的内存中有多少个对象？这将决定有多少个析构函数被调用。

这个问题可以转化为：指针所指向的是单一对象还是对象数组？如果是对象数组，那么里面又有多少个对象？因此我们有必要记录数组的大小，以便 delete 知道需要调用多少次析构函数。例如下图：

当然这只是个例子，不同的编译器可能会有不同的方案，此处我们假定 n 占用 4 字节。

内置类型

new 和 new []

int* num = new int;
int* arr = new int[1002];

因为内置类型的默认构造函数并不会做什么处理，所以上述代码在调用完 ::operator new() / ::operator new[]() 后，不会调用构造函数。同样，因为无需调用构造函数，也不用多开辟一块空间存储对象个数。

delete 和 delete [ ]

int* num = new int;
int* arr = new int[1002];
delete num;
delete[] arr;

对于内置类型的 delete 也是非常简单，只是单纯的调用 ::operator delete() / ::operator delete[]() 释放内存。内置类型没有开辟存储对象个数的空间，也不需要析构函数处理。

自定义类型

new 和 new []

string* str1 = new string;
string* str2 = new string[1231];

上述代码首先会调用 ::operator new() / ::operator new[]() 申请内存，然后再调用 string 的默认构造函数进行初始化工作。

对于 new：因为只有一个对象，最后直接构造该对象即可，不用记录个数。

对于 new []：因为最后需要调用析构函数析构所有对象，所以需要记录对象的个数（即使是使用 new [] 申请一个对象），于是就在内存开头处 4 字节记录对象的个数（一种可能的方案），然后返回实际开辟的内存 + 4 的位置。

delete 和 delete [ ]

string* str1 = new string;
string* str2 = new string[1231];
delete str1;
delete[] str2;

上述代码首先会调用 string 的析构函数进行清理工作，然后再调用 ::operator delete() / ::operator delete[]() 释放内存。

对于 delete：直接析构该位置对象，然后释放即可。

对于 delete[]：首先会查看前面 4 字节存储的个数，来决定调用析构函数的次数；然后再调用 ::operator delete[]() 释放内存，实际上 ::operator delete[]() 释放的是地址减 4 后的值。因为实际开辟的前面还有 4 个字节，要是不修正的话直接释放的话，程序就会崩溃，因为系统并没记录该地址。

问题

自定义类型为什么要匹配使用

1.使用 new 和 delete

开辟一个对象，释放一个对象，没有问题

2.使用 new[] 和 delete

开辟一组对象，调用 ::operator delete()，因为没有对地址进行修正，释放了非法地址，程序会崩溃

3.使用 new 和 delete[]

开始一个对象，调用 ::operator delete[]()，此时仍会把前面 4 个字节当成个数调用析构函数（个数是不确定的），然后再释放减 4 后的地址，同样释放了非法地址，导致程序崩溃

4.使用 new[] 和 delete[]

开辟一组对象，释放一组对象，没有问题

内置类型不匹配为什么不报错

使用 new[] 和 delete 或者 使用 new 和 delete[]

因为对于内置类型，默认情况下不会调用构造函数和析构函数，也不用开辟空间存储对象个数。

因此最后的地址也不需要修正，于是就不会发生报错了。

疑惑

其实全局的 new 和 delete 最后调用的是 malloc 和 free，malloc 在开辟空间时，同样会多开辟一块空间用于存储内存块的信息（在 Linux 64 位环境下是 16 字节）。

头信息中有存储内存的字节大小，所以 free 时可以知道要释放的内存大小。

那么问题来了，如果说对于自定义类型 new[] 返回的地址是上图 malloc 返回的地址，对于该地址调用全局 delete，再传递给 free 此时是可以正确释放内存的，只是析构函数调用次数不正确。但实际上程序直接崩溃，也就是说此时 new[] 返回的地址应该是 malloc 返回的地址右移 4 字节的值。

对这段内存模型只是猜测，博主也是菜鸡，希望有大佬可以指正一下。

到此这篇关于你知道C++中new和delete为什么要匹配使用吗的文章就介绍到这了,更多相关C++ new delete内容请搜索我们以前的文章或继续浏览下面的相关文章希望大家以后多多支持我们！

赞 (0)

相关推荐

  • C++的new和delete使用示例详解

    目录 1. new 和 delete 三种 new 2. operator new 和 operator delete 3. 重载 operator new 和 operator delete 有什么用啊? 有用? 使用 内存池 不使用内存池 对比结果 1. new 和 delete 在C++中,动态的分配对象和释放对象我们使用的是new 和 delete那么,new 和 delete 与 c 语言中的 malloc 和 free有什么区别呢? 我们为什么又要使用new 和 delete 呢?

  • C++深入讲解new与deleted关键字的使用

    C++深入讲解new与deleted关键字的使用

    目录 可执行程序的虚拟地址空间 1.new的运算符用法(关键字) 2.new的函数用法 3.定位new 4.new创建对象 5.delete 6.对于内置类型new/delete/malloc/free可以混用 7.使用注意事项 可执行程序的虚拟地址空间 内核:存放操作系统 栈区:函数的形参,非静态的局部变量,函数现场 保护数据等等,栈是向下增长的. 共享库的内存映射区域:用于装载一个共享的动态内存库.用户可使用系统接口创建共享内存,做进程间通信. 堆区:用于程序运行时动态内存分配,堆是可以上增

  • C++超详细探究new/delete的使用

    C++超详细探究new/delete的使用

    目录 内存管理 new/delete 1.new运算符的使用 2.new的函数方法的使用 3.定位new new/delete/malloc/free区别 内存管理 在C++中,一个可执行程序的虚拟地址空间可分为,内核.栈.共享库的内存映射区域.堆.数据区和代码段,具体分布额如下图所示: 内核: 操作系统 栈区: 函数的形参,非静态的局部变量,函数现场保护数据等等,栈是向下增长的. 共享库的内存映射区域 用于装载一个共享的动态内存库.用户可使用系统接口创建共享内存,做进程间通信. 堆区: 用于程

  • C++的new和delete详解

    目录 1.new和delete的内部实现 2.placement技术 3.new和delete运算符重载 4.对象的自动删除技术 1.new和delete的内部实现 C++中如果要在堆内存中创建和销毁对象需要借助关键字new和delete来完成.比如下面的代码 class CA { public: CA()m_a(0){} CA(int a):m_a(a){} virtual void foo(){ cout<<m_a<<endl;} int m_a; }; void main()

  •  C++ new 和 delete 关键字详解

    目录 前言 new 和 delete 的使用 new delete 为数组分配内存和释放内存 malloc 和 new delete 和 delete[] 前言 最早接触到new这个关键字,是在 Java 中,然后 ES6 之后的 js 中也提供了 new 这个关键字,在 java 和 js 这两门语言中,使用 new 关键词可以实例化类的对象.语义是相似的,但是其背后还是有些差异的,js 的 new 和 class 可能是一些语法糖. 那么有了这些对 new 这个关键字用法的了解,我们今天来看

  • C++ 使用new与delete需注意的原则

    C++的动态内存管理是通过new和delete两个操作来完成的,即用new来申请空间,用delete来释放空间.在使用new和delete时,注意以下原则. 1.new与delete需一一对应 用new操作申请空间,如果申请成功,必须在以后的某个时刻用delete释放该空间,既不能忘记释放,也不能多次释放.前者会引起内存泄露,后者会引起运行时错误.如下面的程序. #include <iostream> using namespace std; int main() { int *p; p=ne

  • 你知道C++中new和delete为什么要匹配使用吗

    目录 前言 new 和 delete 做了什么 内置类型 new 和 new [] delete 和 delete [ ] 自定义类型 new 和 new [] delete 和 delete [ ] 问题 自定义类型为什么要匹配使用 内置类型不匹配为什么不报错 疑惑 前言 关于 new 和 delete 的使用相信大家并不陌生,可是为什么使用 new 的时候要用 delete,使用 new[] 的时候又要用 delete[].使用 delete 释放 new[] 申请的内存又会发生什么?为什么

  • C++中new和delete的使用方法详解

    C++中new和delete的使用方法详解 new和delete运算符用于动态分配和撤销内存的运算符 new用法:           1.     开辟单变量地址空间 1)new int;  //开辟一个存放数组的存储空间,返回一个指向该存储空间的地址.int *a = new int 即为将一个int类型的地址赋值给整型指针a. 2)int *a = new int(5) 作用同上,但是同时将整数赋值为5           2.     开辟数组空间 一维: int *a = new in

  • 实例理解SQL中truncate和delete的区别

    实例理解SQL中truncate和delete的区别

    本文以一个简单实例为大家介绍了SQL中truncate和delete的区别,帮助大家理解,具体内容如下 ---创建表Table1 IF OBJECT_ID('Table1','U') IS NOT NULL DROP TABLE Table1 GO CREATE TABLE Table1 (ID INT NOT NULL, FOID INT NOT NULL) GO --插入测试数据 INSERT INTO Table1 VALUES(1,101),(2,102),(3,103),(4,104)

  • js删除数组中的元素delete和splice的区别详解

    例如有一个数组是 :var textArr = ['a','b','c','d']; 这时我想删除这个数组中的b元素: 方法一:delete 删除数组 delete textArr[1]  结果为: ["a",undefined,"c","d"] 只是被删除的元素变成了 undefined 其他的元素的键值还是不变. 方法二:aplice 删除数组 splice(index,len,[item]) 注释:该方法会改变原始数组. index:数组开

  • C++中的new/delete、构造/析构函数、dynamic_cast分析

    1,new 关键字和 malloc 函数区别(自己.功能.应用): 1,new 关键字是 C++ 的一部分: 1,如果是 C++ 编译器,则肯定可以用 new 申请堆空间内存: 2,malloc 是由 C 库提供的函数: 1,如果没有相应的库,malloc 将不能使用: 2,有些特殊的嵌入式开发中,少了 C 库,则就不能动态内存分配: 3,new 以具体类型为单位进行内存分配: 1,面向对象中一般用 new,不用 malloc: 4,malloc 以字节为单位进行内存分配: 5,new 在申请内

  • 深入理解C++中的new/delete和malloc/free动态内存管理及区别介绍

    malloc/free和new/delete的区别 malloc/free是C/C++标准库的函数:new/delete是C++操作符. malloc/free只是动态分配内存空间/释放空间:new/delete除了分配空间还会调用构造函数和析构函数进行初始化与清理资源. malloc/free需要手动计算类型大小且返回值类型为void*:new/delete可自动计算类型的大小,返回对应类型的指针. malloc/free管理内存失败会返回0:new/delete等的方式管理内存失败会抛出异常

  • python中使用np.delete()的实例方法

    在python列表中,如果我们想要删除一个或者连续几个元素,可以使用del()方法,在numpy数组,如果想要删除元素,可以使用numpy.delete()方法,但是numpy数组不支持删除数组元素,numpy.delete() 返回删除了某些元素的新数组. 1.np.delete()方法 numpy.delete()适用于numpy ndarray数组. 但是numpy数组不支持删除数组元素,numpy.delete() 返回删除了某些元素的新数组. 2.使用语法 numpy.delete(a

  • C++中 ‘=default ’及‘ =delete ’的使用

    目录 1 =default 2 =delete 前言: C++的类有四类特殊成员函数,它们分别是:默认构造函数.析构函数.拷贝构造函数.拷贝赋值运算符.如果实际编码时没有显示定义,那么编译器将会默认生成这四类成员函数.使用=default和=delete可以控制编译器默认函数体的使用. 1 =default C++11新增了=default标识,编译器看到后,会生成默认的执行效率更高的函数定义体,同时会减轻编码时的工作量.当然,这里会引入一个问题,既然编译器会默认生成构造函数,那么=defaul

  • C++中 ‘=default ’及‘ =delete ’的使用

    目录 1 =default 2 =delete 前言: C++的类有四类特殊成员函数,它们分别是:默认构造函数.析构函数.拷贝构造函数.拷贝赋值运算符.如果实际编码时没有显示定义,那么编译器将会默认生成这四类成员函数.使用=default和=delete可以控制编译器默认函数体的使用. 1 =default C++11新增了=default标识,编译器看到后,会生成默认的执行效率更高的函数定义体,同时会减轻编码时的工作量.当然,这里会引入一个问题,既然编译器会默认生成构造函数,那么=defaul

  • Javascript中使用exec进行正则表达式全局匹配时的注意事项

    本文就是介绍在使用 Javascript 中使用 exec 进行正则表达式全局匹配时的注意事项. 先看一下常见的用法: 复制代码 代码如下: <script type="text/javascript"> var pattern = /http:\/\/([^\/\s]+)/; alert(pattern.exec('http://www.codebit.cn')); // http://www.codebit.cn,www.codebit.cn alert(pattern

随机推荐