Section: 220.127.116.11 [range.drop.while.view] Status: WP Submitter: Michael Schellenberger Costa Opened: 2020-10-13 Last modified: 2021-02-26 17:31:29 UTC
View all other issues in [range.drop.while.view].
View all issues with WP status.
Similar to ranges::filter_view 18.104.22.168 [range.filter.view] p3, ranges::drop_while_view should have a precondition on its begin() method that the predicate is set.I propose to add as 22.214.171.124 [range.drop.while.view] p3:
[2020-11-07; Reflector prioritization]
Set priority to 0 and status to Tentatively Ready after six votes in favour during reflector discussions.
[2021-02-26 Approved at February 2021 virtual plenary. Status changed: Tentatively Ready → WP.]
This wording is relative to N4868.
Modify 126.96.36.199 [range.drop.while.view] as indicated:
Since we usually don't rely on implicit bool conversion in Preconditions: elements an explicit "is true" has been added. Editorial fixes of the referenced paragraph 188.8.131.52 [range.drop.while.view] p3 and similar places have been requested separately.
constexpr auto begin();
-3- Returns: ranges::find_if_not(base_, cref(*pred_)). -4- […]