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的更多相关文章

  1. sql之truncate 、delete与drop区别

    sql之truncate .delete与drop区别相同点:truncate 和不带 where 子句的 delete,以及 drop 一定会删除表内的数据不同点:1. truncate 和 del ...

  2. MySQL数据库INSERT、UPDATE、DELETE以及REPLACE语句的用法详解

    本篇文章是对MySQL数据库INSERT.UPDATE.DELETE以及REPLACE语句的用法进行了详细的分析介绍,需要的朋友参考下   MySQL数据库insert和update语句引:用于操作数 ...

  3. Truncate table、Delete与Drop table的区别

    Truncate table.Delete与Drop table的区别 TRUNCATE TABLE 在功能上与不带 WHERE 子句的 DELETE 语句相同:二者均删除表中的全部行.但 TRUNC ...

  4. WebApi接口传参不再困惑(4):传参详解 一、get请求 二、post请求 三、put请求 四、delete请求 五、总结

    前言:还记得刚使用WebApi那会儿,被它的传参机制折腾了好久,查阅了半天资料.如今,使用WebApi也有段时间了,今天就记录下API接口传参的一些方式方法,算是一个笔记,也希望能帮初学者少走弯路.本 ...

  5. 操作数据(insert、update、delete)

    插入数据 使用Insert Into 插入 if(exists(select * from sys.databases where name = 'webDB')) drop database web ...

  6. sql中truncate 、delete与drop区别

    SQL truncate .delete与drop区别   相同点: 1.truncate和不带where子句的delete.以及drop都会删除表内的数据. 2.drop.truncate都是DDL ...

  7. oracle中drop、delete和truncate的区别

    oracle中drop.delete和truncate的区别 oracle中可以使用drop.delete和truncate三个命令来删除数据库中的表,网上有许多文章和教程专门讲解了它们之间的异同,我 ...

  8. 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 ...

  9. SQL Server DML(UPDATE、INSERT、DELETE)常见用法(一)

    1.引言 T-SQL(Transact Structured Query Language)是标准的SQL的扩展,是程序和SQL Server沟通的主要语言. T-SQL语言主要由以下几部分组成: 数 ...

随机推荐

  1. PHP:汉字转拼音类(全拼与首字母)

    [php] <?php class GetPingYing { private $pylist = array( 'a'=>-20319,'ai'=>-20317,'an'=> ...

  2. 阿里云centos配置ftp和svn全过程

    1.下载xshell 2.登录centos 3.安装vsftpd [root@xxx]# yum install vsftpd //安装vsftpd [root@xxx]# chkconfig vsf ...

  3. Python中的元类和__metaclass__

    1.什么是元类 元类让你来定义某些类是如何被创建的,从根本上说,赋予你如何创建类的控制权.可以把元类想成是一个类中类,或是一个类,它的实例是其它的类.当某个类调用type()函数时,你就会看到它到底是 ...

  4. ASP.NET登录控件延伸(个性化)

    既然由登录控件涉及到了Membership,那么就不得不提到用户个性化Profile对象.个性化允许为用户保存特定的个性化信息到数据库中,因此它不同于ASP.NET状态管理之处在于可以永久性保存这些信 ...

  5. Unity--截取屏幕任意区域

    原地址:http://blog.csdn.net/tanmengwen/article/details/8501612 void Update () { if(Input.GetKeyDown(Key ...

  6. C之算法

       1° 选择排序算法    核心思路如下图: 以字符串排序进行说明 #include <stdio.h> #include <string.h> #define SIZE ...

  7. 配置sshd_config中的PermitRootLogin设置root登录或者禁止root登录

    在etc的sshd_config文件中,默认有PermitRootLogin no的配置,这个的意思是禁止root用户登录,如果想要允许root登录,需要su root用户到sshd_config下进 ...

  8. 多重背包问题II

    多重背包问题II 总体积是m,每个小物品的体积是A[i] ,每个小物品的数量是B[i],每个小物品的价值是C[i] 求能够放入背包内的最大物品能够获得的最大价值 和上一个很类似 上一题体积就是价值,这 ...

  9. QTreeWidget的一个例子,C++语法和item迭代循环都比较巧妙

    学习一下,据说QTreeWidget简单好用,不需要单独设置Model和View,更没有delegate.Signal和Slot应该可以正常使用(未验证,以后补充). #include <QtG ...

  10. MAC的一些实用

    重置Dock, Launchpad defaults write com.apple.dock ResetLaunchPad -bool true; killall Dock;