24 Containers library [containers]

24.2 Requirements [container.requirements]

24.2.2 General containers [container.gen.reqmts]

24.2.2.3 Reversible container requirements [container.rev.reqmts]

1
#
A type X meets the reversible container requirements if X meets the container requirements, the iterator type of X belongs to the bidirectional or random access iterator categories ([iterator.requirements]), and the following types and expressions are well-formed and have the specified semantics.
🔗
typename X::reverse_iterator
2
#
Result: The type reverse_iterator<X​::​iterator>, an iterator type whose value type is T.
🔗
typename X::const_reverse_iterator
3
#
Result: The type reverse_iterator<X​::​const_iterator>, a constant iterator type whose value type is T.
🔗
a.rbegin()
4
#
Result: reverse_iterator; const_reverse_iterator for constant a.
5
#
Returns: reverse_iterator(end())
6
#
Complexity: Constant.
🔗
a.rend()
7
#
Result: reverse_iterator; const_reverse_iterator for constant a.
8
#
Returns: reverse_iterator(begin())
9
#
Complexity: Constant.
🔗
a.crbegin()
10
#
Result: const_reverse_iterator.
11
#
Returns: const_cast<X const&>(a).rbegin()
12
#
Complexity: Constant.
🔗
a.crend()
13
#
Result: const_reverse_iterator.
14
#
Returns: const_cast<X const&>(a).rend()
15
#
Complexity: Constant.
16
#
Unless otherwise specified (see [associative.reqmts.except], [unord.req.except], [deque.modifiers], and [vector.modifiers]) all container types defined in this Clause meet the following additional requirements:
  • (16.1)
    If an exception is thrown by an insert() or emplace() function while inserting a single element, that function has no effects.
  • (16.2)
    If an exception is thrown by a push_back(), push_front(), emplace_back(), or emplace_front() function, that function has no effects.
  • (16.3)
    No erase(), clear(), pop_back() or pop_front() function throws an exception.
  • (16.4)
    No copy constructor or assignment operator of a returned iterator throws an exception.
  • (16.5)
    No swap() function throws an exception.
  • (16.6)
    No swap() function invalidates any references, pointers, or iterators referring to the elements of the containers being swapped.
    [Note 1:
    The end() iterator does not refer to any element, so it can be invalidated.
    — end note]
17
#
Unless otherwise specified (either explicitly or by defining a function in terms of other functions), invoking a container member function or passing a container as an argument to a library function shall not invalidate iterators to, or change the values of, objects within that container.
18
#
A contiguous container is a container whose member types iterator and const_iterator meet the Cpp17RandomAccessIterator requirements ([random.access.iterators]) and model contiguous_iterator ([iterator.concept.contiguous]).