热门标签 | HotTags
当前位置:  开发笔记 > 编程语言 > 正文

unitynewbyte释放_C++幕后故事(九)我们来new个对象

读者如果觉得我文章还不错的,,希望可以多多支持下我,文章可以转发,但是必须保留原出处和原作者署名。为了获取更好的阅读体验请关

读者如果觉得我文章还不错的,,希望可以多多支持下我,文章可以转发,但是必须保留原出处和原作者署名。为了获取更好的阅读体验请关注微信公众号。更多内容请关注我的微信公众号:cpp手艺人

cc862dc69db0644014afc00424fe31ad.png

今天我们主要学习知识点:

1.new的调用流程。
2.我们重载了new之后能干啥。
3.placement new干啥的。
4.set_new_handler是什么。

1. operator new操作符的原理

1.1 operator new 调用流程

测试代码如下:

/****************************************************************************
**
** Copyright (C) 2019 635672377@qq.com
** All rights reserved.
**
****************************************************************************//*测试对象的new、delete,在VS2017更容易观察
*/
#ifndef obj_new_delete_h
#define obj_new_delete_h#include
#include
#include using std::cout;
using std::endl;namespace obj_new_delete
{class Obj
{
public:Obj():mCount(0) { cout <<"Obj ctor" <};void test_new_obj()
{Obj *obj &#61; new Obj();
delete obj;
}
}
#endif // obj_new_delete_h

我们在Obj *obj &#61; new Obj();处下个断点&#xff0c;再打开反汇编窗口&#xff0c;我摘取主要的代码。 markdown的汇编代码不能高亮&#xff0c;看的很难受啊&#xff0c;还是前往公众号可以获取更好的阅读体验。

; Obj *obj &#61; new Obj();
00DE2C47 push 4
00DE2C49 call operator new (0DE141Ah)
00DE2C4E add esp,4
00DE2C51 mov dword ptr [ebp-0ECh],eax
00DE2C57 mov dword ptr [ebp-4],0
00DE2C5E cmp dword ptr [ebp-0ECh],0
00DE2C65 je obj_new_delete::test_new_obj&#43;7Ah (0DE2C7Ah)
00DE2C67 mov ecx,dword ptr [ebp-0ECh]
; 调用对象的构造函数
00DE2C6D call obj_new_delete::Obj::Obj (0DE1456h)

我在::operator new的汇编代码处&#xff0c;点击菜单“转到源代码”&#xff0c;就可以还原为C&#43;&#43;代码&#xff0c;这个代码的源文件叫做new_scalar.cpp&#xff1a;

void* __CRTDECL operator new(size_t const size)
{for (;;)
{// 这个有个小技巧&#xff0c;控制变量的作用域&#xff0c;没必要让其他对象见到这个变量的作用域if (void* const block &#61; malloc(size)){return block;}// _callnew内部会调用new_handler&#xff0c;
// 返回值为0表示new_handler类型函数为null&#xff0c;这样就不会调用new_handler类型函数&#xff0c;
// 抛出两个其中一个的异常&#xff0c;大小异常&#xff0c;内存分配异常。// 否则就会调用设置的new_handler类型函数if (_callnewh(size) &#61;&#61; 0){if (size &#61;&#61; SIZE_MAX){__scrt_throw_std_bad_array_new_length();}else{__scrt_throw_std_bad_alloc();}}// The new handler was successful; try to allocate again...
}
}

到这里&#xff0c;我们基本上能够知道operator new调用过程。

30caafd5ac888b7fa14e838a1cca5fe1.png

从代码上看operator new做了两件事&#xff1a;

1.获取到新的内存。
2.调用对象的构造函数&#xff08;从汇编代码看&#xff0c;这一步是编译器插入的&#xff0c;但是很多书上把这一步归为operator new。&#xff09;

1.2 重载new操作符

代码如下&#xff1a;

// 重载global new
void * operator new(size_t const size)
{return malloc(size);
}// 重载global delete
void operator delete(void *head)
{return free(head);
}class Obj
{
public:Obj():mCount(0) { cout <<"Obj ctor" <(::operator new(size));}// 重载局部deletevoid operator delete(void *head){return ::operator delete(head);
}private:int mCount;
};

其实重载operator new的代码很简单。

重载局部operator new&#xff0c;只需要将operator new作为类的普通成员变量就可以 重载全局operator new&#xff0c;只要在全局位置声明::operator new的实现函数

1.3 重载operator new有啥用&#xff1f;

实话说&#xff0c;这个重载的作用非常之大。 说一个自己经历过的项目bug。因为项目着急上线&#xff0c;准备发包的前夕&#xff0c;测试反馈说测试大量数据时&#xff0c;软件发生偶然性的崩溃&#xff0c;时间不固定。当时都准备收拾书包回家了&#xff0c;听到有bug&#xff0c;心中真的有万马奔腾感觉。没办法&#xff0c;只好查看生成dump文件&#xff0c;windbg挂上。发现是在多线程下野指针的问题&#xff0c;不知道谁释放了资源&#xff0c;又进行了二次释放。当时在晚上思维都有点迟缓了&#xff0c;调到了后半夜都没有解决的思路。最后想到了一招&#xff0c;就是重载了operator new和operator delete&#xff0c;在这两个函数里面记录一些标志性的信息&#xff0c;最后定位问题的所在。那一夜&#xff0c;我见到了上海5点钟的软件园灯火闪烁。

  1. 可以用来检测运用上的错误
  2. 可以提高效率&#xff0c;节省不必要的内存&#xff0c;提高回收和分配的速度&#xff08;比如针对某一对象的内存池&#xff09;
  3. 可以收集对内存使用的数据统计。

tips:

1.malloc(0)会返回一个正常的地址&#xff0c;但是这个地址不能存储任何东西。

2. placement new

2.1.什么是placement new?

1. 在用户指定的内存上构建对象&#xff0c;这个过程不会申请新的内存&#xff0c;只会调用对象的构造函数即可。

看代码&#xff1a;

void test_placement_new()
{char *buff &#61; new char[sizeof(Obj)];Obj *ojb &#61; new(buff)Obj();
}

老套路&#xff0c;在VS 2017下转到反汇编的窗口。

; char *buff &#61; new char[sizeof(Obj)];
00892558 push 4
0089255A call operator new[] (0891118h)
0089255F add esp,4 ; eax中保存了new char返回的首地址
00892562 mov dword ptr [ebp-0E0h],eax
00892568 mov eax,dword ptr [ebp-0E0h]
0089256E mov dword ptr [buff],eax ; Obj *ojb &#61; new(buff)Obj();; 将eax中的首地址作为参数传递进去
00892571 mov eax,dword ptr [buff]
00892574 push eax ; Obj对象的大小
00892575 push 4
00892577 call operator new (0891550h)
0089257C add esp,8
0089257F mov dword ptr [ebp-0ECh],eax
00892585 mov ecx,dword ptr [ebp-0ECh] ; 调用Obj的构造函数
0089258B call obj_new_delete::Obj::Obj (0891456h)
00892590 mov dword ptr [ojb],eax

再调用operator new&#xff0c;我单步调试进去发现调用的operator new函数原型如下&#xff1a;

_Ret_notnull_ _Post_writable_byte_size_(_Size) _Post_satisfies_(return &#61;&#61; _Where)
inline void* __CRTDECL operator new(size_t _Size, _Writable_bytes_(_Size) void* _Where) noexcept
{(void)_Size;return _Where;
}

1. 函数原型为&#xff1a;inline void __CRTDECL operator new(size_t _Size, void _Where) noexcept&#xff0c;返回用户传入的地址。
2. 调用类的构造函数&#xff08;从汇编角度看&#xff0c;构造函数代码是编译器插入的&#xff0c;但是很多书上把这一步归为placement new&#xff09;。

2.2 placement new作用

以前刚学到这个语法的时候&#xff0c;我觉得这个能有啥用&#xff0c;谁这么无聊在同一块内存捯饬个不停。直到有天我看到vector的实现源码&#xff0c;才知道当年的自己想法还是很白开水的。 在STL容器中vector在申请内存的时候为了提高效率&#xff0c;每次申请的内存都是比实际需要的大2倍。但是这跟placement new有什么关系。

我举个例子说明&#xff1a;

你向vector中push了2个元素&#xff0c;此时vector的实际内存是为4个的。这是你再向vector中push一个元素&#xff0c;因为vector还有2个未用的空间&#xff0c;所以不需要申请内存。这样就可以在原来那块已经分配好的内存中调用元素的构造函数就可以了。而这里就恰恰用到了placement new了。

我摘抄SGI STL 3.0版本的里面的源代码供大家参考下

template
inline void construct(T1* p, const T2& value) {new (p) T1(value);
}// vector push_back函数
void push_back(const T& x) {if (finish !&#61; end_of_storage) {construct(finish, x); &#43;&#43;finish; }else insert_aux(end(), x);
}

2.3 placement new重载

代码如下&#xff1a;

class Obj
{
public:Obj():mCount(0) { cout <<"Obj ctor" <}// 重载placement deletevoid operator delete(void *buff, void *address, long extra){return ::operator delete(buff, address);}
private:int mCount;
};void test_placement_new()
{char *buff &#61; new char[sizeof(Obj)];// Obj *ojb &#61; new(std::cerr)Obj();Obj *obj &#61; new(buff)Obj();obj->~Obj();
Obj *obj_1 &#61; new(buff, 123456)Obj();obj_1->~Obj();delete buff;// 打印结果// void *operator new(size_t size, void *address) version// Obj ctor// ~Obj ctor// void *operator new(size_t size, void *address, long extra) version extra:123456 // Obj ctor// ~Obj ctor
}

2.4 placement new注意事项

1.如果你重载了placement new&#xff0c;那么一定要重载对应的placement delete。因为在对象的构造函数抛出异常时&#xff0c;C&#43;&#43;运行时系统需要找到对应的placement delete去释放内存。否则可能有内存泄露的风险。
2.重载了placement new会隐藏正常operator new导致编译语法错误。如何避免后面我有机会写出完整的代码。
3.使用了placement new&#xff0c;需要对内存的释放要注意&#xff0c;并不能直接delete。因为这块内存并不是你来申请的&#xff0c;你应该直接调用你自己对象的析构函数。

3.set_new_handler

3.1 .set_new_handler是什么&#xff1f;

首先它是个位于std命名空间的全局函数&#xff0c;参数类型为函数指针 void (*new_hander)()

3.2 set_new_handler有什么用&#xff1f;

当用户使用operator new无法返回正确的内存地址&#xff0c;这时C&#43;&#43;编译器就会调用一个客户指定的错误处理函数。这个错误处理函数就是通过set_new_handler来指定的。

3.3 new_handler函数注意事项

1.new_handler让更多内存可以被使用
2.如果不能获取到更多有用的内存抛出异常或者直接终止程序运行。&#xff08;必须要这样做&#xff0c;因为new包含是死循环操作&#xff09;

写一个实例代码&#xff1a;

void new_exception_handler()
{cout <<"memory cout..." <}void test_new_obj()
{// 测试new_set_handlerstd::new_handler old_handler &#61; std::set_new_handler(new_exception_handler);while (true) {new int[100000000ul];}cout <<"end..." <}

4.总结

看到operator new的源代码&#xff0c;会发现原理很简单&#xff0c;本质上是对malloc的封装。从汇编代码看&#xff0c;operator new其实返回malloc返回的内存&#xff0c;而构造函数的代码其实编译器插入的。当调用operator new发生异常时&#xff0c;C&#43;&#43;运行时系统会负责回收内存。

operator new重载作用非常的大&#xff0c;其中最重要的也是最常见的就是内存池实现。 placement new在某一些场景还是非常有用的。如果重载了placement new&#xff0c;那么必须也需要重载placement delete。

set_new_handler就是设置一个全局的回调函数&#xff0c;在operator new异常情况下就会调用我们设置的new_handler类型函数。

52b535804fdd81fc927dcd49279dcd4b.png



推荐阅读
  • 手把手教你使用GraphPad Prism和Excel绘制回归分析结果的森林图
    本文介绍了使用GraphPad Prism和Excel绘制回归分析结果的森林图的方法。通过展示森林图,可以更加直观地将回归分析结果可视化。GraphPad Prism是一款专门为医学专业人士设计的绘图软件,同时也兼顾统计分析的功能,操作便捷,可以帮助科研人员轻松绘制出高质量的专业图形。文章以一篇发表在JACC杂志上的研究为例,利用其中的多因素回归分析结果来绘制森林图。通过本文的指导,读者可以学会如何使用GraphPad Prism和Excel绘制回归分析结果的森林图。 ... [详细]
  • 本文内容为asp.net微信公众平台开发的目录汇总,包括数据库设计、多层架构框架搭建和入口实现、微信消息封装及反射赋值、关注事件、用户记录、回复文本消息、图文消息、服务搭建(接入)、自定义菜单等。同时提供了示例代码和相关的后台管理功能。内容涵盖了多个方面,适合综合运用。 ... [详细]
  • 本文讨论了如何优化解决hdu 1003 java题目的动态规划方法,通过分析加法规则和最大和的性质,提出了一种优化的思路。具体方法是,当从1加到n为负时,即sum(1,n)sum(n,s),可以继续加法计算。同时,还考虑了两种特殊情况:都是负数的情况和有0的情况。最后,通过使用Scanner类来获取输入数据。 ... [详细]
  • [大整数乘法] java代码实现
    本文介绍了使用java代码实现大整数乘法的过程,同时也涉及到大整数加法和大整数减法的计算方法。通过分治算法来提高计算效率,并对算法的时间复杂度进行了研究。详细代码实现请参考文章链接。 ... [详细]
  • 本文讨论了clone的fork与pthread_create创建线程的不同之处。进程是一个指令执行流及其执行环境,其执行环境是一个系统资源的集合。在调用系统调用fork创建一个进程时,子进程只是完全复制父进程的资源,这样得到的子进程独立于父进程,具有良好的并发性。但是二者之间的通讯需要通过专门的通讯机制,另外通过fork创建子进程系统开销很大。因此,在某些情况下,使用clone或pthread_create创建线程可能更加高效。 ... [详细]
  • 本文介绍了深入浅出Linux设备驱动编程的重要性,以及两种加载和删除Linux内核模块的方法。通过一个内核模块的例子,展示了模块的编译和加载过程,并讨论了模块对内核大小的控制。深入理解Linux设备驱动编程对于开发者来说非常重要。 ... [详细]
  • Day2列表、字典、集合操作详解
    本文详细介绍了列表、字典、集合的操作方法,包括定义列表、访问列表元素、字符串操作、字典操作、集合操作、文件操作、字符编码与转码等内容。内容详实,适合初学者参考。 ... [详细]
  • 海马s5近光灯能否直接更换为H7?
    本文主要介绍了海马s5车型的近光灯是否可以直接更换为H7灯泡,并提供了完整的教程下载地址。此外,还详细讲解了DSP功能函数中的数据拷贝、数据填充和浮点数转换为定点数的相关内容。 ... [详细]
  • 代理模式的详细介绍及应用场景
    代理模式是一种在软件开发中常用的设计模式,通过在客户端和目标对象之间增加一层中间层,让代理对象代替目标对象进行访问,从而简化系统的复杂性。代理模式可以根据不同的使用目的分为远程代理、虚拟代理、Copy-on-Write代理、保护代理、防火墙代理、智能引用代理和Cache代理等几种。本文将详细介绍代理模式的原理和应用场景。 ... [详细]
  • 1Lock与ReadWriteLock1.1LockpublicinterfaceLock{voidlock();voidlockInterruptibl ... [详细]
  • 我所理解的JMM 2 new原子性
    概述文本探讨构造函数是否为原子性问题。案例我们首先如下代码:publicclassPerson{publicintage;publicPerson(){age ... [详细]
  • Java编程思想一书中第21章并发中关于线程间协作的一节中有个关于汽车打蜡与抛光的小例子(原书的704页)。这个例子主要展示的是两个线程如何通过wait ... [详细]
  • vb.net不用多线程如何同时运行两个过程?不用多线程?即使用多线程,也不会是“同时”执行,题主只要略懂一些计算机编译原理就能明白了。不用多线程更不可能让两个过程同步执行了。不过可 ... [详细]
  • WebDAV之葫芦儿·派盘+天悦日记
    天悦日记支持webdav方式连接葫芦儿派盘。是一款清爽简约的日记记录工具,通过天悦日记app随时随地快速写日记,更有智能数据统计分析报表,多端同步多种备份,本地备份和基于Web ... [详细]
  • java线程池的实现原理源码分析
    这篇文章主要介绍“java线程池的实现原理源码分析”,在日常操作中,相信很多人在java线程池的实现原理源码分析问题上存在疑惑,小编查阅了各式资 ... [详细]
author-avatar
mobiledu2502929627
这个家伙很懒,什么也没留下!
PHP1.CN | 中国最专业的PHP中文社区 | DevBox开发工具箱 | json解析格式化 |PHP资讯 | PHP教程 | 数据库技术 | 服务器技术 | 前端开发技术 | PHP框架 | 开发工具 | 在线工具
Copyright © 1998 - 2020 PHP1.CN. All Rights Reserved | 京公网安备 11010802041100号 | 京ICP备19059560号-4 | PHP1.CN 第一PHP社区 版权所有