std::ranges::take_view::end - cppreference.com (original) (raw)

constexpr auto end() requires (!/*simple-view*/<V>); (1) (since C++20)
constexpr auto end() const requires ranges::range<const V>; (2) (since C++20)

Returns a sentinel or an iterator representing the end of the take_view. The end of the take_view is either one past the countth element in the underlying range, or the end of the underlying range if the latter has less than count elements.

Overload (1) does not participate in overload resolution if V is a simple view (that is, if V and const V are views with the same iterator and sentinel types).

[edit] Parameters

(none)

[edit] Return value

The result depends on the concepts satisfied by possibly const-qualified underlying view type _Base_, that is V for (1) or const V for (2).

Let base_ be the underlying view.

The underlying view typesatisfies ... random_access_range
yes no
sized_range yes ranges::begin(base_) + ranges::range_difference_t<Base_>(this->size()) std::default_sentinel
no 1) /*sentinel*/<false>{ranges::end(base_)} 2) /*sentinel*/<true>{ranges::end(base_)}

[edit] Example

#include #include #include #include #include namespace ranges = std::ranges; namespace views = std::views;   int main() { const auto list1 = {3, 1, 4, 1, 5}; const auto seq1{list1 | views::take(4)}; static_assert(ranges::sized_range<decltype(seq1)> and ranges::random_access_range<decltype(seq1)> and std::is_same_v<decltype(seq1.end()), decltype(list1.end())>); for (auto it = seq1.begin(); it != seq1.end(); ++it) std::cout << *it << ' '; std::cout << '\n';   std::list list2{2, 7, 1, 8, 2}; const auto seq2{list2 | views::take(4)}; static_assert(ranges::sized_range<decltype(seq2)> and not ranges::random_access_range<decltype(seq2)> and std::is_same_v<decltype(seq2.end()), std::default_sentinel_t>); for (auto it = seq2.begin(); it != std::default_sentinel; ++it) std::cout << *it << ' '; std::cout << '\n'; }

Output:

[edit] Defect reports

The following behavior-changing defect reports were applied retroactively to previously published C++ standards.

DR Applied to Behavior as published Correct behavior
P2393R1 C++20 implicit conversions between signed and unsigned integer-class types might fail made explicit

[edit] See also