Created on 2020-01-14.00:00:00 last changed 46 months ago
Proposed resolution:
This wording is relative to N4849.
Modify [range.refinements] as indicated:
-4- The viewable_range concept specifies the requirements of a range type that can be converted to a view safely.
template<class T> concept viewable_range = range<T> && (safe_range<T> || view<decay_tremove_cvref_t<T>>);
[ 2020-02 Status to Immediate on Thursday morning in Prague. ]
[ 2020-02-06 Casey provides a corrected P/R ]
... in response to Jonathan's observation that remove_cvref<T> is both the wrong type and not what the discussion argues for.
[ 2020-02-01 Status set to Tentatively Ready after five positive votes on the reflector. ]
Previous resolution [SUPERSEDED]:
This wording is relative to N4842.
Modify [range.refinements] as indicated:
-4- The viewable_range concept specifies the requirements of a range type that can be converted to a view safely.
template<class T> concept viewable_range = range<T> && (safe_range<T> || view<decay_tremove_cvref<T>>);
The viewable_range concept is defined in [range.refinements] as:
template<class T> concept viewable_range = range<T> && (safe_range<T> || view<decay_t<T>>);
Since neither pointer types, array types, nor function types model view, view<decay_t<T>> here could simplified to view<remove_cvref_t<T>>. The use of decay_t is an artifact of the Ranges TS being based on C++14 which didn't have remove_cvref_t. [Note that the proposed change is not purely editorial since the difference is observable to subsumption.]
History | |||
---|---|---|---|
Date | User | Action | Args |
2021-02-25 10:48:01 | admin | set | status: wp -> c++20 |
2020-02-24 16:02:59 | admin | set | status: immediate -> wp |
2020-02-13 12:32:11 | admin | set | messages: + msg11063 |
2020-02-13 12:32:11 | admin | set | status: open -> immediate |
2020-02-06 19:36:01 | admin | set | messages: + msg10983 |
2020-02-06 19:36:01 | admin | set | status: ready -> open |
2020-02-01 13:27:02 | admin | set | messages: + msg10976 |
2020-02-01 13:27:02 | admin | set | status: new -> ready |
2020-01-18 19:19:12 | admin | set | messages: + msg10951 |
2020-01-14 00:00:00 | admin | create |