26 Ranges library [ranges]

26.7 Range adaptors [range.adaptors]

26.7.20 Zip view [range.zip]

26.7.20.4 Class template zip_­view​::​sentinel [range.zip.sentinel]

🔗
namespace std::ranges { template<input_­range... Views> requires (view<Views> && ...) && (sizeof...(Views) > 0) template<bool Const> class zip_view<Views...>::sentinel { tuple-or-pair<sentinel_t<maybe-const<Const, Views>>...> end_; // exposition only constexpr explicit sentinel(tuple-or-pair<sentinel_t<maybe-const<Const, Views>>...> end); // exposition only public: sentinel() = default; constexpr sentinel(sentinel<!Const> i) requires Const && (convertible_­to<sentinel_t<Views>, sentinel_t<maybe-const<Const, Views>>> && ...); template<bool OtherConst> requires (sentinel_­for<sentinel_t<maybe-const<Const, Views>>, iterator_t<maybe-const<OtherConst, Views>>> && ...) friend constexpr bool operator==(const iterator<OtherConst>& x, const sentinel& y); template<bool OtherConst> requires (sized_­sentinel_­for<sentinel_t<maybe-const<Const, Views>>, iterator_t<maybe-const<OtherConst, Views>>> && ...) friend constexpr common_type_t<range_difference_t<maybe-const<OtherConst, Views>>...> operator-(const iterator<OtherConst>& x, const sentinel& y); template<bool OtherConst> requires (sized_­sentinel_­for<sentinel_t<maybe-const<Const, Views>>, iterator_t<maybe-const<OtherConst, Views>>> && ...) friend constexpr common_type_t<range_difference_t<maybe-const<OtherConst, Views>>...> operator-(const sentinel& y, const iterator<OtherConst>& x); }; }
🔗
constexpr explicit sentinel(tuple-or-pair<sentinel_t<maybe-const<Const, Views>>...> end);
1
#
Effects: Initializes end_­ with end.
🔗
constexpr sentinel(sentinel<!Const> i) requires Const && (convertible_­to<sentinel_t<Views>, sentinel_t<maybe-const<Const, Views>>> && ...);
2
#
Effects: Initializes end_­ with std​::​move(i.end_­).
🔗
template<bool OtherConst> requires (sentinel_­for<sentinel_t<maybe-const<Const, Views>>, iterator_t<maybe-const<OtherConst, Views>>> && ...) friend constexpr bool operator==(const iterator<OtherConst>& x, const sentinel& y);
3
#
Returns: true if there exists an integer such that bool(std​::​get<i>(x.​current_­) == std​::​get<i>(y.end_­)) is true.
Otherwise, false.
🔗
template<bool OtherConst> requires (sized_­sentinel_­for<sentinel_t<maybe-const<Const, Views>>, iterator_t<maybe-const<OtherConst, Views>>> && ...) friend constexpr common_type_t<range_difference_t<maybe-const<OtherConst, Views>>...> operator-(const iterator<OtherConst>& x, const sentinel& y);
4
#
Let D be the return type.
Let DIST(i) be D(std​::​get<i>(x.current_­) - std​::​get<i>(y.end_­)).
5
#
Returns: The value with the smallest absolute value among DIST(n) for all integers .
🔗
template<bool OtherConst> requires (sized_­sentinel_­for<sentinel_t<maybe-const<Const, Views>>, iterator_t<maybe-const<OtherConst, Views>>> && ...) friend constexpr common_type_t<range_difference_t<maybe-const<OtherConst, Views>>...> operator-(const sentinel& y, const iterator<OtherConst>& x);
6
#
Effects: Equivalent to return -(x - y);