首页 > 代码库 > 读书笔记 effective c++ Item 52 如果你实现了placement new,你也要实现placement delete
读书笔记 effective c++ Item 52 如果你实现了placement new,你也要实现placement delete
1. 调用普通版本的operator new抛出异常会发生什么？
Placement new和placement delete不是C++动物园中最常遇到的猛兽，所以你不用担心你对它们不熟悉。当你像下面这样实现一个new表达式的时候，回忆一下Item 16和Item 17：
1 Widget *pw = new Widget;
两个函数会被调用：一个是调用operator new来分配内存，第二个是Widget的默认构造函数。
假设第一个调用成功了，但是调用第二个函数抛出了异常。在这种情况下，对步骤一中执行的内存分配必须进行回滚。否则就会发生内存泄漏。客户端代码不能释放内存，因为如果Widget构造函数抛出了异常，pw永远不会赋值。客户端就没有办法得到指向需要释放内存的指针。对步骤一进行回滚的责任就落在了C++运行时系统身上。
运行时系统很高兴去调用与步骤1中调用的operator new版本相对应的operator delete，但是只有在它知道哪个operator delete（可能有许多）是合适的被调用函数的情况下才能做到。如果你正在处理的new和delete版本有着正常的签名，那么这不是一个问题，因为正常的operator new，
1 void* operator new(std::size_t) throw(std::bad_alloc);
对应着正常的operator delete:
1 void operator delete(void *rawMemory) throw(); // normal signature2 // at global scope3 4 void operator delete(void *rawMemory, std::size_t size) throw(); // typical normal signature at class scope
2. 调用自定义operator new抛出异常会发生什么？
2.1 一个有问题的例子
如果你正在使用普通形式的new和delete,运行时系统能够找到new对应版本的delete来执行回滚操作。然而，如果你开始声明非普通版本的new——也就是生成一个带参数的版本，“哪个delete才是new对应的版本”这个问题就出现了。
例如，假设你实现了一个类特定版本的operator new，它需要指定一个ostream来为内存分配信息进行记录，你同样实现了一个普通的类特定版本的operator delete:
1 class Widget { 2 public: 3 ... 4 5 static void* operator new(std::size_t size, 6 7 // non-normal 8 std::ostream& logStream) // form of new 9 throw(std::bad_alloc);10 static void operator delete(void *pMemory, // normal class11 std::size_t size) throw(); // specific form12 // of delete13 ...14 };
2.2 对相关术语的说明
这个设计是有问题的，但是在我们讨论原因之前，我们需要对相关术语进行说明。
当一个operator new函数带了额外的参数（除了必须要带的size_t参数）的时候，我们知道这是new的placement版本。上面的operator new就是这样一个placement版本。一个尤为有用的placement new是带有一个指针参数，指定对象应该在哪里被构建。它会像下面这个样子：
1 void* operator new(std::size_t, void *pMemory) throw(); // “placement2 // new”
这个版本的new是C++标准库的一部分，只要你#inlucde <new>就能够访问它。它也用来在vector的未被使用的空间中创建对象。它还是最早的placement new。事实上，这也是这个函数的命名依据：在特定位置上的new。这就意味着“placement new”被重载了。大多情况下当人们谈到placement new的时候，它们讨论的是这个特定的函数，也即是带有一个void *额外参数的operator new。少数情况下，它们讨论的是带有额外参数的任意版本的operator new。程序的上下文往往会清除这种模棱两可，但是明白普通术语“placement new”意味着带额外参数的任意new版本是很重要的事，因为“placement delete”(我们一会会碰到)直接派生自它。
2.3 如何解决问题
现在让我们回到对Widget 类的声明上来，我在前面说过这个设计是有问题的。难点在于这个类会发生微妙的内存泄漏。考虑下面的客户代码，在动态创建一个Widget的时候它将内存分配信息记录到cerr中：
1 Widget *pw = new (std::cerr) Widget; // call operator new, passing cerr as2 // the ostream; this leaks memory3 // if the Widget constructor throws
还是上次的问题，当内存分配成功了，但是Widget构造函数抛出了异常，运行时系统有责任将operator new执行的分配工作进行回滚。然而，运行时系统不能够真正明白被调用的operator new版本是如何工作的，所以它不能够自己进行回滚操作。相反，运行时系统会寻找一个operator delete，它和operator new带有相同数量和类型的额外参数，如果找到了，那么这个就是它要调用的版本。在上面的例子中，operator new带有一个额外的参数ostream&,所以对应的operator delete就是：
1 void operator delete(void*, std::ostream&) throw();
同new的placement 版本进行对比，带有额外参数的operator delete版本被叫做placement delete。在这种情况下，Widget没有声明operator delete的placement 版本，所以运行时系统不知道如何对placement new的操作进行回滚。因此它不会做任何事情。在这个例子中，如果Widget构造函数抛出异常之后没有operator delete会被调用！
规则很简单：如果一个带了额外的参数operator new 没有与之相匹配的带有相同额外参数的operator delete版本，如果new的内存分配操作需要被回滚那么没有operator delete会被调用。为了消除上面代码的内存泄漏，Widget需要声明一个与记录日志的placement new版本相对应的placement delete：
1 class Widget { 2 public: 3 ... 4 5 static void* operator new(std::size_t size, std::ostream& logStream) 6 throw(std::bad_alloc); 7 static void operator delete(void *pMemory) throw(); 8 static void operator delete(void *pMemory, std::ostream& logStream) 9 throw();10 ...11 };
有了这个改动，在下面的语句中，如果异常从Widget构造函数中抛出来：
1 Widget *pw = new (std::cerr) Widget; // as before, but no leak this time
对应的placement delete会被自动被调用，这就让Widget确保没有内存被泄漏。
3. 调用delete会发生什么？
然而，考虑如果没有异常被抛出的时候会发生什么，我们会在客户端代码中进行delete:
1 delete pw; // invokes the normal2 // operator delete
正如注释所说明的，这会调用普通的operator delete，而不是placement 版本。Placement delete只有在构造函数中调用与之相匹配的placement new时抛出异常的时候才会被触发。对一个指针使用delete（就像上面的pw一样）永远不会调用delete的placement版本。
这就意味着为了对new的placement 版本造成的内存泄漏问题进行先发制人，你必须同时提供operator delete的普通版本（在构造期间没有异常抛出的时候调用），以及和placement new带有相同额外参数的placement版本（抛出异常时调用）。做到这一点，在内存泄漏的微妙问题上你就永远不需要在辗转反侧难以入睡了。
4. 注意名字隐藏问题
顺便说一下，因为成员函数名字会隐藏外围作用域中的相同的名字（见Item 33）,你需要小心避免类特定的new版本把客户需要的其他版本隐藏掉（包括普通版本）。例如如果你有一个基类只声明了一个operator new的placement 版本，客户将会发现它们不能再使用new的普通版本了：
1 class Base { 2 public: 3 ... 4 static void* operator new(std::size_t size, // this new hides 5 std::ostream& logStream) // the normal 6 throw(std::bad_alloc); // global forms 7 ... 8 }; 9 10 Base *pb = new Base; // error! the normal form of11 // operator new is hidden12 13 Base *pb = new (std::cerr) Base; // fine, calls Base’s14 // placement new
类似的，派生类中的operator new会同时把operator new的全局版本和继承版本隐藏掉：
1 class Derived: public Base { // inherits from Base above 2 3 4 public: 5 ... 6 static void* operator new(std::size_t size) // redeclares the normal 7 throw(std::bad_alloc); // form of new 8 ... 9 };10 Derived *pd = new (std::clog) Derived; // error! Base’s placement11 // new is hidden12 Derived *pd = new Derived; // fine, calls Derived’s13 // operator new
Item 33中非常详细的讨论了这种类型的名字隐藏，但是为了实现内存分配函数，你需要记住的是默认情况下，C++在全局范围内提供了如下版本的operator new:
1 void* operator new(std::size_t) throw(std::bad_alloc); // normal new2 3 void* operator new(std::size_t, void*) throw(); // placement new4 5 void* operator new(std::size_t, // nothrow new —6 const std::nothrow_t&) throw(); // see Item 49
如果你在类中声明了任何operator new，你就会隐藏这些标准版本。除非你的意图是防止客户使用这些版本，否则除了任何你所创建的自定义operator new版本之外，确保这些标准版本能够被客户所用。对每个你所提供的operator new，确保同时提供相对应的operator delete。如果你想让这些函数的行为同普通函数一样，让你的类特定版本调用全局版本就可以了。
实现这个目的的一种简单的方法是创建一个包含所有new 和delete版本的基类：
1 class StandardNewDeleteForms { 2 public: 3 // normal new/delete 4 static void* operator new(std::size_t size) throw(std::bad_alloc) 5 { return ::operator new(size); } 6 static void operator delete(void *pMemory) throw() 7 { ::operator delete(pMemory); } 8 9 // placement new/delete10 static void* operator new(std::size_t size, void *ptr) throw()11 { return ::operator new(size, ptr); }12 static void operator delete(void *pMemory, void *ptr) throw()13 { return ::operator delete(pMemory, ptr); }14 // nothrow new/delete15 static void* operator new(std::size_t size, const std::nothrow_t& nt) throw()16 { return ::operator new(size, nt); }17 static void operator delete(void *pMemory, const std::nothrow_t&) throw()18 { ::operator delete(pMemory); }19 };
客户如果想在自定义版本的基础上增加标准版本，只需要继承这个基类然后使用using声明就可以(Item 33）获得标准版本：
1 class Widget: public StandardNewDeleteForms { // inherit std forms 2 3 public: 4 5 6 using StandardNewDeleteForms::operator new; // make those 7 8 using StandardNewDeleteForms::operator delete; // forms visible 9 10 static void* operator new(std::size_t size, // add a custom11 12 13 std::ostream& logStream) // placement new14 throw(std::bad_alloc);15 static void operator delete(void *pMemory, // add the corres16 std::ostream& logStream) // ponding place17 throw(); // ment delete18 ...19 };
5. 总结
- 当你实现operator new的placement版本的时候，确保实现与之相对应的operator delete placement版本。如果你不进行实现，有的程序会发生微妙的，间歇性的内存泄漏。
- 当你声明new和delete的placement版本的时候，确保不要无意间隐藏这些函数的普通版本。
读书笔记 effective c++ Item 52 如果你实现了placement new,你也要实现placement delete