可以使用std :: hash来散列函数指针吗？

Question

可以使用C ++ 11 std::hash类型来散列函数指针吗？ hash部分特化定义为

template <typename T> struct hash<T*>;

但由于函数指针与C ++中的其他指针类型不同（例如它们不能转换为void* ），我不确定将它用于int(*)()或void(*)(int, int)等类型是否安全void(*)(int, int) 。

这是允许的吗？ 新的ISO规范中是否有任何特定的措辞支持或驳斥这一点？

谢谢！

Answer 1

好问题。 我肯定不知道答案，我很乐意推荐给比我更有知识的人，但我的想法是，即使函数指针与数据指针不同，它们仍然是指针：所以应该应用std::hash<T*>部分特化。

对于它的价值，以下编译没有警告，即使在g ++ 4.8.1和clang 3.3中使用-pendantic ，并按预期工作：

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

}

我真的很感兴趣，如果有人有任何参考标准来支持这一点。

Answer 2

我找到了以下内容：

17.6.3.4哈希要求

如果出现以下情况，H类型符合Hash要求：

• 它是一个函数对象类型（20.8）

[...]

然后，引用的20.8状态：

函数对象类型是对象类型（3.9），它可以是函数调用中的postfix-expression的类型（5.2.2,13.3.1.1）.228函数对象是函数对象类型的对象。 在人们期望将指向函数的指针传递给算法模板的地方（第25条），接口被指定为接受函数对象。 这不仅使算法模板与函数指针一起使用，而且使它们能够使用任意函数对象。

它有点向后陈述......但声明不仅使算法模板与函数指针一起工作......似乎适合你的问题。

Answer 3

这真的很有趣......我在使用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 ++上编译。