デフォルトのoperator newの実装例

規格通りにデフォルトの挙動を実装してみた。

なんでget_new_hander()がないのだろう。

placement deleteの呼ばれる条件というのが、極めてレアだ。placement newに対応する同じ引数のplacement deleteは、ストレージの確保には成功したが、オブジェクトのコンストラクターが例外を投げた場合に呼ばれる。

結局、operator newというのは、new式のオーバーロードではなく、new式で使われるallocation functionのオーバーロードだというのが、問題をややこしくしている。

この際、new式の挙動を詳しく説明すべきだろう。

void * operator new ( std::size_t size ) throw( std::bad_alloc )
{
    if ( size == 0 ) size = 1 ;

    // Executes a loop: Within the loop,
    while( true )
    {
        // the function first attempts to allocate the requested storage.
        void * ptr = std::malloc( size ) ;

        // if the attempt is successful
        if ( ptr != nullptr )
        {// Returns a pointer to the allocated storage
            return ptr ;
        }

        // Otherwise, 
        std::new_handler handler = std::set_new_handler( nullptr ) ;
        std::set_new_handler( handler ) ;

        // if the argument in the most recent call to set_new_handler() was a null pointer,
        if ( handler == nullptr )
        {// throws bad_alloc.
            throw std::bad_alloc() ;
        }

        // Otherwise, the function calls the current new_handler function.
        handler() ;
        // If the called function returns, the loop repeats.
    }
}

void * operator new( std::size_t size, const std::nothrow_t & ) throw()
{
    try {
        // Calls operator new(size).
        // If the call returns normally, returns the result of that call. 
        return operator new( size ) ;
    } catch( ... )
    {
        // Otherwise, returns a null pointer.
        return nullptr ;
    }
}

void operator delete( void * ptr ) throw()
{
    // If ptr is null, does nothing.(std::free does nothing too)
    // Otherwise, reclaims the storage allocated by the earlier call to operator new.
    std::free( ptr ) ;
}

void operator delete(void * ptr, const std::nothrow_t & ) throw()
{
        // calls operator delete(ptr).
        operator delete( ptr ) ;
}