[range.adjacent.transform.sentinel] (original) (raw)
25 Ranges library [ranges]
25.7 Range adaptors [range.adaptors]
25.7.28 Adjacent transform view [range.adjacent.transform]
25.7.28.4 Class template adjacent_transform_view::sentinel [range.adjacent.transform.sentinel]
namespace std::ranges { template<forward_range V, move_constructible F, size_t N> requires view<V> && (N > 0) && is_object_v<F> && regular_invocable<F&, _REPEAT_(range_reference_t<V>, N)...> && can-reference<invoke_result_t<F&, _REPEAT_(range_reference_t<V>, N)...>> template<bool Const> class adjacent_transform_view<V, F, N>::sentinel { inner-sentinel<Const> inner_; constexpr explicit sentinel(inner-sentinel<Const> inner); public: sentinel() = default;constexpr sentinel(sentinel<!Const> i) requires Const && convertible_to<_inner-sentinel_<false>, inner-sentinel<Const>>;template<bool OtherConst> requires sentinel_for<_inner-sentinel_<Const>, inner-iterator<OtherConst>> friend constexpr bool operator==(const iterator<OtherConst>& x, const sentinel& y);template<bool OtherConst> requires sized_sentinel_for<_inner-sentinel_<Const>, inner-iterator<OtherConst>> friend constexpr range_difference_t<_maybe-const_<OtherConst, _InnerView_>> operator-(const iterator<OtherConst>& x, const sentinel& y);template<bool OtherConst> requires sized_sentinel_for<_inner-sentinel_<Const>, inner-iterator<OtherConst>> friend constexpr range_difference_t<_maybe-const_<OtherConst, _InnerView_>> operator-(const sentinel& x, const iterator<OtherConst>& y);};}
constexpr explicit _sentinel_(_inner-sentinel_<Const> inner);
Effects: Initializes inner_ with inner.
constexpr _sentinel_(_sentinel_<!Const> i) requires Const && [convertible_to](concept.convertible#concept:convertible%5Fto "18.4.4 Concept convertible_to [concept.convertible]")<_inner-sentinel_<false>, _inner-sentinel_<Const>>;
Effects: Initializes inner_ with std::move(i.inner_).
template<bool OtherConst> requires [sentinel_for](iterator.concept.sentinel#concept:sentinel%5Ffor "24.3.4.7 Concept sentinel_for [iterator.concept.sentinel]")<_inner-sentinel_<Const>, _inner-iterator_<OtherConst>> friend constexpr bool operator==(const _iterator_<OtherConst>& x, const _sentinel_& y);
Effects: Equivalent to: return x.inner_ == y.inner_;
template<bool OtherConst> requires [sized_sentinel_for](iterator.concept.sizedsentinel#concept:sized%5Fsentinel%5Ffor "24.3.4.8 Concept sized_sentinel_for [iterator.concept.sizedsentinel]")<_inner-sentinel_<Const>, _inner-iterator_<OtherConst>> friend constexpr range_difference_t<_maybe-const_<OtherConst, _InnerView_>> operator-(const _iterator_<OtherConst>& x, const _sentinel_& y);template<bool OtherConst> requires [sized_sentinel_for](iterator.concept.sizedsentinel#concept:sized%5Fsentinel%5Ffor "24.3.4.8 Concept sized_sentinel_for [iterator.concept.sizedsentinel]")<_inner-sentinel_<Const>, _inner-iterator_<OtherConst>> friend constexpr range_difference_t<_maybe-const_<OtherConst, _InnerView_>> operator-(const _sentinel_& x, const _iterator_<OtherConst>& y);
Effects: Equivalent to: return x.inner_ - y.inner_;