std :: unique_ptr、deletersおよびWin32 API

Question

VC2012では、コンストラクタ内に一意のポインタとディテクタを使用してミューテックスを作成したいので、CloseHandleを呼び出すだけでデストラクタを作成する必要はありません。

私はこれが働くだろうと思っているだろう：

struct foo 
{ 
    std::unique_ptr<HANDLE, BOOL(*)(HANDLE)> m_mutex; 
    foo() : m_mutex(CreateMutex(NULL, FALSE, NULL), CloseHandle) {} 
} 

が、私はエラーを取得するコンパイル上：

error C2664: 'std::unique_ptr<_Ty,_Dx>::unique_ptr(void *,int 
(__cdecl *const &)(HANDLE)) throw()' : cannot convert parameter 1 from 
'HANDLE' to 'void *' 

私はこのようにコンストラクタを変更する場合：

foo() : m_mutex((void*)CreateMutex(NULL, FALSE, 
    (name + " buffer mutex").c_str()), CloseHandle) {} 

私はさらに珍しい：

error C2664: 'std::unique_ptr<_Ty,_Dx>::unique_ptr(void *, 
int (__cdecl *const &)(HANDLE)) throw()' : cannot convert 
parameter 1 from 'void *' to 'void *' 

私は今失業しています。 HANDLEはvoid *のtypedefです：私が知る必要のある変換マジックはありますか？

Answer 1

今のところカスタムディレクターについては忘れてしまいます。 std::unique_ptr<T>と指定すると、は、T*を受け取りますが、CreateMutexは、HANDLE *ではなく、HANDLEを返します。

この問題を解決するには3通りの方法があります。

std::unique_ptr<void, deleter> m_mutex; 

あなたはvoid *にCreateMutexの戻り値をキャストする必要がありますが。

もう1つの方法はstd::remove_pointerを使用してHANDLEの基になるタイプにすることです。これを行うには

std::unique_ptr<std::remove_pointer<HANDLE>::type, deleter> m_mutex; 

さらにもう1つの方法は、その後、unique_ptrは、その管理オブジェクトポインタの代わりに、T*ため、そのタイプを使用しますが、もしunique_ptrのデリータはpointerという名前のネストされたタイプが含まれているという事実を利用することです。

struct mutex_deleter { 
    void operator()(HANDLE h) 
    { 
    ::CloseHandle(h); 
    } 
    typedef HANDLE pointer; 
}; 
std::unique_ptr<HANDLE, mutex_deleter> m_mutex; 
foo() : m_mutex(::CreateMutex(NULL, FALSE, NULL), mutex_deleter()) {} 

---

あなたはデリータようなタイプの関数へのポインタを渡したい場合は、WindowsのAPIを扱うときに今、あなたはまた、関数ポインタを作成するときに呼び出し規約に注意を払う必要があります。

ので、CloseHandleへの関数ポインタはそれのすべてを組み合わせると、この

BOOL(WINAPI *)(HANDLE) 

、

std::unique_ptr<std::remove_pointer<HANDLE>::type, 
       BOOL(WINAPI *)(HANDLE)> m_mutex(::CreateMutex(NULL, FALSE, NULL), 
               &::CloseHandle); 

のように見える必要があり、私はそれが簡単に代わり

std::unique_ptr<std::remove_pointer<HANDLE>::type, 
       void(*)(HANDLE)> m_mutex; 
foo() : m_mutex(::CreateMutex(NULL, FALSE, NULL), 
       [](HANDLE h) { ::CloseHandle(h); }) {} 

をラムダを使用することを見つけますまた、@hjmdのコメントのように、decltypeを使ってe関数ポインタの型。

std::unique_ptr<std::remove_pointer<HANDLE>::type, 
       decltype(&::CloseHandle)> m_mutex(::CreateMutex(NULL, FALSE, NULL), 
                &::CloseHandle); 

Answer 2

問題は、あなたが実際に（HANDLE *）を扱う型へのポインタを保持しているunque_ptrを定義ですが、あなたはそれへのポインタ、ハンドルではなく通過します。

Answer 3

HANDLE/HANDLE*の全号がどのように作用するかを指摘している人もいます。興味深い機能を使用して、それに対処するより洗練された方法があります。std::unique_pointer

struct WndHandleDeleter 
{ 
    typedef HANDLE pointer; 

    void operator()(HANDLE h) {::CloseHandle(h);} 
}; 

typedef std::unique_ptr<HANDLE, WndHandleDeleter> unique_handle; 

これはunique_handle::getは、任意の空想std::remove_pointerまたは他のそのようなことなしに、HANDLE代わりのHANDLE*を返すことができます。

これは、HANDLEがポインタであり、したがってNullablePointerを満たすために機能します。