部分模板专用化失败

Partial Template Specialization Failed

本文关键字：失败 专用      更新时间：2023-10-16

我正在尝试利用C++的部分模板专业化功能。

// for HashMap
template <typename Key, typename Val>
struct GlobalHash : public unary_functor<HashCode, const MapPair<Key, Val>&> {
HashCode operator()(const MapPair<Key, Val> &obj) override {
return HashFuncs::global_hashf(reinterpret_cast<const char *>(&obj.key), sizeof(obj.key));
}
};
template <typename T>
struct GlobalHash<T, char> : public unary_functor<HashCode, const T&> {
HashCode operator()(const T &obj) override {
return HashFuncs::global_hashf(reinterpret_cast<const char *>(&obj), sizeof(T));
}
};
// real Hash Set
template <class Obj, class hashf = GlobalHash<Obj>>
class HashSet {
...
}

我希望HashSet声明的第二个模板参数hashf对应于结构体GlobalHash的第一个声明，即具有 2 个模板参数的声明。看起来，编译器无法这样做，告诉我类模板GlobalHash需要 2 个模板参数。

如何让它采用带有 1 个参数的类模板？很多谢谢!!

如果希望模板参数具有默认值，可以这样编写：

template <typename Key, typename Val = char>
struct GlobalHash : public ....... {
.........
};

现在GlobalHash<int>是GlobalHash<int, char>的缩写。

相关文章：