Невозможно использовать специализацию std :: hash для Pointer-to-Member?

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

Вы должны определить специализацию, прежде чем использовать его.

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

Используйте его.

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

Answer 3

изменить объявление, чтобы структура:

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

Нестатические функции-члены имеют скрытый параметр, соответствующий этому указателю, поэтому компилятор происходит.