当前位置: 首页 > 编程日记 > 正文

【校招面试 之 C/C++】第16题 C++ new和delete的实现原理

1、new

new操作针对数据类型的处理,分为两种情况:
(1)简单数据类型(包括基本数据类型和不需要构造函数的类型)
代码实例:
int* p = new int;

汇编码如下:

int* p = new int;
00E54C44  push        4  
00E54C46  call        operator new (0E51384h)  
00E54C4B  add         esp,4  

分析:传入4byte的参数后调用operator new。其源码如下:

void *__CRTDECL operator new(size_t size) _THROW1(_STD bad_alloc){       // try to allocate size bytesvoid *p;while ((p = malloc(size)) == 0)if (_callnewh(size) == 0){       // report no memory_THROW_NCEE(_XSTD bad_alloc, );}return (p);}
分析:调用malloc失败后会调用_callnewh。如果_callnewh返回0则抛出bac_alloc异常,返回非零则继续分配内存。
这个_callnewh是什么呢?它是一个new handler,通俗来讲就是new失败的时候调用的回调函数。可以通过_set_new_handler来设置。下面举个实例:
#include <stdio.h>
#include <new.h>
int MyNewHandler(size_t size)
{printf("Allocation failed.Try again");return 1;		//continue to allocate//return 0;		//stop allocating,throw bad_alloc
}
void main()
{// Set the failure handler for new to be MyNewHandler._set_new_handler(MyNewHandler);while (1){int* p = new int[10000000];}
}

在new基本数据类型的时候还可以指定初始化值,比如:

int* p = new int(4);

总结:

  • 简单类型直接调用operator new分配内存;
  • 可以通过new_handler来处理new失败的情况;
  • new分配失败的时候不像malloc那样返回NULL,它直接抛出异常。要判断是否分配成功应该用异常捕获的机制;

(2)复杂数据类型(需要由构造函数初始化对象)

代码实例:

class Object
{
public:Object(){_val = 1;}~Object(){}
private:int _val;
};void main()
{Object* p = new Object();
}

汇编码如下:

Object* p = new Object();
00AD7EDD  push        4  
00AD7EDF  call        operator new (0AD1384h)  
00AD7EE4  add         esp,4  
00AD7EE7  mov         dword ptr [ebp-0E0h],eax  
00AD7EED  mov         dword ptr [ebp-4],0  
00AD7EF4  cmp         dword ptr [ebp-0E0h],0  
00AD7EFB  je          main+70h (0AD7F10h)  
00AD7EFD  mov         ecx,dword ptr [ebp-0E0h]  
00AD7F03  call        Object::Object (0AD1433h)        //在new的地址上调用构造函数
00AD7F08  mov         dword ptr [ebp-0F4h],eax  
00AD7F0E  jmp         main+7Ah (0AD7F1Ah)  
00AD7F10  mov         dword ptr [ebp-0F4h],0  
00AD7F1A  mov         eax,dword ptr [ebp-0F4h]  
00AD7F20  mov         dword ptr [ebp-0ECh],eax  
00AD7F26  mov         dword ptr [ebp-4],0FFFFFFFFh  
00AD7F2D  mov         ecx,dword ptr [ebp-0ECh]  
00AD7F33  mov         dword ptr [p],ecx  
总结:
new 复杂数据类型的时候先调用operator new,然后在分配的内存上调用构造函数。

2、delete

delete也分为两种情况:
(1)简单数据类型(包括基本数据类型和不需要析构函数的类型)。
int *p = new int(1);
delete p;

delete的汇编码如下:

delete p;
00275314  mov         eax,dword ptr [p]  
00275317  mov         dword ptr [ebp-0D4h],eax  
0027531D  mov         ecx,dword ptr [ebp-0D4h]  
00275323  push        ecx  
00275324  call        operator delete (0271127h) 

分析:传入参数p之后调用operator delete,其源码如下:

void operator delete( void * p )
{RTCCALLBACK(_RTC_Free_hook, (p, 0));free( p );
}
RTCCALLBACK默认是空的宏定义,所以这个函数默认情况下就是简单的调用free函数。
总结:
delete简单数据类型默认只是调用free函数。
(2)复杂数据类型(需要由析构函数销毁对象)
代码实例:
class Object
{
public:Object(){_val = 1;}~Object(){cout << "destroy object" << endl;}
private:int _val;
};void main()
{Object* p = new Object;delete p;
}

部分汇编码如下:

012241F0  mov         dword ptr [this],ecx  
012241F3  mov         ecx,dword ptr [this]  
012241F6  call        Object::~Object (0122111Dh)                          //先调用析构函数
012241FB  mov         eax,dword ptr [ebp+8]  
012241FE  and         eax,1  
01224201  je          Object::`scalar deleting destructor'+3Fh (0122420Fh)  
01224203  mov         eax,dword ptr [this]  
01224206  push        eax  
01224207  call        operator delete (01221145h)  
0122420C  add         esp,4 

总结:

delete复杂数据类型先调用析构函数再调用operator delete。
3、new 数组
new[]也分为两种情况:
(1)简单数据类型(包括基本数据类型和不需要析构函数的类型)。
new[] 调用的是operator new[],计算出数组总大小之后调用operator new。
值得一提的是,可以通过()初始化数组为零值,实例:
char* p = new char[32]();

等同于:

char *p = new char[32];
memset(p, 32, 0);
总结:
针对简单类型,new[]计算好大小后调用operator new。
(2)复杂数据类型(需要由析构函数销毁对象)
实例:
class Object
{
public:Object(){_val = 1;}~Object(){cout << "destroy object" << endl;}
private:int _val;
};void main()
{Object* p = new Object[3];
}
new[]先调用operator new[]分配内存,然后在p的前四个字节写入数组大小,最后调用三次构造函数。
实际分配的内存块如下:
这里为什么要写入数组大小呢?因为对象析构时不得不用这个值,举个例子:
class Object
{
public:Object(){_val = 1;}virtual ~Object(){cout << "destroy Object" << endl;}
private:int _val;
};class MyObject : public Object
{
public:~MyObject(){cout << "destroy MyObject" << endl;}
private:int _foo;
};void main()
{Object* p = new MyObject[3];delete[] p;
}
释放内存之前会调用每个对象的析构函数。但是编译器并不知道p实际所指对象的大小。如果没有储存数组大小,编译器如何知道该把p所指的内存分为几次来调用析构函数呢?
总结:
针对复杂类型,new[]会额外存储数组大小。
4、delete 数组
delete[]也分为两种情况:
(1)简单数据类型(包括基本数据类型和不需要析构函数的类型)。
delete和delete[]效果一样
比如下面的代码:
int* pint = new int[32];
delete pint;char* pch = new char[32];
delete pch;
运行后不会有什么问题,内存也能完成的被释放。看下汇编码就知道operator delete[]就是简单的调用operator delete。
总结:
针对简单类型,delete和delete[]等同。
(2)复杂数据类型(需要由析构函数销毁对象)
释放内存之前会先调用每个对象的析构函数。
new[]分配的内存只能由delete[]释放。如果由delete释放会崩溃,为什么会崩溃呢?
假设指针p指向new[]分配的内存。因为要4字节存储数组大小,实际分配的内存地址为[p-4],系统记录的也是这个地址。delete[]实际释放的就是p-4指向的内存。而delete会直接释放p指向的内存,这个内存根本没有被系统记录,所以会崩溃(delete指针还是delete指针指向的内存空间)。
总结:
针对复杂类型,new[]出来的内存只能由delete[]释放。
【总结】:
1、new
new操作针对数据类型的处理,分为两种情况:
(1) 简单数据类型(包括基本数据类型和不需要构造函数的类型)
  • 简单类型直接调用operator new分配内存;
  • 可以通过new_handler来处理new失败的情况;
  • new分配失败的时候不像malloc那样返回NULL,它直接抛出异常。要判断是否分配成功应该用异常捕获的机制;
(2)复杂数据类型(需要由构造函数初始化对象)
new 复杂数据类型的时候先调用operator new,然后在分配的内存上调用构造函数。
2、delete
delete也分为两种情况:
(1) 简单数据类型(包括基本数据类型和不需要析构函数的类型)
delete简单数据类型默认只是调用free函数。
(2)复杂数据类型(需要由析构函数销毁对象)
delete复杂数据类型先调用析构函数再调用operator delete。
3、new 数组
new[]也分为两种情况:
(1) 简单数据类型(包括基本数据类型和不需要析构函数的类型)
针对简单类型,new[]计算好大小后调用operator new。
(2)复杂数据类型(需要由析构函数销毁对象)
针对复杂类型,new[]会额外存储数组大小。
4、delete 数组
delete[]也分为两种情况:
(1) 简单数据类型(包括基本数据类型和不需要析构函数的类型)
针对简单类型,delete和delete[]等同。
(2)复杂数据类型(需要由析构函数销毁对象)
针对复杂类型,new[]出来的内存只能由delete[]释放。
转自:https://blog.csdn.net/passion_wu128/article/details/38966581  做略微修改

转载于:https://www.cnblogs.com/xuelisheng/p/9339957.html

相关文章:

C++Primer学习笔记(二)

17.string对象中字符的处理&#xff1a;cctype头文件中定义:isalnum(c)  如果c是字母或数字,则为trueisalpha(c)  如果c是字符,则为trueiscntrl(c)  如果c是控制字符,则为trueisdigit(c)  如果c是数字,则为trueisgraph(c)  如果c不是空格,但可打印,则为trueisprint(c…

Windows下Qt程序打包

Windows下Qt程序打包 将windeployqt.exe 目录添加到系统环境变量 windeployqt.exe目录如下&#xff1a; 命令行打包 1、打开命令行 2、执行打包命令 windeployqt helloworld.exe -dirdeploy -release注意&#xff0c;应用程序使用绝对路径&#xff0c;如果是d盘&#x…

c语言栈的实现以及操作_数据结构之链栈基本操作的实现详解(C语言描述)

迎新过后&#xff0c;来带领你好好学习的小软准时归来&#xff0c;快带着上次学习链表操作的记忆和我开启新的旅程吧:链栈&#xff1a;就是栈的链式存储结构&#xff0c;简称链栈。首先我们要考虑的就是链栈的存储结构&#xff0c;由于栈只是在栈顶进行插入和删除操作&#xff…

float向u8和s8的转换

为什么80%的码农都做不了架构师&#xff1f;>>> 关于float向u8&#xff0c;s8这种类型转换&#xff0c;比较内藏玄机&#xff0c;还是小心为妙&#xff0c;这种级别的优化做了不如不做。 直接float向char类型的做法是用__ftol2_sse命令完成&#xff0c;具体怎么做的…

SQL Server DB Link相关

若想通过DBlink 清空表或执行存储过程&#xff0c;可以通过这种方式Insert into table select * from table时&#xff0c;Pull 方式比Push方式快很多转载于:https://www.cnblogs.com/luhe/p/9341413.html

windows下安装程序制作

引用链接: https://blog.csdn.net/signjing/article/details/7855855 工具: 1、脚本编辑工具 hmnisedit_downcc.zip 百度云盘链接&#xff1a;https://pan.baidu.com/s/1LZ-KFqMocM30UU8eMudAnA 提取码&#xff1a;6kgf 2、编译工具 nsis3.0.4cvs.zip 百度云盘链接&#…

实测 Mysql UUID 性能(转)

网上普遍认为Mysql 使用 UUID 主键性能低下&#xff0c;甚至建议用 自增ID 作为主键并用 UUID作唯一索引的方案。但没有提供具体的数据证明使用 UUID 作为主键时性能究竟低下到何种程度。为此我专门做了测试。 测试环境&#xff1a;WindowsXP &#xff0c;内存 4G &#xf…

date类型_06076.1.0如何将ORC格式且使用了DATE类型的Hive表转为Parquet表

温馨提示&#xff1a;如果使用电脑查看图片不清晰&#xff0c;可以使用手机打开文章单击文中的图片放大查看高清原图。Fayson的github&#xff1a;https://github.com/fayson/cdhproject提示&#xff1a;代码块部分可以左右滑动查看噢1文档编写目的在CDH中使用Hive时&#xff0…

SetGet and MACRO

为什么80%的码农都做不了架构师&#xff1f;>>> Set&Get 配合private是c class里面常用的。 这样很大程度上可以对数据的存取进行控制。 最近接触了大量的struct&#xff0c;然后直接存取其中变量的代码&#xff0c;在debug 跟踪的时候颇感不便。 Set&Get直…

spark之scala快速入门

scala和java都是在jvm之上的语言&#xff0c;相对来讲&#xff0c;scala热度比较低&#xff0c;其实并不是一个特别好的语言选择。 原因倒不是因为scala本身的缺点&#xff0c;而是使用人群不够多&#xff0c;论坛和社区不够活跃。这就跟社交软件一样&#xff0c;大家都用微信&…

python 归一化_只需 45 秒,Python 给故宫画一组手绘图!

作者 | 丁彦军责编 | 伍杏玲13日早晨&#xff0c;当北京市民拉开窗帘时发现&#xff0c;窗外雪花纷纷扬扬在空中飘落&#xff0c;而且越下越大&#xff0c;树上、草地、屋顶、道路上&#xff0c;都落满雪花。京城银装素裹&#xff0c;这是今冬以来北京迎来的第二场降雪。一下雪…

Windows平台下程序打包流程

Windows平台下程序打包流程 1、所有测试完成之后、程序release编译完成 2、依赖库打包 执行deploy.bat 脚本打包最新的程序以及依赖库 3、可执行程序打包 打开打包工程文件.evb&#xff0c; 使用 enigma virtual Box 打包可执行程序 点击“执行封包”&#xff0c;开始打包 …

一个apk多个ICON执行入口

一个工程对应一个AndroidManifest.xml文件&#xff0c;这个文件中包含有该项目的一些设置&#xff0c;如权限、SDk版Activity、Service信息等。一般而言&#xff0c;这个文件中会有且仅有一个application节点&#xff0c;这个节点表示这是一个应用程序&#xff0c;不管它下面还…

vbs之CurrentDirectory

为什么80%的码农都做不了架构师&#xff1f;>>> 最近要用一下Oracle instantclient的ODBC&#xff0c;由于配置有点繁琐&#xff0c;于是打算用vbs写一脚本来自动化一下&#xff0c;刚开始是这样的&#xff1a; Set ws CreateObject("WScript.Shell") w…

详解javascript: void(0);

原文 简书原文&#xff1a;https://www.jianshu.com/p/08ae8cbeb3be 什么是javascript: void(0); 我们经常会使用到 javascript:void(0) 这样的代码&#xff0c;那么在 JavaScript 中 javascript:void(0) 代表的是什么意思呢&#xff1f;  javascript:void(0) 中最关键的是 v…

读书笔记:编写高质量代码--web前端开发修炼之道(二:5章)

读书笔记&#xff1a;编写高质量代码--web前端开发修炼之道 这本书看得断断续续&#xff0c;不连贯&#xff0c;笔记也是有些马虎了&#xff0c;想了解这本书内容的童鞋可以借鉴我的这篇笔记&#xff0c;希望对大家有帮助。 笔记有点长&#xff0c;所以分为一&#xff0c;二两个…

# Qt程序版本号使用

Qt程序版本号使用 在pro文件中添加&#xff08;版本号可以3段或者4段&#xff09; VERSION1.0.1.2DEFINES APP_VERSION\\\"$${VERSION}\\\"实际代码中使用 QString version APP_VERSION;qInfo()<<"版本信息:"<< version;

python traceback安装_Python错误:Traceback (most recent call last):感觉是软件出了问题

安装了pytest后&#xff0c;运行了一下&#xff0c;看不懂了&#xff0c;不过你前面的说对了 Testing started at 10:15 ... C:\Users\Administrator\PycharmProjects\untitled4\venv\Scripts\python.exe "D:\Program Files (x86)\PyCharm Community Edition 2018.2.4\hel…

Directx11教程(6) 画一个简单的三角形(2)

在上篇教程中&#xff0c;我们实现了在D3D11中画一个简单的三角形&#xff0c;但是&#xff0c;当我们改变窗口大小时候&#xff0c;三角形形状却随着窗口高宽比例改变而改变&#xff0c;如下图所示&#xff1a; 这是因为我们改变了窗口大小&#xff0c;但后缓冲大小在程序初始…

【单调栈 前缀和 异或】7.21序列求和

还要再细细思考的奇妙思路 题目描述 小A最近喜欢上了关于区间max的问题。她定义一个区间的价值是max(ai)(l<i<r)∗(alxoral1xor...xorar)max(ai)(l<i<r)∗(alxoral1xor...xorar)她想要知道&#xff0c;一个序列所有的连续子序列价值之和是多少。 输入格式 第一行一…

hibernate 复合主键 根据主键删除_hibernate封装Utils工具类

一&#xff1a;封装Session对象1、获取全新的Session的对象 2、获取与线程绑定的的Session的对象二&#xff1a;什么是持久化类1、Hlbernate是持久层的ORM映射框架&#xff0c;专注于数据的持久化工作。所谓的持久化&#xff0c;就是将内存中的数据永久存储到关系型数据库中。 …

Linux+Qt 下同一数据空间vfork多进程间通信的一种高效便捷方式(信号槽直接调用)

LinuxQt 下同一数据空间vfork多进程间通信的一种高效便捷方式&#xff08;信号槽直接调用&#xff09; 概述 传统的多进程间通信往往非常麻烦&#xff0c;采用的方法比如管道&#xff0c;共享内存&#xff0c;socket&#xff0c;文件等&#xff0c;大都非常繁琐&#xff0c; …

Eclipse 调试器(引用IT168)

Eclipse 调试器&#xff1a;零距离接触实战技巧 2011年11月25日01:29IT168字号&#xff1a;T|T调试的方法虽然千千万万&#xff0c;但归根结底&#xff0c;就是找到引发错误的代码。Eclipse调试器的目标是让程序员能对本地或远程程序进行错误侦测与诊断。该调试器提供所有标准调…

Cisco交换机与路由器的密码恢复_路由交换

站长原创&#xff1a;歪歪IT技术网 首发&#xff1a;迷你兔 来51cto记录一下我们net人最不喜欢记的路由器和交换机的密码恢复问题&#xff0c;虽然很简单的几个步骤&#xff0c;但是我却总是记不住&#xff0c;应该不是记不住&#xff0c;就觉得用处不大&#xff0c;但工作中…

投影转换_即插即用,办公投影不用愁:毕亚兹Mini DP转HDMIVGA转换器

日常办公的时候一些办公小件也很有用的&#xff0c;就比如说HDMI&#xff0c;VGA的转接头&#xff0c;不起眼但是很实用。去客户那里汇报工作&#xff0c;笔记本没有VGA接口&#xff0c;结果会很尴尬&#xff0c;到处借&#xff0c;没有转接头就是接不了&#xff0c;所以索性还…

事件绑定在IE下this是window的问题

昨天写一个函数的时候&#xff0c;后来用了事件绑定&#xff0c;开始没在IE下测试&#xff0c;在chrome下都是没问题的。后来在IE下测试发现出错。 后来修改一下&#xff0c;发现oBox.οnclickfunction(){}没问题&#xff0c;而addEven(oBox, "click", function(){})…

nvidia-jetson系列硬件平台上安装Qt

nvidia-jetson系列硬件平台上安装Qt 目标平台: Jetson Nano、Jetson TX2、etson Xavier NX、Jetson AGX Xavier 概述: 系统环境: 我的设备是下列环境&#xff0c;其实只要是L4T版本的应该都是可以的 镜像烧录方式&#xff1a;SDKManager 系统镜像版本&#xff1a;L4T-32.…

以后在这里安家

以后在这里安家&#xff0c;希望在这里学到更多的知识&#xff0c;分享更多的快乐与汗水&#xff0c;希望大家共同成长转载于:https://blog.51cto.com/heyangfan88/804542

如何用git命令行上传本地代码到github

如何用git命令行上传本地代码到github 2016年09月19日 16:10:36 阅读数&#xff1a;9337注意&#xff1a;安装的前提条件是配置好git的相关环境或者安装好git.exe&#xff0c;此处不再重点提及 上传的步骤&#xff1a;(本文采用git 命令界面进行操作) &#xff08; git config …

C# 的快捷键汇总(一)

全局快捷键 ——〉下列快捷组合键可用于集成开发环境 (IDE) 中的不同位置 命令名 快捷键 说明 关系图.属性 Alt Enter 将焦点从关系图切换到“属性”窗口。 编辑.复制 Ctrl C 将选定项复制到剪贴板。 编辑.剪切 Ctrl X 从…