std :: enable_if或SFINAE用于迭代器或指针

Question

我想写一个MyClass的构造函数，它带有一个参数，并且我希望只在参数为pointer或iterator（iterator_traits）时才编译它。如何实现这一目标？

Answer 1

遗憾的是，没有标准的方法来检测一个班级是否模型Iterator。最简单的检查是*it和++it在语法上都是有效的;

template<typename T, 
    typename = decltype(*std::declval<T&>(), void(), ++std::declval<T&>(), void())> 
    MyClass(T); 

考虑从24.2.2的Iterator要求：2：您可以使用标准SFINAE技术做到这一点

template<typename T> typename std::enable_if< 
    !std::is_void<decltype(*std::declval<T &>())>::value 
    && std::is_same<decltype(++std::declval<T &>()), 
        typename std::add_lvalue_reference<T>::type>::value, 
    std::true_type>::type has_iterator_requirements_helper(int); 
template<typename T> std::false_type has_iterator_requirements_helper(...); 
template<typename T> struct has_iterator_requirements: 
    decltype(has_iterator_requirements_helper<T>(0)) {}; 

template<typename, bool> struct is_iterator_check: std::false_type {}; 
template<typename T> struct is_iterator_check<T, true>: std::true_type { 
    typedef typename std::iterator_traits<T>::difference_type difference_type; 
    typedef typename std::iterator_traits<T>::value_type value_type; 
    typedef typename std::iterator_traits<T>::iterator_category iterator_category; 
    typedef typename std::iterator_traits<T>::reference reference; 
    typedef typename std::iterator_traits<T>::pointer pointer; 
    static_assert(std::is_same<decltype(*std::declval<T &>()), reference>::value 
     || std::is_void<reference>::value, "*r must be of type reference"); 
}; 
template<typename T> struct is_iterator: is_iterator_check<T, 
    (std::is_pointer<T>::value 
    && !std::is_void<typename std::remove_pointer<T>::type>::value 
    && !std::is_function<typename std::remove_pointer<T>::type>::value 
    ) || (std::is_copy_constructible<T>::value 
    && std::is_copy_assignable<T>::value 
    && std::is_nothrow_destructible<T>::value 
    // TODO: check lvalues are swappable 
    && has_iterator_requirements<T>::value 
    )> {}; 

与尝试使用iterator_traits的是，它是所有定义模板的问题类型，并且其实例在非SFINAE上下文中将失败（回想SFINAE仅适用于直接替换失败）。 libstdC++有conforming extension，因此在非迭代器类型上实例化iterator_traits将产生一个空类型;您可以通过检查的iterator_category的类型存在做类似的伎俩：

template<typename T> std::true_type has_iterator_category_helper(
    T::iterator_category *); 
template<typename T> std::false_type has_iterator_category_helper(...); 
template<typename T> struct has_iterator_category<T>: 
    decltype(has_iterator_category_helper<T>(0)) { }; 
template<typename T> struct is_iterator: std::integral_constant<bool, 
    std::is_pointer<T>::value || has_iterator_category<T>::value> {}; 

template<typename T, typename = std::enable_if<is_iterator<T>::value>> 
    MyClass(T); 

然而，这将不会为不暴露自己iterator_category但已经适应由独立iterator_traits专业化工种;在这种情况下，简单的SFINAE方法更有意义（并且您可以在构造函数中实例化iterator_traits以确认该类型是类似于迭代器的）。