对 SFINAE 使用参数在 void_t 中的方法

Question

我正在尝试构建一个结构 is_container 以便在 SFINAE 模板上使用它

  template<typename T, typename = void>
  struct is_container : std::false_type {};

  template<typename T>
  struct is_container<
    T,
    std::void_t<
      typename T::value_type,
      typename T::reference,
      typename T::const_reference,
      typename T::iterator,
      typename T::const_iterator,
      typename T::difference_type,
      typename T::size_type,

      decltype(std::declval<T>().begin()),
      decltype(std::declval<T>().end()),
      decltype(std::declval<T>().cbegin()),
      decltype(std::declval<T>().cend()) ,

      decltype(std::declval<T>().size()),
      decltype(std::declval<T>().max_size()),
      decltype(std::declval<T>().empty()),
      decltype(std::declval<T>().swap()) //<------ problem here
      >
    > : public std::true_type {};

  template<typename T>
  inline constexpr bool is_container_v = is_container<T>::value;

我的问题是交换函数采用 T& 参数，因此 static_assert(is_container_v>) 失败。他们是在我的 void_t 中使用带有参数的方法的方法吗？

Answer 1

您已经使用 declval 一次获取成员函数访问权限。所以再次使用它来获得左值参数。

decltype(std::declval<T>().swap(std::declval<T&>()))

对 SFINAE 使用参数在 void_t 中的方法

using methods with parameter(s) in void_t for SFINAE

c++

sfinae