如何定义具有两个相对参数的模板函数

Question

我正在尝试定义一个函数，它允许我们调用标准哈希函数或一些自定义函数，并返回哈希值。

这是一个关于如何使用我的函数的示例：

auto res = myfunc<std::hash>(2);    //hash the integer 2 with the function std::hash
auto res2 = myfunc<std::hash>("abc");    // hash the string "abc" with the function std::hash
auto res3 = myfunc<customHasher>(2);    // hash the integer 2 with some custom hash function

我尝试编写如下代码：

template<void (*T)(U)>
size_t myfunc(const U &u)
{
    return T<U>(u);
}

T应该是函数指针，std::function或者lambda，U是T的参数类型。

但是无法编译。

main.cpp:14:23: error: expected ‘>’ before ‘(’ token
     template<void (*T)(U)>
                       ^
main.cpp:15:25: error: ‘U’ does not name a type
     size_t myfunc(const U &u)
                         ^
main.cpp: In function ‘size_t myfunc(const int&)’:
main.cpp:17:18: error: ‘U’ was not declared in this scope
         return T<U>(u);

好吧，我知道template<void (*T)(U)> 一定是错误的，因为U 没有定义。但我不知道如何解决它。

Answer 1

您需要声明这两个参数。而且，std::hash 是一个类模板，而不是一个函数。您可以使用模板模板参数：

#include <cstdint>
#include <functional>
#include <iostream>
#include <string>

template<typename T, template<typename> typename H = std::hash>
std::size_t myfunc(const T &t)
{
    return H<T>{}(t);
}

int main() {
    std::cout << myfunc(std::string{"123"});
}

不过，要将其用于您的 customHasher，它也需要是一个类模板（带有 operator()）。

注意需要在main中显式构造一个字符串，否则T不能推导出为std::string。