26

在 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：我需要了解一些转换魔法吗？

4

3 回答 3

48

现在忘记自定义删除器。当您说std::unique_ptr<T>时，unique_ptr构造函数期望接收 a T*，但CreateMutex返回 a HANDLE，而不是 a HANDLE *。

有 3 种方法可以解决此问题：

std::unique_ptr<void, deleter> m_mutex;

您必须将返回值CreateMutex转换为 a void *。

另一种方法是使用std::remove_pointer获取HANDLE的基础类型。

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

另一种方法是利用这样一个事实，即如果unique_ptr的删除器包含一个名为 的嵌套类型pointer，那么unique_ptr将使用该类型作为其托管对象指针而不是T*.

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);

我发现使用 lambda 更容易

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用于推断函数指针的类型。

std::unique_ptr<std::remove_pointer<HANDLE>::type, 
                decltype(&::CloseHandle)> m_mutex(::CreateMutex(NULL, FALSE, NULL),
                                                  &::CloseHandle);
于 2013-02-12T20:50:59.447 回答
34

其他人指出了整个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返回HANDLE而不是返回HANDLE*，没有任何花哨std::remove_pointer或其他类似的东西。

这是有效的，因为HANDLE它是一个指针，因此满足 NullablePointer。

于 2013-02-12T21:20:17.157 回答
1

问题是您实际上定义了保存指向句柄 (HANDLE*) 类型的指针的 unque_ptr，但您只传递了 HANDLE，而不是指向它的指针。

于 2013-02-12T20:51:25.160 回答