Namespaces

• Page
• Discussion

Variants

Views

• View
• Edit
• History

Actions

• IfI is not an integral type, or if it is an integral type andsizeof(std::iter_difference_t<I>) is greater thansizeof(I), then/*iota-diff-t*/<I> isstd::iter_difference_t<I>.
• Otherwise,/*iota-diff-t*/<I> is a signed integer type of width greater than the width ofI if such a type exists.
• Otherwise,I is one of the widest integral types, and/*iota-diff-t*/<I> is an unspecifiedsigned-integer-like type of width not less than the width ofI. It is unspecified whether/*iota-diff-t*/<I> modelsweakly_incrementable in this case.

• Ifa andb are in the domain of both pre- and post-operator-- (i.e. they are decrementable), then the following are alltrue:
  • std::addressof(--a)==std::addressof(a),
  • bool(a--== b),
  • bool(((void)a--, a)==--b),
  • bool(++(--a)== b).
• Ifa andb are in the domain of both pre- and post-operator++ (i.e. they are incrementable), thenbool(--(++a)== b) istrue.

• objectsa andb of typeI and
• valuen of typeD,

such thatb is reachable froma aftern applications of++a, all following conditions are satisfied:

• (a+= n) is equal tob.
• std::addressof(a+= n) is equal tostd::addressof(a).
• I(a+ n) is equal to(a+= n).
• For any two positive valuesx andy of typeD, ifI(a+ D(x+ y)) is well-defined, thenI(a+ D(x+ y)) is equal toI(I(a+ x)+ y).
• I(a+ D(0)) is equal toa.
• IfI(a+ D(n-1)) is well-defined, thenI(a+ n) is equal to[](I c){return++c;}(I(a+ D(n-1))).
• (b+=-n) is equal toa.
• (b-= n) is equal toa.
• std::addressof(b-= n) is equal tostd::addressof(b).
• I(b- n) is equal to(b-= n).
• D(b- a) is equal ton.
• D(a- b) is equal toD(-n).
• bool(a<= b) istrue.

std::ranges::iota_view::iterator::iterator

std::ranges::iota_view::iterator::operator*

Returnsvalue_.

Example

#include <cassert>#include <ranges> int main(){auto it{std::views::iota(6,9).begin()};constint& r=*it;// binds with temporaryassert(*it==6 and r==6);++it;assert(*it==7 and r==6);}

std::ranges::iota_view::iterator::operator++

Example

#include <cassert>#include <ranges> int main(){auto it{std::views::iota(8).begin()};assert(*it==8);assert(*++it==9);assert(*it++==9);assert(*it==10);}

std::ranges::iota_view::iterator::operator--

Example

#include <cassert>#include <ranges> int main(){auto it{std::views::iota(8).begin()};assert(*it==8);assert(*--it==7);assert(*it--==7);assert(*it==6);}

std::ranges::iota_view::iterator::operator+=

Updatesvalue_ and returns*this:

• IfW is anunsigned-integer-like type:
  • Ifn is non-negative, performsvalue_ +=static_cast<W>(n).
  • Otherwise, performsvalue_ -=static_cast<W>(-n).
• Otherwise, performsvalue_ += n.

Example

#include <cassert>#include <ranges> int main(){auto it{std::views::iota(5).begin()};assert(*it==5);assert(*(it+=3)==8);}

std::ranges::iota_view::iterator::operator-=

Updatesvalue_ and returns*this:

• IfW is anunsigned-integer-like type:
  • Ifn is non-negative, performsvalue_ -=static_cast<W>(n).
  • Otherwise, performsvalue_ +=static_cast<W>(-n).
• Otherwise, performsvalue_ -= n.

Example

#include <cassert>#include <ranges> int main(){auto it{std::views::iota(6).begin()};assert(*it==6);assert(*(it-=-3)==9);}

std::ranges::iota_view::iterator::operator[]

ReturnsW(value_ + n).

Example

#include <cassert>#include <ranges> int main(){auto it{std::views::iota(6).begin()};assert(*it==6);assert(*(it+3)==9);}

operator==, <, >, <=, >=, <=>(std::ranges::iota_view::iterator)

The!= operator issynthesized fromoperator==.

These functions are not visible to ordinaryunqualified orqualified lookup, and can only be found byargument-dependent lookup wheniterator is an associated class of the arguments.

operator+(std::ranges::iota_view::iterator)

Equivalent toi+= n;return i;.

These functions are not visible to ordinaryunqualified orqualified lookup, and can only be found byargument-dependent lookup wheniterator is an associated class of the arguments.

operator-(std::ranges::iota_view::iterator)

These functions are not visible to ordinaryunqualified orqualified lookup, and can only be found byargument-dependent lookup wheniterator is an associated class of the arguments.