理解C++ new-handler机制

     ~~~~     当 operator new 不能满足一个内存分配请求时，它在抛出一个 exception（std::bad_alloc异常）之前，会先去调用用户指定的函数：error-handling function（错误处理函数）。这并不完全确切，operator new 真正做的事情比这个稍微复杂一些。
     ~~~~     为了指定 out-of-memory-handling function，客户调用 set_new_handler ——一个在 中声明的标准库函数：

namespace std {
　typedef void (*new_handler)();
　new_handler set_new_handler(new_handler p) throw();
}

     ~~~~     就像你能够看到的，new-handler是一个指针的typedef，这个指针指向不取得和返回任何东西函数，而set_new_handler 是一个取得和返回一个 new_handler 的函数。（set_new_handler 的声明的结尾处的 “throw()” 是一个 exception specification（异常规范）。它基本上是说这个函数不会抛出任何异常，尽管真相更有趣一些。
     ~~~~     set_new_handler 的形参是一个指向函数的指针，这个函数是 operator new 无法分配被请求的内存时应该调用的。set_new_handler 的返回值是一个指向函数的指针，这个函数是 set_new_handler 被调用前有效的目标。
     ~~~~     你可以像这样使用 set_new_handler：

// function to call if operator new can't allocate enough memory
void outOfMem()
{
　std::cerr << "Unable to satisfy request for memory\n";
　std::abort();
}
int main()
{
　std::set_new_handler(outOfMem);
　int *pBigDataArray = new int[100000000L];
　...
}

     ~~~~     如果 operator new 不能为 100,000,000 个整数分配空间，outOfMem 将被调用，而程序将在发出一个错误信息后中止。（顺便说一句，考虑如果在写这个错误信息到 cerr… 的过程中内存必须被动态分配会发生什么。）

     ~~~~     当 operator new 不能满足一个内存请求时，它反复调用 new-handler function 直到它能找到足够的内存。但是从这种高层次的描述已足够推导出一个设计得好的 new-handler function 必须做到以下事情之一：

• Make more memory available（使得更多的内存可用）。这可能使得 operator new 中下一次内存分配的尝试成功。实现这一策略的一个方法是在程序启动时分配一大块内存，然后在 new-handler 第一次被调用时释放它供程序使用。
• Install a different new-handler（安装一个不同的 new-handler）。如果当前的 new-handler 不能做到使更多的内存可用，或许它知道有一个不同的 new-handler 可以做到。如果是这样，当前的 new-handler 能在它自己的位置上安装另一个 new-handler（通过调用 set_new_handler）。operator new 下一次调用 new-handler function 时，它会得到最近安装的那一个。（这个主线上的一个变化是让一个 new-handler 改变它自己的行为，这样，下一次它被调用时，可以做一些不同的事情。做到这一点的一个方法是让 new-handler 改变能影响 new-handler 行为的 static（静态），namespace-specific（名字空间专用）或 global（全局）的数据。）
• Deinstall the new-handler（卸载 new-handler），也就是，将空指针传给 set_new_handler。没有 new-handler 被安装，当内存分配没有成功时，operator new 抛出一个异常。
• Throw an exception（抛出一个异常），类型为 bad_alloc 或继承自 bad_alloc 的其它类型。这样的异常不会被 operator new 捕获，所以它们将被传播到发出内存请求的地方。 -Not return（不再返回），典型情况下，调用 abort 或 exit。

     ~~~~     这些选择使你在实现 new-handler functions 时拥有极大的弹性。