Created on 2022-07-15.00:00:00 last changed 4 weeks ago
This wording is relative to N4910.
Modify [range.take.view] as indicated:
constexpr take_view(V base, range_difference_t<V> count);
-1- Effects: Initializes base_ with std::move(base) and count_ with count.
When V does not model sized_range, take_view::begin returns counted_iterator(ranges::begin(base_), count_). Since the counted_iterator constructor ([counted.iter.const]) already has a precondition that n >= 0, we should add this to take_view as well, which is consistent with drop_view.
|2022-07-16 16:33:08||admin||set||messages: + msg12592|