[range.take.while.sentinel] (original) (raw)

25 Ranges library [ranges]

25.7 Range adaptors [range.adaptors]

25.7.11 Take while view [range.take.while]

25.7.11.3 Class template take_while_view​::​sentinel [range.take.while.sentinel]

namespace std::ranges { template<view V, class Pred> requires input_range<V> && is_object_v<Pred> && indirect_unary_predicate<const Pred, iterator_t<V>> template<bool Const> class take_while_view<V, Pred>::sentinel { using Base = maybe-const<Const, V>; sentinel_t<_Base_> end_ = sentinel_t<_Base_>(); const Pred* pred_ = nullptr; public: sentinel() = default;constexpr explicit sentinel(sentinel_t<_Base_> end, const Pred* pred);constexpr sentinel(sentinel<!Const> s) requires Const && convertible_to<sentinel_t<V>, sentinel_t<_Base_>>;constexpr sentinel_t<_Base_> base() const { return end_; } friend constexpr bool operator==(const iterator_t<_Base_>& x, const sentinel& y);template<bool OtherConst = !Const> requires sentinel_for<sentinel_t<_Base_>, iterator_t<_maybe-const_<OtherConst, V>>> friend constexpr bool operator==(const iterator_t<_maybe-const_<OtherConst, V>>& x,const sentinel& y);};}

constexpr explicit _sentinel_(sentinel_t<_Base_> end, const Pred* pred);

Effects: Initializes end_ with end and pred_ with pred.

constexpr _sentinel_(_sentinel_<!Const> s) requires Const && [convertible_to](concept.convertible#concept:convertible%5Fto "18.4.4 Concept convertible_­to [concept.convertible]")<sentinel_t<V>, sentinel_t<_Base_>>;

Effects: Initializes end_ with std​::​move(s.end_) and_pred__ with s.pred_.

friend constexpr bool operator==(const iterator_t<_Base_>& x, const _sentinel_& y);template<bool OtherConst = !Const> requires [sentinel_for](iterator.concept.sentinel#concept:sentinel%5Ffor "24.3.4.7 Concept sentinel_­for [iterator.concept.sentinel]")<sentinel_t<_Base_>, iterator_t<_maybe-const_<OtherConst, V>>> friend constexpr bool operator==(const iterator_t<_maybe-const_<OtherConst, V>>& x,const _sentinel_& y);

Effects: Equivalent to:return y.end_ == x || !invoke(*y.pred_, *x);