set_new_handler C++ new分配失败

 

当运算符new找不到足够大的连续内存块来为对象分配内存时将会发生什么？一个称为 new-handler的函数被调用。

对于new-handler的缺省动作是抛出一个异常。然而，如果我们在程序里用堆分配，至少要用“内存已用完”的信息代替 new-handler，并异常中断程序。用这个办法，在调试程序时会得到程序出错的线索。

通过包含NEW. H，然后以我们想装入的函数地址为参数调用set_new_handler( )函数，这样就替换了new-handler。

typedef void (*new_handler)(); 

new_handler set_new_handler(new_handler p) throw(); 

可以看到，new_handler是一个自定义的函数指针类型，它指向一个没有输入参数也没有返回值的函数。

set_new_handler则是一个输入并返回new_handler类型的函数。set_new_handler的输入参数是operator new分配内存失败时要调用的出错处理函数的指针，返回值是set_new_handler没调用之前就已经在起作用的旧的出错处理函数的指针。

#include

#include

#include

void __cdecl newhandler()

{

   cout << "The new_handler is called:" << endl;

   throw bad_alloc();

   return;

}

int main()

{

   set_new_handler (newhandler);

   try

   {

      while (1)

      {

         new int[5000000];

         cout << "Allocating 5000000 ints." << endl;

      }

   }

   catch ( exception e )

   {

      cout << e.what() << " xxx" << endl;

   }

}

程序输出:

Allocating 5000000 ints.

       ……

Allocating 5000000 ints.

The new_handler is called:

bad allocation

以上例子程序在VC6.0环境下不能编译通过，但在dev_c++中可以通过编译，虽然没试过但相信在gcc下同样可以实现。如果在VC6.0环境下编译，那么必须用_set_new_handler而非set_new_handler, 下面是一个VC6.0下面的例子。

#include

#include

#include

int __cdecl memory(size_t )

{

    cout<<"内存耗尽！"<

    exit(0);

}

void main()

{  

    ::_set_new_handler(memory);

    while ( 1 )

      {

         new int[5000000];

         cout << "Allocating 5000000 ints." << endl;

      }

}

程序输出:

Allocating 5000000 ints.

       ……

Allocating 5000000 ints.

内存耗尽！

一个设计得好的new-handler函数必须实现下面功能中的一种：

产生更多的可用内存：这将使operator new下一次分配内存的尝试有可能获得成功。实施这一策略的一个方法是：在程序启动时分配一个大的内存块，然后在第一次调用new-handler时释放。释放时伴随着一些对用户的警告信息，如内存数量太少，下次请求可能会失败，除非又有更多的可用空间。

安装另一个不同的new-handler函数：如果当前的new-handler函数不能产生更多的可用内存，可能它会知道另一个new-handler函数可以提供更多的资源。这样的话，当前的new-handler可以安装另一个new-handler来取代它(通过调用set_new_handler)。下一次operator new调用new-handler时，会使用最近安装的那个。(这一策略的另一个变通办法是让new-handler可以改变它自己的运行行为，那么下次调用时，它将做不同的事。方法是使new-handler可以修改那些影响它自身行为的静态或全局数据。

卸除new-handler：也就是传递空指针给set_new_handler。没有安装new-handler，operator new分配内存不成功时就会抛出一个标准的std::bad_alloc类型的异常。

抛出std::bad_alloc或从std::bad_alloc继承的其他类型的异常：这样的异常不会被operator new捕捉，所以它们会被送到最初进行内存请求的地方。(抛出别的不同类型的异常会违反operator new异常规范。规范中的缺省行为是调用abort，所以new-handler要抛出一个异常时，一定要确信它是从std::bad_alloc继承来的。

没有返回：典型做法是调用abort或exit。abort/exit可以在标准c库中找到