C++检测模板类

Question

template<typename T>
struct check
{
  static const bool value = false;
};

我想做的是拥有check<T>::value当且仅当 T 为真是 std::map<A,B>或 std::unordered_map<A,B>和两个A和 B是std::string .所以基本上 check启用类型的编译时检查 T .我该怎么做？

Answer 1

当您想要允许任何比较器、哈希器、键等于比较器和分配器时的部分特化:

template<class Comp, class Alloc>
struct check<std::map<std::string, std::string, Comp, Alloc>>{
  static const bool value = true;
};

template<class Hash, class KeyEq, class Alloc>
struct check<std::unordered_map<std::string, std::string, Hash, KeyEq, Alloc>>{
  static const bool value = true;
};

如果你想检查 T使用了这些类型的默认版本(也就是 map<A,B> 而不是 map<A,B,my_comp> ，您可以省略模板参数并进行显式特化:

template<>
struct check<std::map<std::string, std::string>>{
  static const bool value = true;
};

template<>
struct check<std::unordered_map<std::string, std::string>>{
  static const bool value = true;
};

如果你想检查它是否是 std::map或 std::unordered_map任何键/值组合(和比较器/哈希器/等)，你可以完全通用，如取自 here :

#include <type_traits>

template < template <typename...> class Template, typename T >
struct is_specialization_of : std::false_type {};

template < template <typename...> class Template, typename... Args >
struct is_specialization_of< Template, Template<Args...> > : std::true_type {};

template<class A, class B>
struct or_ : std::integral_constant<bool, A::value || B::value>{};

template<class T>
struct check
  : or_<is_specialization_of<std::map, T>,
       is_specialization_of<std::unordered_map, T>>{};