如何散列和比较指向成员函数的指针？

Question

我如何散列(std :: tr1 :: hash或boost :: hash)一个c ++指向成员函数的指针？

例:

我有几个bool(Class ::*functionPointer)()(不是静态的)指向类Class的几个不同的方法,我需要散列那些指向成员函数的指针.

我怎样才能做到这一点？

另外我如何比较(std :: less)那些成员函数指针,以便我可以将它们存储在std :: set中？

Answer 1

所有C++对象(包括指向成员函数的指针)都在内存中表示为chars数组.所以你可以尝试:

bool (Class::*fn_ptr)() = &Class::whatever;
const char *ptrptr = static_cast<const char*>(static_cast<const void*>(&fn_ptr));

现在将其ptrptr视为指向一个(sizeof(bool (Class::*)()))字节数组,并对这些字节进行散列或比较.如果您愿意,可以使用unsigned char而不是char.

这保证没有误报 - 在C++ 03中,指向成员函数的指针是POD,这意味着可以使用memcpy复制它们.这意味着如果具有相同的逐字节值,则它们是相同的.

问题是成员函数指针的存储表示可能包括不参与值的位 - 因此对于指向同一成员函数的不同指针它们不一定相同.或者,由于某些不明原因,编译器可能有多种方法指向同一个类的相同函数,这些函数在字节方面不相等.无论哪种方式,你都可以得到假阴性.您将不得不研究成员函数指针如何实际对您的实现起作用.它必须operator==以某种方式实现成员函数指针,如果你能找到如何,那么你可以找出一个顺序和一个哈希函数.

这可能很难:成员函数指针很笨拙,根据指向的函数类型(虚拟,继承),存储可能包含不同数量的非参与"松弛空间".因此,您可能必须与编译器的实现细节进行非常重要的交互.本文可能有助于您入门:http://www.codeproject.com/KB/cpp/FastDelegate.aspx

更简洁的替代方法可能是通过数组进行线性搜索,以便"规范化"所有函数指针,然后根据数组中该函数指针的"规范"实例的位置进行比较和散列.取决于您的性能要求.即使有需求,类(及其派生类)是否具有如此多的函数,线性搜索将花费那么长时间？

typedef bool (Class::*func)();
vector<func> canon;

size_t getIndexOf(func fn_ptr) {
    vector<func>::iterator it = find(canon.begin(), canon.end(), fn_ptr);
    if (it != canon.end()) return it - canon.begin();
    canon.push_back(func);
    return canon.size() - 1;
}