NAME¶

std::ranges::cartesian_product_view::iterator - std::ranges::cartesian_product_view::iterator

Synopsis¶

template< bool Const > (since C++23)
class /*iterator*/ (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 type Definition
iterator_category std::input_iterator_tag
* std::random_access_iterator_tag, if
/*cartesian-product-is-random-access*/<Const, First, Vs...> is
modeled,
* std::bidirectional_iterator_tag, if
iterator_concept /*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>>...>;
std::tuple<ranges::range_reference_t</*maybe-const*/<Const,
reference First>>,
ranges::range_reference_t</*maybe-const*/<Const,
Vs>>...>;
An implementation-defined signed-integer-like type (maybe the
difference_type smallest of such types), which is sufficiently wide to store the
product of the maximum sizes of all underlying ranges, if such
type exists.
Parent (private) /*maybe-const*/<Const, cartesian_product_view>.
(exposition-only member type*)

Data members

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

Member functions¶

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

Non-member functions¶

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

Example¶

This section is incomplete
Reason: no example

References¶

* C++23 standard (ISO/IEC 14882:2023):

* 26.7.32.3 Class template cartesian_product_view::iterator
[range.cartesian.iterator]

See also¶

Category:¶

* Todo no example