通过 SFINAE 对容器进行 C++ 测试

Question

在 C++17 中，我试图通过检查 value_type (mapped_type) 的存在来检测容器（地图）。然而，虽然它似乎对unordered_set<int> 有效，但它对unordered_set<int*> 却失败了，我觉得这很奇怪。你能告诉我为什么以及如何正确地做到这一点吗？

  template<class N, class T = int>
  struct is_container { static const bool value = false; };
  template<class N>
  struct is_container<N, typename N::value_type> { static const bool value = true; };
  template<class N>
  static constexpr bool is_container_v = is_container<remove_reference_t<N>>::value;


int main()
{
  cout << is_container_v<unordered_set<int>&> << '\n';
  cout << is_container_v<unordered_set<int*>&> << '\n';
}

输出：

1
0

PS：我见过this question 会根据begin() 的存在进行过滤，但这无助于从set 中区分map。

Answer 1

保持你的测试，它应该是

template<class N, class Enabler = void>
struct is_container { static const bool value = false; };

template<class N>
struct is_container<N, std::void_t<typename N::value_type>>
{ static const bool value = true; };

template<class N>
static constexpr bool is_container_v = is_container<remove_reference_t<N>>::value;

和你的版本一样

is_container_v<unordered_set<int*>&> 是 is_container<unordered_set<int*>>，默认为：is_container<unordered_set<int*>, int>

而你专攻is_container<unordered_set<int*>, int*>...