[英]How to use enable_if correctly?
我需要學習如何使用enable_if。 為此,我需要使用enable_if重新實現distance函數。 我試過這個:
#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是不可能的,這是我的任務的要求。 我是否正確相信SFINAE會正確地丟棄其他函數,如果我可以將函數f放入該模板中?
您可以使用類型特征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>(), ...>
。
聲明:本站的技術帖子網頁,遵循CC BY-SA 4.0協議,如果您需要轉載,請注明本站網址或者原文地址。任何問題請咨詢:yoyou2525@163.com.