Можно ли использовать std::hash для указателей хеш-функций?

Отличный вопрос. Я не знаю точного ответа, и я буду рад обратиться к любому, кто знает лучше меня, но я думаю, что хотя указатели на функции и не то же самое, что указатели на данные, тем не менее они являются указателями: так что std::hash<T*> следует применять частичную специализацию.

Что бы это ни стоило, следующее компилируется без предупреждений даже с -pendantic в g++ 4.8.1 и clang 3.3 и работает как положено:

#include <functional>
#include <iostream>

void func1(int) {}
void func2(int) {}

int main()
{
    typedef void (*func_type) (int);

    std::hash<func_type> hash;

    std::cout << hash(func1) << std::endl;
    std::cout << hash(func2) << std::endl;

}

Мне было бы очень интересно, если бы у кого-нибудь были ссылки на стандарт, подтверждающие это.

Я нашел следующее:

17.6.3.4 Требования к хешу

Тип H соответствует требованиям к хэшу, если:

• это тип объекта функции (20.8)

[...]

И затем в упомянутом 20.8 говорится:

Тип объекта функции — это тип объекта (3.9), который может быть типом постфиксного выражения в вызове функции (5.2.2, 13.3.1.1)228. Объект функции — это объект типа объекта функции. В тех местах, где можно было бы ожидать передачи указателя на функцию в алгоритмический шаблон (раздел 25), указывается, что интерфейс принимает объект функции. Это не только заставляет алгоритмические шаблоны работать с указателями на функции, но также позволяет им работать с произвольными объектами функций.

Это как бы утверждает обратное... но утверждение не только заставляет алгоритмические шаблоны работать с указателями на функции... кажется подходящим для вашего вопроса.

Это действительно интересно... Я столкнулся с этим вопросом при использовании MSVC++. Я пытаюсь сделать следующее:

static std::unordered_map<Fun, std::string> FunctionMap()
{
    static std::unordered_map<Fun, std::string> map;
    return map;
}

с Fun тип указателя на функцию.

Во время компиляции получаю следующую ошибку:

error C2338: The C++ Standard doesn't provide a hash for this type.
....
_Kty=int (__thiscall Testje::* )(int,int)

В предыдущей попытке я попытался привести указатель функции к void*, что не разрешено и не компилируется (см.: https://isocpp.org/wiki/faq/pointers-to-members#cant-cvt-memfnptr-to-voidptr для подробностей) . Причина в том, что void* — это указатель на данные, а указатель на функцию — это указатель на код.

Мой вывод на данный момент заключается в том, что это не разрешено и не будет компилироваться в MSVC++.