迭代器訪問概念

• Readable Iterator可讀迭代器
• Writable Iterator可寫迭代器
• Swappable Iterator可交換迭代器
• Lvalue Iterator左值迭代器

迭代器遍歷概念

• Incrementable Iterator可遞增迭代器
• Single Pass Iterator單遍迭代器
• Forward Traversal前向遍歷
• Bidirectional Traversal雙向遍歷
• Random Access Traversal隨機訪問遍歷

iterator_concepts.hpp 概要

namespace boost_concepts {

    // 迭代器訪問概念

    template <typename Iterator>
    class ReadableIteratorConcept;

    template <
        typename Iterator
      , typename ValueType = std::iterator_traits<Iterator>::value_type
    >
    class WritableIteratorConcept;

    template <typename Iterator>
    class SwappableIteratorConcept;

    template <typename Iterator>
    class LvalueIteratorConcept;

    // 迭代器遍歷概念

    template <typename Iterator>
    class IncrementableIteratorConcept;

    template <typename Iterator>
    class SinglePassIteratorConcept;

    template <typename Iterator>
    class ForwardTraversalConcept;

    template <typename Iterator>
    class BidirectionalTraversalConcept;

    template <typename Iterator>
    class RandomAccessTraversalConcept;

    // 可交互性

    template <typename Iterator, typename ConstIterator>
    class InteroperableIteratorConcept;

}