現状のshared_ptrの設計がまずい

// platform-specific handle type for resources.
typedef unsigned int handle_type ;

// platform-specific resource allocator and de-allocator function.
handle_type allocator() ;
void deallocator( handle_type handle ) ;

// user defined deleter.
struct handle_deleter
{
        typedef handle_deleter type ;
        typedef handle_type pointer ;

        void operator () ( handle_type handle ) const
        { deallocator( handle ) ; }
} ;

int main()
{
        // allocate a resource.
        // because of deleter, 
        // unique_ptr< handle_type, handle_deleter >::pointer is type of handle_type.
        // Not the handle_type *
        std::unique_ptr< handle_type, handle_deleter > handle( allocator() ) ;

        // move a resource to shared_ptr.
        // ill-fomed.
        // Because shared_ptr expects handle_type *.
        std::shared_ptr< handle_type > ptr( std::move(handle) ) ;
}

これはまずい。unique_ptrと違いすぎる。これでは、自前デリーターが使えない。

shared_ptrは、unique_ptrに合わせるべきではないだろうか。

しかしその場合、現行のshared_ptrにある、便利でType Erasureなデリーター指定が使えない。難しいものだ。