如何使用 SFINAE 区分 MyMap、std::map 和 std::unordered_map？

Question

我想创建一个可以使用任何地图实现的结构。 我们称之为MapHolder。目前，它看起来像这样：

template<template<class, class, class...> class MapType>
struct MapHolder
{
  MapType<int, int> m_map;
}

这适用于任何地图。

但我也想尽可能使用自定义比较器/分配器/哈希：

 // Works only with std::unordered_map
 MapType<int, int, my::hash<int>> m_map;

或者

 // Works only with std::map
 MapType<int, int, std::greater<>> m_map;

并且它只会使用其中一个类进行编译。

SFINAE 不能帮我让编译器选择最合适的声明吗（即第一个声明 MapHolder<MyMap>，第二个声明 MapHolder<std::unordered_map> 等等）？

Answer 1

我会在这里使用部分模板特化。比如：

template<template<class, class, class...> class MapType>
struct MapHolder
{
private:
   template <typename> struct ThirdArgument;

   template <typename K,  typename V, typename C, typename A>
   struct ThirdArgument<std::map<K, V, C, A>>
   {
      using type = std::greater<K>;
   };

   template <typename K,  typename V, typename H, typename E, typename A>
   struct ThirdArgument<std::unordered_map<K, V, H, E, A>>
   {
      using type = std::hash<K>;
   };

public:
   MapType<int, int,
      typename ThirdArgument<MapType<int, int>>::type
   > m_map;
};

int main()
{
    MapHolder<std::map> m1;
    MapHolder<std::unordered_map> m2;
}

现场演示：https://godbolt.org/z/mEaFZv。