std::weakly_incrementable3cxx

Requirements on types that can be incremented with ++.

Usage

#include <iterator>

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++;
      }

Detailed Description

Requirements on types that can be incremented with ++.

Releases

2 releases since Debian 12 (Bookworm); the text changed 1 time.