new和delete为什么要匹配
operator new和operator delete函数有两个重载版本:
void* operator new (size_t); // allocate an object
void* operator new [] (size_t); // allocate an array
void operator delete (void*); // free an oject
void operator delete [] (void*); // free an array
1、new
new操作针对数据类型的处理,分为两种情况:
1.1 简单数据类型(包括基本数据类型和不需要构造函数的类型)
代码实例:
int* p = new int;
汇编码如下:
int* p = new int;
00E54C44 push
00E54C46 call operator new (0E51384h)
00E54C4B add esp,
分析:传入4byte的参数后调用operator new。其源码如下:
void *__CRTDECL operator new(size_t size) _THROW1(_STD bad_alloc)
{ // try to allocate size bytes
void *p;
while ((p = malloc(size)) == )
if (_callnewh(size) == )
{ // 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 ; //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 ()
{
int* p = new int[];
}
}
在new基本数据类型的时候还可以指定初始化值,比如:
int* p = new int();
- 简单类型直接调用operator new分配内存;
- 可以通过new_handler来处理new失败的情况;
- new分配失败的时候不像malloc那样返回NULL,它直接抛出异常。要判断是否分配成功应该用异常捕获的机制;
1.2 复杂数据类型(需要由构造函数初始化对象)
代码实例:
class Object
{
public:
Object()
{
_val = ;
} ~Object()
{
}
private:
int _val;
}; void main()
{
Object* p = new Object();
}
汇编码如下:
Object* p = new Object();
00AD7EDD push
00AD7EDF call operator new (0AD1384h)
00AD7EE4 add esp,
00AD7EE7 mov dword ptr [ebp-0E0h],eax
00AD7EED mov dword ptr [ebp-],
00AD7EF4 cmp dword ptr [ebp-0E0h],
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],
00AD7F1A mov eax,dword ptr [ebp-0F4h]
00AD7F20 mov dword ptr [ebp-0ECh],eax
00AD7F26 mov dword ptr [ebp-],0FFFFFFFFh
00AD7F2D mov ecx,dword ptr [ebp-0ECh]
00AD7F33 mov dword ptr [p],ecx
2、delete
delete也分为两种情况。
2.1 简单数据类型(包括基本数据类型和不需要析构函数的类型)
int *p = new int();
delete p;
delete的汇编码如下:
delete p;
mov eax,dword ptr [p]
mov dword ptr [ebp-0D4h],eax
0027531D mov ecx,dword ptr [ebp-0D4h]
push ecx
call operator delete (0271127h)
分析:传入参数p之后调用operator delete,其源码如下:
void operator delete( void * p )
{
RTCCALLBACK(_RTC_Free_hook, (p, )); free( p );
}
RTCCALLBACK默认是空的宏定义,所以这个函数默认情况下就是简单的调用free函数。
2.2 复杂数据类型(需要由析构函数销毁对象)
class Object
{
public:
Object()
{
_val = ;
} ~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+]
012241FE and eax,
je Object::`scalar deleting destructor'+3Fh (0122420Fh)
mov eax,dword ptr [this]
push eax
call operator delete (01221145h)
0122420C add esp,
3、new数组
3.1 简单数据类型(包括基本数据类型和不需要析构函数的类型)
new[] 调用的是operator new[],计算出数组总大小之后调用operator new。
值得一提的是,可以通过()初始化数组为零值,实例:
char* p = new char[]();
等同于:
char *p = new char[];
memset(p, , );
3.2 复杂数据类型(需要由析构函数销毁对象)
class Object
{
public:
Object()
{
_val = ;
} ~Object()
{
cout << "destroy object" << endl;
}
private:
int _val;
}; void main()
{
Object* p = new Object[];
}
new[]先调用operator new[]分配内存,然后在p的前四个字节写入数组大小,最后调用三次构造函数。
这里为什么要写入数组大小呢?因为对象析构时不得不用这个值,举个例子:
class Object
{
public:
Object()
{
_val = ;
} 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[];
delete[] p;
}
释放内存之前会调用每个对象的析构函数。但是编译器并不知道p实际所指对象的大小。如果没有储存数组大小,编译器如何知道该把p所指的内存分为几次来调用析构函数呢?
4、delete数组
4.1 简单数据类型(包括基本数据类型和不需要析构函数的类型)
delete和delete[]效果一样
比如下面的代码:
int* pint = new int[];
delete pint; char* pch = new char[];
delete pch;
运行后不会有什么问题,内存也能完成的被释放。看下汇编码就知道operator delete[]就是简单的调用operator delete。
4.2 复杂数据类型(需要由析构函数销毁对象)
释放内存之前会先调用每个对象的析构函数。
new[]分配的内存只能由delete[]释放。如果由delete释放会崩溃,为什么会崩溃呢?
假设指针p指向new[]分配的内存。因为要4字节存储数组大小,实际分配的内存地址为[p-4],系统记录的也是这个地址。delete[]实际释放的就是p-4指向的内存。而delete会直接释放p指向的内存,这个内存根本没有被系统记录,所以会崩溃。
new和delete为什么要匹配的更多相关文章
- GCC4.8对new和delete的参数匹配新要求
一段通信协议的代码,早年在GCC 4.4.VS2013下编译都挺好的,移植到GCC 4.8 ,为C++ 11做准备,在编译的时候发现问题 源代码省略后的版本如下: class Zerg_App_Fra ...
- C++中delete[]是如何知道数组大小的
先看一段代码: int main(void) { int *pI = new int; int *pArray = new int[10]; int size = *(pArray-1); delet ...
- 【M8】了解各种不同意义的new和delete
1.首先考虑new operator,new operator 可以认为做了三件事情:a.调用operator new分配一块内存:b.在这块内存上调用构造方法构造对象:返回指针. 2.operato ...
- Boost汉字匹配 -- 宽字符
原文链接:http://blog.csdn.net/sptoor/article/details/4930069 思路:汉字匹配,把字符都转换成宽字符,然后再匹配. 需要用到以下和宽字符有关的类: ...
- new delete
malloc/free是标准的库函数,而new/delete是操作符 匹配使用原则:malloc(calloc/realloc)和free 以及new/new[] 和delete/delete[]; ...
- C#进阶系列——WebApi 路由机制剖析:你准备好了吗?
前言:从MVC到WebApi,路由机制一直是伴随着这些技术的一个重要组成部分. 它可以很简单:如果你仅仅只需要会用一些简单的路由,如/Home/Index,那么你只需要配置一个默认路由就能简单搞定: ...
- shell example02
输入值 //相加 add(){ echo "add two agrs..." echo "enter first one: " read arg1 echo & ...
- MySQL连接线程kill利器之pt-kill
如何每10秒检查一次,杀死指定用户超过100秒的查询? pt-kill \ --no-version-check \ --host 127.0.0.1 --port 3306 --user 'xxxx ...
- asp.net MVC4的执行流程
MVC在底层和传统的asp.net是一致的,在底层之上,相关流程如下: 1)Global.asax里,MvcApplication对象的Application_Start()事件中,调用 RouteC ...
随机推荐
- 找出程序cpu使用率高的原因
确定是CPU过高 使用top观察是否存在CPU使用率过高现象 找出线程 对CPU使用率过高的进程的所有线程进行排序 ps H -e -o pid,tid,pcpu,cmd --sort=pcpu |g ...
- Android的三种网络通信方式
Android平台有三种网络接口可以使用,他们分别是:java.net.*(标准Java接口).Org.apache接口和Android.net.*(Android网络接口).下面分别介绍这些接口的功 ...
- WAMP 80端口被Microsoft-HTTPAPI/2.0占用的解决办法
WAMP 80端口被Microsoft-HTTPAPI/2.0占用的解决办法 - likebeta - 博客园 http://www.cnblogs.com/likebeta/archive/2012 ...
- MyBatis的两个配置文件
MyBatis有两个基本的配置文件,一个用来配置环境信息(mybatis.xml),一个用来写SQL语句(xxMapper.xml). mybatis.xml: <?xml version=&q ...
- Java API ——StringBuffer类
1.StringBuffer类概述 1)我们如果对字符串进行拼接操作,每次拼接,都会构建一个新的String对象,既耗时,又浪费空间.而StringBuffer就可以解决这个问题 2)线程安全的可变字 ...
- 概率图模型之有向图与无向图之间的关系 I map D map perfect map(完美图) 概念
我们已经讨论了有向图和无向图框架下的概率模型,那么我们有必要讨论一下它们二者的关系.
- 查看Vim的option变量的值
以t_Co变量为例,最好用 :echo &t_Co 也可以使用 :set t_Co?,但是漏打?的话就会设置,得不偿失 要想知道在哪里这个变量被设置的,用 :verbose set t_Co? ...
- PC寄存器的真实状态
因为预取指令的关系,PC寄存器永远比当前的寄存器多两个指令,ARM模式为大8,Thumb模式为大2,这针对的是32bit的ARMv7的指令集 In ARM state, the value of th ...
- VMware Workstation与Hyper-V不兼容。请先从系统中移除Hyper-V角色,然后再运行VMware Workstation。
VMware Workstation与Hyper-V不兼容.请先从系统中移除Hyper-V角色,然后再运行VMware Workstation. 今天在用win8.1的时候发现了这个问题,解决办法如下 ...
- html树形菜单控件
html树形菜单控件 链接 http://www.ithao123.cn/content-713974.html jQuery plugin: Treeview 这个插件能够把无序 ...