c++中的迭代器类别

任何东西都可以将自己声明为特定类别的迭代器，而无需实现所需的所有方法。

它是如何执行的?非常简单。如果您尝试将此类别与使用特定类别操作符的方法或函数一起使用，则会得到编译错误，因为这些操作符没有定义。编译器强制它。

但是迭代器类别的实际使用恰恰是向后的。模板假定标识自己为特定类别的迭代器完全实现了需求，并使用该迭代器的类别来验证它是哪种类型的迭代器，否则强制编译错误。

例如(就在我的脑海中)，假设你希望你的模板函数只用于随机访问迭代器:

template<typename iterator_category> class must_be_random_access_iterator;
template<> class must_be_random_access_iterator<std::random_access_iterator_tag> {
public:
    typedef int or_else;
};

template<typename iter_type> void some_func(iter_type iter)
{
    typedef must_be_random_access_iterator<
         typename std::iterator_traits<iter_type>::iterator_category
    >::or_else or_else;
    // ... more code
}

must_be_random_access_iterator模板专用于std::random_access_iterator_tag类别，否则它是未定义的，因此将其他迭代器类型传递给模板函数将导致编译错误。