C++如何将方法作为模板参数传递

Question

假设我有一个类 X：

class X {
    // ...
    size_t hash() const { return ...; }
};

我想创建一个 std::tr1::unordered_map 我想传入的地方 X::hash() 为 HashFn。我知道我可以声明我自己的函子对象。我觉得 应该有一种方法可以通过直接传递指向 X::hash() 的指针来做到这一点。

有没有？

Answer 1

不;正如您所展示的，您需要一个小的实用程序结构：

#include <functional>

template<typename T, std::size_t (T::*HashFunc)() const = &T::hash>
struct hasher : std::unary_function<T, std::size_t>
{
    std::size_t operator ()(T const& t) const
    {
        return (t.*HashFunc)();
    }
};

然后您可以创建一个 unordered_map ，如下所示：

std::tr1::unordered_map<X, int, hasher<X> > m;

Answer 2

不，没有。原因是无论用作 HashFn 的任何内容都必须采用单个参数，该参数是对容器中对象的 const 引用。 X::hash 采用单个参数，该参数是指向容器中对象的 const 指针（this 指针是隐式的第一个参数这种情况），所以单独使用该函数是不可能的。

您可能使用一些绑定魔法，使用 boost::lambda 和 boost::bind。我不太确定如何，但它可能看起来像这样：

boost::bind(&X::hash, &_1);

它创建一个函数对象，它将用指针调用 X::hash 。

Answer 3

size_t hash() const { return ...;}

计算哈希值的函数采用一个 Key 类型的参数，而您的函数不采用该参数。因此它的签名一开始就是错误的。

由于您想要实现一个函数，而不是一个函子，因此应该如何完成：

size_t hash(const KeyType &key) 
{
    return /*calculate hash and return it*/;
}

将其设为 static 成员函数并将其作为 X::hash 传递或 make它是一个免费功能，由您选择。

Answer 4

不能直接贴，但是可以包起来。最简单的方法是使用 boost::mem_fn() 或标准等效项（如果您的编译器支持）：tr1::mem_fn()（来自 TR1）或 std::mem_fn() （来自 C++11）。

编辑：实际上事情没那么简单。 mem_fn() 对于函数参数来说可以正常工作，但由于其返回类型未指定，因此很难用作模板参数。如果您有 C++11 支持，您可以使用 decltype 来查找类型；否则，您可能最好像您提到的那样编写自己的函数对象。