# std::ranges::cartesian_product_view<First, Vs...>::iterator

From cppreference.com
< cpp‎ | ranges‎ | cartesian product view

template< bool Const > class /*iterator*/ |  | (since C++23) (exposition only*)

The return type of `cartesian_product_view::begin`, and of `cartesian_product_view::end` when the underlying view `V` is a `common_range`.

The type /*iterator*/<true> is returned by the const-qualified overloads. The type /*iterator*/<false> is returned by the non-const-qualified overloads.

### Member types

Member | Definition
`Parent` (private) | `maybe-const`﻿<Const, ranges::cartesian_product_view >> (exposition-only member type*)
`iterator_category` | std::input_iterator_tag

`iterator_concept`

- std::random_access_iterator_tag, if /*cartesian-product-is-random-access*/<Const, First, Vs...> is modeled,
- std::bidirectional_iterator_tag, if /*cartesian-product-is-bidirectional*/<Const, First, Vs...> is modeled,
- std::forward_iterator_tag, if `maybe-const`﻿<Const, First> models `forward_range`,
- std::input_iterator_tag, otherwise.

`value_type` | std::tuple < ranges::range_value_t </*maybe-const*/<Const, First>>, ranges::range_value_t </*maybe-const*/<Const, Vs>>...>;
`reference` | std::tuple < ranges::range_reference_t </*maybe-const*/<Const, First>>, ranges::range_reference_t </*maybe-const*/<Const, Vs>>...>;
`difference_type` | An implementation-defined signed-integer-like type (maybe the smallest of such types), which is sufficiently wide to store the product of the maximum sizes of all underlying ranges, if such type exists.

### Data members

Member | Definition
`Parent*` `parent_` (private) | A pointer to the parent object `cartesian_product_view` (exposition-only member object*)
`current_` (private) | A tuple of iterators to the current underlying elements of type std::tuple < ranges::iterator_t </*maybe-const*/<Const, First>>, ranges::iterator_t </*maybe-const*/<Const, Vs>>...> (exposition-only member object*)

### Member functions

(constructor) | constructs an iterator (public member function)
operator* | accesses the element (public member function)
operator[] | accesses an element by index (public member function)
operator++operator++(int)operator--operator--(int)operator+=operator-= | advances or decrements the underlying iterator (public member function)
next | advances the iterator (exposition-only member function*)
prev | decrements the iterator (exposition-only member function*)
distance_from | returns the distance between two iterators (exposition-only member function*)

### Non-member functions

operator==operator<=> (C++23) | compares the underlying iterators (function)
operator+operator- (C++23) | performs iterator arithmetic (function)
iter_move (C++23) | casts the result of dereferencing the underlying iterator to its associated rvalue reference type (function)
iter_swap (C++23) | swaps underlying pointed-to elements (function)

### Example

| This section is incomplete Reason: no example

### References

- C++23 standard (ISO/IEC 14882:2024):

  - 26.7.32.3 Class template `cartesian_product_view::iterator` [range.cartesian.iterator]

### See also

Retrieved from "https://en.cppreference.com/mwiki/index.php?title=cpp/ranges/cartesian_product_view/iterator&oldid=175922"