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语言主要由以下几部分组成: 数 ...
随机推荐
- java中byte和blob互转
1. btye[]转blob byte[] bs = ... Blob blob = conn.createBlob(); blob.setBytes(1, bs); ps.setBlob(2, bl ...
- ubuntu搭建lnmp
http://wiki.ubuntu.org.cn/Nginx#.E5.AE.89.E8.A3.85Php.E5.92.8Cmysql
- Mobile Web 调试指南(2):远程调试
原文:http://blog.jobbole.com/68606/ 原文出处: 阿伦孟的博客(@allenm ) 第一篇中讲解了如何让手机来请求我们开发电脑上的源码,做到了这步后,我们可以改完代码立即 ...
- DF学Mysql(一)——数据库基本操作
1.创建数据库 create Database <数据库名>; 注意:1)数据库名由字母.下划线.@.#和$组成 2)首字母不能是数字和$符号 3)不允许有空格和特殊字符 2.查看数据库 ...
- JS获取Url参数的通用方法
//获取URL中的参数 function request(paras) { var url = location.href.replace('#', ''); var paraString = url ...
- 传说中的WCF(11):会话(Session)
在标题中我加了一个大家都很熟悉的单词——Session,熟吧?玩过Web开发的朋友肯定在梦中都会见到她. 在Web中为什么要会话呢?毕竟每个用户在一个Web应用中可能不止进行一次操作,比如,某二手飞机 ...
- The first day of HTML
这是韩顺平老师的<轻松搞定网页设计(html.css.js)>,讲的还凑合,仅作入门.决定还是做好笔记,记录学习的过程,这是HTML的第一天. HTML(HyperText Mark-up ...
- 初始JSON
SON是一种传输数据的格式(以对象为样板,本质上就是对象,但用途有区别,对象就是本地用的,json是用来传输的 JSON的两种静态方法: 1.JSON.parse(); string --> ...
- HTTP协议中TCP的三次握手,四次挥手总结
建立TCP需要三次握手才能建立,而断开连接则需要四次挥手.整个过程如下图所示: 先来看看如何建立连接的. 首先Client端发送连接请求报文,Server段接受连接后回复ACK报文,并为这次连接分配资 ...
- lintcode :First bad version 第一个错误的代码版本
题目 第一个错误的代码版本 代码库的版本号是从 1 到 n 的整数.某一天,有人提交了错误版本的代码,因此造成自身及之后版本的代码在单元测试中均出错.请找出第一个错误的版本号. 你可以通过 isBad ...