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

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

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.

The name of this class template (shown here as /*iterator*/) is unspecified.

Data members

Typical implementations of /*iterator*/ hold two non-static data members:

• parent_ of type Parent (see below), which is the pointer to the parent cartesian_product_view,
• current_ of type

std::tuple<ranges::iterator_t</*maybe-const*/<Const, First>>,
           ranges::iterator_t</*maybe-const*/<Const, Vs>>...>,

which is the tuple of iterators to the current underlying elements.

These names are for exposition only.

Member types

Member type	Definition
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, that is (maybe the smallest) signed-integer-like type sufficiently wide to store the product of the maximum sizes of all underlying ranges, if such a type exists.
Parent (private)	/*maybe-const*/<Const, cartesian_product_view>. The name is for exposition only.

Member functions

(constructor) (C++23)	constructs an iterator (public member function)
operator* (C++23)	accesses the element (public member function)
operator[] (C++23)	accesses an element by index (public member function)
operator++operator++(int)operator--operator--(int)operator+=operator-= (C++23)	advances or decrements the underlying iterator (public member function)
next (C++23)	advances the iterator (exposition-only member function*)
prev (C++23)	decrements the iterator (exposition-only member function*)
distance_from (C++23)	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

See also