如何檢測類型是否是迭代器或const_iterator

Question

我想知道，如果有一種方法可以在編譯時檢查一些迭代器類型的T是否是const_iterator，或者不是。迭代器和常量迭代器之間的迭代器定義的類型（value_type，pointer，...）有區別嗎？

我想實現這樣的事情：

的作品至少在GCC

typedef std::vector<int> T; 

is_const_iterator<T::iterator>::value  // is false 
is_const_iterator<T::const_iterator>::value // is true 

Answer 1

C++ 03解決方案：

由於沒有一個答案似乎是正確的，這裏是我正在與GCC合作的嘗試：

template<typename T> 
struct is_const_pointer { static const bool value = false; }; 

template<typename T> 
struct is_const_pointer<const T*> { static const bool value = true; }; 

template <typename TIterator> 
struct is_const_iterator 
{ 
    typedef typename std::iterator_traits<TIterator>::pointer pointer; 
    static const bool value = is_const_pointer<pointer>::value; 
}; 

實施例：

int main() 
{ 
    typedef std::vector<int>::iterator it_type; 
    typedef std::vector<int>::const_iterator const_it_type; 

    std::cout << (is_const_iterator<it_type>::value) << std::endl; 
    std::cout << (is_const_iterator<const_it_type>::value) << std::endl; 
} 

輸出：

0 
1 

在線演示：http://ideone.com/TFYcW

Answer 2

一種方法是通過參考的typedef：

struct true_type { }; 
struct false_type { }; 

template<typename T> 
struct is_const_reference 
{ 
    typedef false_type type; 
}; 

template<typename T> 
struct is_const_reference<T const &> 
{ 
    typedef true_type type; 
}; 

template<typename T> 
struct is_const_iterator 
{ 
    typedef typename is_const_reference< 
     typename std::iterator_traits<T>::reference>::type type; 
}; 

您可以驗證它的工作方式使用

inline bool test_internal(true_type) 
{ 
    return true; 
} 

inline bool test_internal(false_type) 
{ 
    return false; 
} 

template<typename T> 
bool test(T const &) 
{ 
    return test_internal(typename is_const_iterator<T>::type()); 
} 

bool this_should_return_false(void) 
{ 
    std::list<int> l; 
    return test(l.begin()); 
} 

bool this_should_return_true(void) 
{ 
    std::list<int> const l; 
    return test(l.begin()); 
} 

隨着足夠高h優化級別，最後兩個函數應該分別減少到return false;和return true;。至少他們爲我做。

Answer 3

這是一個有點哈克，因爲你必須通過T本身，而是它的工作原理（模板特，G ++ 4.4.5）：

template<typename T, typename S> 
struct is_const_iterator { 
    enum { 
     value = false 
    }; 
}; 

template<typename T> 
struct is_const_iterator<T, typename T::const_iterator> { 
    enum { 
     value = true 
    }; 
}; 

使用這樣的：

typedef std::vector<int> T; 
is_const_iterator<T, T::iterator>::value   //is false 
is_const_iterator<T, T::const_iterator>::value  //is true 

Answer 4

用C++ 11，新的標準頭<type_traits>提供std::is_const<T>， 所以納瓦茲的溶液可以被簡化：

template<typename Iterator> 
struct is_const_iterator 
{ 
    typedef typename std::iterator_traits<Iterator>::pointer pointer; 
    static const bool value = 
     std::is_const<typename std::remove_pointer<pointer>::type>::value; 
}; 

Answer 5

C++ 11

template<class IT, class T=decltype(*std::declval<IT>())>  
constexpr bool 
is_const_iterator() { 
     return ! std::is_assignable < 
       decltype(*std::declval<IT>()), 
       T 
     >::value; 
}