forked from boostorg/iterator
54 lines
1.4 KiB
Plaintext
54 lines
1.4 KiB
Plaintext
|
[section:concept_checking Concept Checking]
|
||
|
|
|
||
|
|
The iterator concept checking classes provide a mechanism for a
|
||
|
|
template to report better error messages when a user instantiates the
|
||
|
|
template with a type that does not meet the requirements of the
|
||
|
|
template. For an introduction to using concept checking classes, see
|
||
|
|
the documentation for the boost::concept_check library.
|
||
|
|
|
||
|
|
[h2 `iterator_concepts.hpp` Synopsis]
|
||
|
|
|
||
|
|
namespace boost_concepts {
|
||
|
|
|
||
|
|
// Iterator Access 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;
|
||
|
|
|
||
|
|
// Iterator Traversal Concepts
|
||
|
|
|
||
|
|
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;
|
||
|
|
|
||
|
|
// Interoperability
|
||
|
|
|
||
|
|
template <typename Iterator, typename ConstIterator>
|
||
|
|
class InteroperableIteratorConcept;
|
||
|
|
|
||
|
|
}
|
||
|
|
|
||
|
|
[endsect]
|