如何正确使用enable_if？

Question

我需要学习如何使用 enable_if。为此，我需要使用 enable_if 重新实现距离函数。我试过这个：

#include <iostream>
#include <vector>
#include <list>
#include <utility>
#include <type_traits>

template<class In>
typename std::enable_if<!std::is_random_acces_iterator<In>::value, std::iterator_traits<In>::difference_type>::type  my_distance(In begin, In end, std::input_iterator_tag dummy){
  typename std::iterator_traits<In>::difference_type n = 0;
  while(begin!=end){
    ++begin; ++n;
  }
  std::cout << "STEPPING" << std::endl;
  return n;
}

template<class Ran>
typename std::enable_if<std::is_random_acces_iterator<Ran>::value, std::iterator_traits<In>::difference_type>::type my_distance(Ran begin, Ran end, std::random_access_iterator_tag dummy){
  std::cout << "RANDOM" << std::endl;
  return end - begin;
}

template <class I> inline
typename std::iterator_traits<I>::difference_type my_distance_wrapper(I begin, I end){
  typedef typename std::iterator_traits<I>::iterator_category cat;
  return my_distance(begin, end, cat());
}

int main() {
  std::vector<int> ve;
  std::list<int> li;
  for(int i = 0; i < 3; i++){
    ve.push_back(i);
    li.push_back(i);
  }
  std::cout << my_distance_wrapper(ve.begin(), ve.end()) << std::endl;
  std::cout << my_distance_wrapper(li.begin(), li.end()) << std::endl;
  return 0;
}

我想我可以通过使用类似 std::is_random_acces_iterator<In>::value 的函数来做到这一点，类似于 std::is_pod<In>::value 我检查了 type_traits 但找不到任何东西来检查某个东西是否是特定的迭代器。我如何检查某物是否为 random_acces_iterator？我知道我可以在函数中执行此操作：

template<class T>
bool f(){
  typedef typename std::iterator_traits<T>::iterator_category cat;
  return std::random_access_iterator_tag == cat();
}

所以我的问题基本上是如何在模板中执行函数 f？不使用 enable_if 是不可能的，这是我任务的要求。如果我可以将函数 f 放入该模板，我是否正确地相信 SFINAE 会正确地丢弃其他函数？

Answer 1

您可以按如下方式使用类型特征std::is_same<>

template<typename iterator>
using is_random_access_iterator = 
  std::is_same<typename std::iterator_traits<iterator>::iterator_category,
               std::random_access_iterator_tag>;

然后

template<typename iterator>
std::enable_if_t<is_random_access_iterator<iterator>::value,
                 typename std::iterator_traits<iterator>::difference_type>
my_distance(iterator a, iterator b) { return a-b; }

template<typename iterator>
std::enable_if_t<!is_random_access_iterator<iterator>::value,
                 typename std::iterator_traits<iterator>::difference_type>
my_distance(iterator a, iterator b) { /* ... */ }

这里，std::enable_if_t<,> 是一个辅助别名，定义为（C++14 起）

template<bool condition, typename type = void>
using enable_if_t = typename enable_if<condition,type>::type;

实际上，您也可以将函数 f() 声明为 constexpr 并直接在 enable_if 中使用它，即 std::enable_if<f<It>(), ...>.

如何正确使用enable_if？

How to use enable_if correctly?

c++

iterator

enable-if

c++11