c语言handler指针,详解C++ new-handler机制

当 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(异常规范)。它基本上是说这个函数不会抛出任何异常，尽管真相更有趣一些。

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 exce