无法使用std :: hash专业化指针到成员？

Question

我假设std :: hash的泛型指针类型的特殊化可以用于指向成员的指针，但是我无法像这样使用它;相反，我的编译器给了我一个“不完整类型”的错误，我假设这意味着'没有使用std :: hash的特化指针？这是怎么回事？

#include <functional>

struct foo{
    void bar(int a){}
};

int main(){
    std::hash<void (foo::*)(int)> hasher;
}

错误：

..\src\m.cpp:43:32: error: aggregate 'std::hash<void (foo::*)(int)> hasher' has incomplete type and cannot be defined

Answer 1

麻烦的是指向成员的指针并不是真正的指针;他们碰巧有类似的名字和类似的语法。 std::hash专门用于普通指针，但不适用于指向成员的指针。你当然可以自己专攻，但如果有办法保证安全，我就没有看到它;除了取消引用它之外，你可以使用指向成员的指针，或将其转换为其他指向成员的指针。

Answer 2

将struct声明更改为：

struct foo{
    static void bar(int a){}
};

非静态成员函数有一个与this指针对应的隐藏参数，这就是编译器发生的原因。

Answer 3

您必须先定义专业化才能使用它。

namespace std
{
   template <>
   struct std::hash<void (foo::*)(int)>
   {
       // Implement the class.
   };
}

使用它。

int main(){
    std::hash<void (foo::*)(int)> hasher;
}