C++箴言：理解new-handler的行为 （1）

     来源：Blog    作者：fatalerror99

当 operator new 不能满足一个内存分配请求时，它抛出一个 exception（异常）。很久以前，他返回一个 null pointer（空指针），而一些比较老的编译器还在这样做。你依然能达到以前的目的（在一定程度上），但是我要到本文的最后再讨论它。

　　在 operator new 因回应一个无法满足的内存请求而抛出一个 exception 之前，它先调用一个可以由客户指定的被称为 new-handler 的 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（异常规范）。它基本上是说这个函数不会抛出任何异常，尽管真相更有趣一些。关于细节，参见《C++箴言：争取异常安全的代码》。）

　　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... 的过程中内存必须被动态分配会发生什么。）