libstdc++
std::weakly_incrementable Concept Reference

#include <iterator_concepts.h>

Concept definition

template<typename _Iter>
concept std::weakly_incrementable = movable<_Iter>
&& requires(_Iter __i)
{
typename iter_difference_t<_Iter>;
requires __detail::__is_signed_integer_like<iter_difference_t<_Iter>>;
{ ++__i } -> same_as<_Iter&>;
__i++;
}
std::same_as
[concept.same], concept same_as
Definition: concepts:63
std::weakly_incrementable
Requirements on types that can be incremented with ++.
Definition: iterator_concepts.h:599

Detailed Description

Requirements on types that can be incremented with ++.

Definition at line 599 of file iterator_concepts.h.