Question

如何创建一个模板类，可以理解类型T是否可以清除，如果是，则使用std::unodered_set来收集类型为T的元素？否则，我希望它使用std::set。

此类具有与上述sets相同的简单方法，例如insert(), find()等。

template<class T>
class MySet {
public:
    MySet() {}
    bool find() {
    //some code here

我检查类型是否有operator()来获取有关其＆＃34; hashability＆＃34;的信息。为此，我使用以下构造，我在本网站上找到了：

template<typename T>
class HasHash {
    typedef char one;
    typedef long two;

    template<typename C>
    static one test(decltype(&C::operator()));

    template<typename C>
    static two test(...);

public:
    enum {
        value = sizeof(test<T>(0)) == sizeof(size_t)
    };
};

通过输入以下内容获取是否可以删除（真或假）

HasHash<HashableType>::value

我无法使用boost库。

Answer 1

如果您有is_hashable<T>类型特征（例如您的HasHash），那么您可以使用std::conditional，如下所示：

template <typename T>
std::conditional<is_hashable<T>::value, std::unordered_set<T>, std::set<T>>::type

或者如果你使用的是C ++ 17，它可以简化为：

template <typename T>
inline constexpr bool is_hashable_v = is_hashable<T>::value;

template <typename T>
std::conditional_t<is_hashable_v<T>, std::unordered_set<T>, std::set<T>>;

（假设您还实现了特征的_v版本。）

关于确定可持续性的一些额外讨论，这也很有趣：

Check if type is hashable

在网站上。

Answer 2

这是一个完整的工作示例，假设您使用的是std::hash。

#include <iostream>
#include <set>
#include <unordered_set>
#include <type_traits>
#include <functional>

using std::cout;
using std::endl;

template <typename...> using void_t = void;

template <typename, typename = void>
struct is_hashable : std::false_type { };
template <typename T>
struct is_hashable<T, void_t<decltype(std::hash<T>{})>> : std::true_type { };

template <typename T>
using set = typename std::conditional<
  is_hashable<T>::value, std::unordered_set<T>, std::set<T>
>::type;

template <typename T> void test() { cout << __PRETTY_FUNCTION__ << endl; }

struct dummy_type { };

int main(int argc, char* argv[]) {
  cout << std::boolalpha;
  cout << is_hashable<int>::value << endl;
  cout << is_hashable<dummy_type>::value << endl;

  test<set<int>>();
  test<set<dummy_type>>();
}

输出应类似于

true
false
void test() [with T = std::unordered_set<int, std::hash<int>, std::equal_to<int>, std::allocator<int> >]
void test() [with T = std::set<dummy_type, std::less<dummy_type>, std::allocator<dummy_type> >]

修改： is_hashable专业化也可以在不使用void_t的情况下完成，如下所示：

template <typename T> struct is_hashable<T, decltype(std::hash<T>{},void())> : std::true_type { };

如何创建可以为T选择特殊容器的模板类？

2 个答案: