SGI STL提供的标准std::allocator中的_allocate函数代码如下:

template<class T>

inline T* _allocate(ptrdiff_t size,T*)

{

    set_new_handler();

    T* tmp=(T*)(operator new((size_t)(size*sizeof(T))));

    if(tmp==)

    {

        cerr<<"out of memory"<<endl;

        exit();

    }

    return tmp;

}

现在的C++标准中，operator new的原型为： void* operator new(std::size_t size) throw(std::bad_alloc),在operator new分配内存失败的时候自动调用new_handler,如果new_handler为NULL,则抛出bad_alloc异常,既然抛出异常，那么代码中的if语句的处理就显得多余，岂不画蛇添足？

原来，在1993年之前的C++中，operator new的原型为: void* operator new(std::size_t size) throw(),分配失败时返回NULL，不抛出异常。所以这里是为了兼容过去的编译器才出现了if的处理，使之能适应新旧C++编译器。