C++ new、delete
C++中向系统申请堆内存的方法为使用new、new[]操作符,new申请单个对象的内存,new[]申请对象数组的内存。对应的delete、delete[]操作符将new、new[]操作符申请到的内存还给系统。使用new运算符的表达式被称为new表达式,相应的,使用delete运算符的表达式被称为delete表达式。
C++默认的new表达式有3种形式。
(1).最基本也是最常见的,完成内存空间申请并调用构造函数
new type
new type(initilalizers)
new type[size]
new type[size]{braced initializer list}
(2).指定不抛异常的,完成内存空间申请并调用构造函数
new(nothrow) type
new(nothrow) type(initializers)
new(nothrow) type[size]
new(nothrow) type[size]{braced initializer list}
(3).只创建对象不分配内存的
new(place_address) type
new(place_address) type(initializers)
new(place_address) type[size]
new(place_address) type[size]{braced initializer list}
而C++默认的delete表达式只有一种形式
delete ptr
delete[] ptr
以单对象内存的分配为例:
new表达式1的工作原理如下:1.调用 void * operator new(size_t)函数分配内存 2.在第1步返回的内存上调用对象的构造函数 3.返回内存指针。
new表达式1在第1步和第2步都是可能抛出异常的。在第1步,如果系统没有足够内存可分配,void * operator new(size_t)函数会抛出 bad_alloc异常。在第2步,如果对象的构造函数抛出了异常,为了防止内存泄露,编译器会将异常捕获,然后调用 void operator delete(void *)noexcept函数回收内存,最后将异常再次抛出。
new表达式2的工作原理如下:1.调用 void *operator new(size_t ,const std::nothrow_t &)noexcept函数分配内存 2.在第1步返回的内存上调用对象的构造函数 3.返回内存指针。
new表达式2的第1步在分配不到内存的情况下不会抛出异常,而是返回空指针。在第2步,如果对象的构造函数抛出了异常,为了防止内存泄露,编译器也会将异常捕获,然后回收内存,但调用的函数是 void operator delete(void *,const std::nothrow_t &)noexcept。
new表达式3的工作原理如下:1.调用 void *operator new(size_t,void *)noexcept返回内存 2.在第1步返回的内存上调用对象的构造函数 3.返回内存指针。
new表达式3的第1步调用的 void *operator new(size_t,void *)noexcept不向系统申请内存,只是把第二个参数返回。这样,第2步对象的构造就是在用户指定的内存上进行的。第2步跟上面两个一样,也是对对象进行构造,但在构造函数抛出异常的情况下,回收内存时调用的函数为 void operator delete(void *,void *)noexcept,这个函数啥都不干。
new表达式2、3又被称为定位new表达式。
delete 表达式的工作原理如下:1.调用对象的析构函数 2.调用 void operator delete(void *)回收内存。
如果是数组版本的new表达式、delete表达式,以上函数的对应版本为
void * operator new(size_t) 对应 void * operator new[](size_t)
void * operator new(size_t,const std::nothrow_t &)noexcept 对应 void * operator new[](size_t,const std::nothrow_t &)noexcept
void * operator new(size_t,void *)noexcept 对应 void * operator new[](size_t,void *)noexcept
void operator delete(void *)noexcept 对应 void operator delete[](void *)noexcept
void operator delete(void *,const std::nothrow_t &)noexcept对应 void operator delete[](void *,const std::nothrow_t &)noexcept
void operator delete(void *,void *)noexcept 对应 void operator delete[](void *,void *)noexcept
这以上12个函数都位于 标准库<new>中,除了 void *operator new(size_t,void *)这一类的四个函数外,其它8个函数都可以被用户重定义。
重定义途径有两种,第一种是在全局作用域中重新定义,第二种是在类作用域中重新定义。在namespace中定义这8个函数是错误的。如果是一般函数,第一种途径是会引发重定义错误的,但C++标准为new、delete开了后门。new、delete表达式在寻找实际应该使用哪个函数的顺序是这样的:如果是对象是类类型,则先在该类以及该类的基类的成员函数中寻找相应的函数,如果没有,则到全局作用域中去寻找。如果全局作用域中有用户自定义的版本,则使用用户自定义版本。如果没有用户自定义版本,则使用标准库的版本。
如果在类作用域中重载这8个函数,则它们是static的,即使没有用static来声明。
operator new系列函数与operator new[]系列函数的功能都是分配n个字节的内存,那它们没有区别吗?没有区别。所以标准库中operator new[]是直接调用的operator new来工作的,要自定义分配内存函数时只用自定义operator new就可以了。虽然new表达式与new[]表达式是有区别的。new表达式分配单个对象,n不可能为0。而在C++中new type[0]是合法的,而且必须返回非空指针(但该指针不能解引用)。所以new[]表达式要处理n==0的情况。而且,delete[]表达式是要对对象进行析构的,但delete[]表达式是如何知道有几个对象的?所以new[]在申请内存的时候要申请额外的内存来存储它申请的元素的个数,delete[]的时候按照规则来读就行了。这两点区别被编译器解决了,对用户是透明的。operator new、operator new[]只申请内存就可以。
另外,标准库中有 new_handler set_new_handler(new_handler new_p)noexcept 函数,可用于指定标准库的operator new 、operator new[]函数在申请不到内存的情况下的行为。对抛异常版本与不抛异常版本都有效。因为new_handler会被循环调用直到申请到内存或者new_handler抛异常。为了不让程序在极端情况下一直死循环下去,new_handler必须抛异常或exit退出程序来结束循环,但抛异常会导致 new(nothrow)也抛异常,破坏new(nothrow)不抛异常的约定。所以如果自定义new_handler,退出循环只有调用exit一条路可走了?
new_handler对用户自定义的版本无效。
get_new_handler可用于获取用户自定义的new_handler,如果用户无自定义,返回nullptr。
知道了以上的知识点能做什么呢?
1.自定义operator new函数,控制内存分配行为。
2.分离堆内存分配与对象创建,提高程序效率。
关于这第二点,C++标准库还提供了其它设施来实现同样的目的:
1.template <class T> class allocator;
point allocate(size_t) 分配内存
void deallocate(point,size_t) 回收内存
template <class U,class... Args> void construct(U* p,Args&&... args) 创建对象
template<class U> void destroy(U* p) 销毁对象
allocator 分配内存实际上调用的是::operator new,所以如果用户在全局作用域自定义了operator new,也会影响allocator。
2.template <class T> pair<T *,ptrdiff_t> get_temporary_buffer(ptrdiff_t n) noexcept
该函数试图分配 够存储n个元素的空间,但有可能最后分配的小于n。
该函数语义上被限制于只分配临时空间,即当局部变量使用。该函数的实现上应该是从栈上(或编译器自已维护的一段内存)分配空间,而不是从堆上。所以自定义operator new对其无影响。因为是从栈上分配空间,所以其能分配的空间比较小,但会比 ::operator new快。
template <class T> void return_temporary_buffer(T *p);用于归还 get_temporary_buffer分配的内存。注意它并不销毁对象,需要用户自己销毁。
标准库 allocator 与new、delete的区别
new 与 new[]是不同的,上面已经说明过(new[]需要管理对象个数).
allocator则只有一种形式,不区分分配单个对象还是多个对象,但对象个数由用户来管理,以便正确destroy.
C++ new、delete的更多相关文章
- sql之truncate 、delete与drop区别
sql之truncate .delete与drop区别相同点:truncate 和不带 where 子句的 delete,以及 drop 一定会删除表内的数据不同点:1. truncate 和 del ...
- MySQL数据库INSERT、UPDATE、DELETE以及REPLACE语句的用法详解
本篇文章是对MySQL数据库INSERT.UPDATE.DELETE以及REPLACE语句的用法进行了详细的分析介绍,需要的朋友参考下 MySQL数据库insert和update语句引:用于操作数 ...
- Truncate table、Delete与Drop table的区别
Truncate table.Delete与Drop table的区别 TRUNCATE TABLE 在功能上与不带 WHERE 子句的 DELETE 语句相同:二者均删除表中的全部行.但 TRUNC ...
- WebApi接口传参不再困惑(4):传参详解 一、get请求 二、post请求 三、put请求 四、delete请求 五、总结
前言:还记得刚使用WebApi那会儿,被它的传参机制折腾了好久,查阅了半天资料.如今,使用WebApi也有段时间了,今天就记录下API接口传参的一些方式方法,算是一个笔记,也希望能帮初学者少走弯路.本 ...
- 操作数据(insert、update、delete)
插入数据 使用Insert Into 插入 if(exists(select * from sys.databases where name = 'webDB')) drop database web ...
- sql中truncate 、delete与drop区别
SQL truncate .delete与drop区别 相同点: 1.truncate和不带where子句的delete.以及drop都会删除表内的数据. 2.drop.truncate都是DDL ...
- oracle中drop、delete和truncate的区别
oracle中drop.delete和truncate的区别 oracle中可以使用drop.delete和truncate三个命令来删除数据库中的表,网上有许多文章和教程专门讲解了它们之间的异同,我 ...
- The use of function Merge (update、insert、delete)
1.The use of function merge(update.insert.delete) Example: #1.Initialize the data create table #test ...
- SQL Server DML(UPDATE、INSERT、DELETE)常见用法(一)
1.引言 T-SQL(Transact Structured Query Language)是标准的SQL的扩展,是程序和SQL Server沟通的主要语言. T-SQL语言主要由以下几部分组成: 数 ...
随机推荐
- PHP:汉字转拼音类(全拼与首字母)
[php] <?php class GetPingYing { private $pylist = array( 'a'=>-20319,'ai'=>-20317,'an'=> ...
- 阿里云centos配置ftp和svn全过程
1.下载xshell 2.登录centos 3.安装vsftpd [root@xxx]# yum install vsftpd //安装vsftpd [root@xxx]# chkconfig vsf ...
- Python中的元类和__metaclass__
1.什么是元类 元类让你来定义某些类是如何被创建的,从根本上说,赋予你如何创建类的控制权.可以把元类想成是一个类中类,或是一个类,它的实例是其它的类.当某个类调用type()函数时,你就会看到它到底是 ...
- ASP.NET登录控件延伸(个性化)
既然由登录控件涉及到了Membership,那么就不得不提到用户个性化Profile对象.个性化允许为用户保存特定的个性化信息到数据库中,因此它不同于ASP.NET状态管理之处在于可以永久性保存这些信 ...
- Unity--截取屏幕任意区域
原地址:http://blog.csdn.net/tanmengwen/article/details/8501612 void Update () { if(Input.GetKeyDown(Key ...
- C之算法
1° 选择排序算法 核心思路如下图: 以字符串排序进行说明 #include <stdio.h> #include <string.h> #define SIZE ...
- 配置sshd_config中的PermitRootLogin设置root登录或者禁止root登录
在etc的sshd_config文件中,默认有PermitRootLogin no的配置,这个的意思是禁止root用户登录,如果想要允许root登录,需要su root用户到sshd_config下进 ...
- 多重背包问题II
多重背包问题II 总体积是m,每个小物品的体积是A[i] ,每个小物品的数量是B[i],每个小物品的价值是C[i] 求能够放入背包内的最大物品能够获得的最大价值 和上一个很类似 上一题体积就是价值,这 ...
- QTreeWidget的一个例子,C++语法和item迭代循环都比较巧妙
学习一下,据说QTreeWidget简单好用,不需要单独设置Model和View,更没有delegate.Signal和Slot应该可以正常使用(未验证,以后补充). #include <QtG ...
- MAC的一些实用
重置Dock, Launchpad defaults write com.apple.dock ResetLaunchPad -bool true; killall Dock;