c – 检查模板参数是否是std :: vector :: iterator

如何检查模板参数是否是std :: vector< T> :: iterator？

对于void类型,我们有std :: is_void.对于std :: vector< T> :: iterator有类似的东西吗？

解决方法

你可以为它创建一个特征：

#include <vector>
#include <list>
#include <type_traits>


template <class T,class = void>
struct is_vector_iterator: std::is_same<T,std::vector<bool>::iterator> { };

template <class T>
struct is_vector_iterator<T,decltype(*std::declval<T>(),std::enable_if_t<!std::is_same<T,std::vector<bool>::iterator>::value>())>: std::is_same<T,typename std::vector<std::decay_t<decltype(*std::declval<T>())>>::iterator> { };

int main() {
    static_assert(is_vector_iterator<std::vector<int>::iterator>::value,"Is not a vector iterator");
    static_assert(is_vector_iterator<std::vector<bool>::iterator>::value,"Is not a vector iterator");
    static_assert(!is_vector_iterator<std::list<int>::iterator>::value,"Is a vector iterator");
    static_assert(!is_vector_iterator<std::list<int>::iterator>::value,"Is a vector iterator");
}

[live demo]