C++编程规范之45:总是一起提供new和delete

摘要:

它们是一揽子交易:每个类专门的重载void*operator new(parms)都必须与对应的重载void operator delete(void*, params)相随相伴,其中parms是额外参数类型的一个列表(第一个总是std:size_t)。数组形式的new[]和delete[]也同样如此。

    很少需要提供自定义的new或者delete,但是如果需要其中一个,那么通常两个都需要。如果定义了类专门的T::operator new进行某种特殊的分配操作,很可能还需要定义一个类专门的T::operator delete进行相应的释放操作。

    这些阐述可能有些过于基础了,但是之所以要加入本条款,有一个更加微妙的原因:编译器可能需要T::operator delete的重载,即使实际上从来也不会调用它。这才是为什么要成对提供operator new和operator delete(以及operator new[]和operator delete[])的原因。

    假设定义了一个带有自定义分配操作的类:

class T

{

         //……

         Static void* operator new(std::size_t)

         Static void* operator new(std::size_t,CustomAllocator&)

 

         Static void operator delete(void*,std::size_t)

};

这样就为分配和释放建立了一个简单的协议。

1.调用者能够用默认的分配器(使用new T)或者自定义的分配器,(使用new(alloc)T,其中alloc是一个customAllactor类型的对象)来分配类型T的对象。

2.唯一调用者可能调用的operatordelete是默认的operator delete(size_t),因此当然应该实现,从而能够正确地释放已分配的内存。

到目前为止,一切正常。

但是编译器冉冉需要秘密地调用另一个delete重载,即T::operatordelete(size_t, CustomAllocator&)。这是因为语句

T* p = new(alloc)T;

实际上将扩展为类似下面的代码:

//编译器为T* p =new(alloc)T;生成的代码

//

Void*_compilerTemp = T::operator new (sizeof(T),alloc);

T* p;

Try

{

         P = new(_compilerTemp)T;

}

Catch(…)

{

         T::operator delete(_compilerTemp,sizeof(T), alloc);

         throw

}

    因此,如果分配成功,但是构造函数失败了,那么编译器将顺理成章地自动插入代码,为重载的T::operator new调用对应的T::operator delete。对应的签名是void operator delete(void*,whatever-parameters-new-takes).

    下面是煞风景的部分了。C++ Standard规定,当且仅当operatordelete的重载实际退出时,以上代码才能生成。否则,在构造函数失败的情况下,代码不会调用任何operator delete。也就是说,如果构造函数失败,内存将泄漏。

    正因为如此,重载void*operator new(parms)必须伴有与其对应的重载void operator delete(void* ,params)——因为编译器自己要调用它们。

时间: 2024-11-03 14:06:37

C++编程规范之45:总是一起提供new和delete的相关文章

C++编程规范指46:如果提供专门的new,应该提供所有标准形式(普通、就地和不抛出)

摘要:     不要隐藏好的new:如果类定义了operatornew 的重载,就应该提供operator new 所有三种形式--普通(plain).就地(in-place)和不抛出(nothrow)的重载.     很少需要提供自定义的new 或者delete,但是如果确实需要,通常也不想隐藏内置的签名. C++中,在某个作用域(比如一个类作用域)里定义了一个名字之后,就会隐藏所有外围作用域中(如,在基类或者外围名字空间)同样的名字,而且永远不会发生跨作用域的重载.当上述名字是operato

C++编程规范之36:优先提供抽象接口

摘要:     偏爱抽象艺术吧:抽象接口有助于我们集中精力保证抽象的正确性,不至于受到实现或者状态管理细节的干扰.优先采用实现了抽象接口的设计层次结构. 应该定义和继承抽象接口.抽象接口是完全由(纯)虚函数构成的抽象类,没有状态(成员设计),通常也没有成员函数实现.在抽象接口中避免使用状态能够简化整个层次结构的设计.     应该遵守依赖倒置原理(DependencyInversion Principle ,DIP):    1.高层模块buy应该依赖于低层模块.相反,两者都应该依赖抽象.  

JAVA 编程规范

编程|规范 1. 应用范围 本规范应用于采用J2EE规范的项目中,所有项目中的JAVA代码(含JSP,SERVLET,JAVABEAN,EJB)均应遵守这个规范.同时,也可作为其它项目的参考. 2. 设计类和方法 2.1 创建具有很强内聚力的类 方法的重要性往往比类的重要性更容易理解,方法是指执行一个统一函数的一段代码.类常被错误的视为是一个仅仅用于存放方法的容器.有些开发人员甚至把这种思路作了进一步的发挥,将他们的所有方法放入单个类之中. 之所以不能正确的认识类的功能,原因之一是类的实现实际上

IDesign C#编程规范(二)

编程|规范 续之一,小鸡射手接着翻译了IDesign编码规范的第二章前部. 2 编码惯例 Coding Practices 1. 避免在一个文件中放多个类. Avoid putting multiple classes in a single file. 2. 一个文件应该只对一个命名空间提供类型.避免在同一文件中有多个命名空间. A single file should only contribute types to a single namespace. Avoid having mult

IDesign C#编程规范(之四)

编程|规范 续之三,本文是IDesign C#编程规范的第三章. 3 项目设置和项目结构 Project Settings and Project Structure 1. 总是以4级警告建立项目(图略). Always build your project with warning level 4 2. 在发布版中将警告作为错误(注意这不是VS.NET的缺省设置)(图略). Treat warning as errors in Release build (note that this is

《C++编程规范:101条规则、准则与最佳实践》——第2章设计风格设计风格 C++编程规范:101条规则、准则与最佳实践 复杂性啊,愚人对你视而不见,实干家受你所累。 有些人避而远之。惟智者能够善加消除。 ——Alan Perlis 我知道,但是却又忘记了Hoare的至理名言:不成熟的优化是程

第2章设计风格 C++编程规范:101条规则.准则与最佳实践 复杂性啊,愚人对你视而不见,实干家受你所累. 有些人避而远之.惟智者能够善加消除. --Alan Perlis 我知道,但是却又忘记了Hoare的至理名言:不成熟的优化是程序设计中的万恶之源. --Donald Knuth[1] The Errors of TeX[Knuth89] 完全区分设计风格与编码风格是非常困难的.我们将一般在实际编写代码时才用得到的条款留到下一部分介绍. 本部分集中讨论适用面比一个特定的类或者函数更广的原则和

11个PHPer必须要了解的编程规范_php技巧

本文将讨论常用的良好的代码习惯,或者称为代码规范,在PHP领域. 1,错误报告开启 错误报告是在PHP中一个非常有用的功能,应同时在开发阶段启用. 这可以帮助我们确定我们的代码中的问题. 最常用的功能是"E_ALL",这有助于我们发现所有的警告和严重错误. 必须指出的是,我们把我们的代码投入上线前,我们应该关闭这个功能提示,否则会在浏览器上的暴漏所有潜在错误及警告. 2,使用DRY原则 'Do not Repeat Yourself',DRY原则指的是不要重复你的代码.. 这个概念是一

《C++编程规范:101条规则、准则与最佳实践》——导读

前言 C++编程规范:101条规则.准则与最佳实践尽早进入正轨:以同样的方式实施同样的过程.不断积累惯用法.将其标准化.如此,你与莎士比亚之间的唯一区别将只是掌握惯用法的多少,而非词汇的多少. --Alan Perlis[1]} 标准最大的优点在于,它提供了如此多样的选择. --出处尚无定论 我们之所以编写本书,作为各开发团队编程规范的基础,有下面两个主要原因. 编程规范应该反映业界最久经考验的经验.它应该包含凝聚了经验和对语言的深刻理解的公认的惯用法.具体而言,编程规范应该牢固地建立在大量丰富

实现高效Java编程规范的十一条基础规则

编程|规范 本文介绍的Java规则的说明分为5个级别,级别1是最基本也是最重要的级别,在今后将陆续写出其他的规则.遵守了这些规则可以提高程序的效率.使代码有更好的可读性等. (1) 避免使用NEW关键字来创建String对象 把一个String常量copy到String 对象中通常是多余.浪费时间的. Public class test{ Public void method(){ System.out.print (str); } private String str = new String