Created on 2021-08-16.00:00:00 last changed 3 days ago
This wording is relative to N4892.
Modify [string.view.cons] as indicated:
template<class R> constexpr basic_string_view(R&& r);
-10- Let d be an lvalue of type remove_cvref_t<R>.-11- Constraints:
(11.1) — R models ranges::contiguous_range and ranges::sized_range,
(11.2) — is_same_v<ranges::range_value_t<R>, charT> is true,
[ 2021-09-20; Reflector poll ]
Set status to Tentatively Ready after nine votes in favour during reflector poll.
The issue is found in this Microsoft STL pull request.I think an additional constraint should be added to [string.view.cons]/11 (a similar constraint is already present for reference_wrapper):
P1989R2 "Range constructor for std::string_view 2: Constrain Harder" added a converting constructor to basic_string_view that accepts (by forwarding reference) any sized contiguous range with a compatible element type. This constructor unfortunately intercepts attempts at move construction which previously would have resulted in a call to the copy constructor. (I suspect the authors of P1989 were under the mistaken impression that basic_string_view had a defaulted move constructor, which would sidestep this issue by being chosen by overload resolution via the "non-template vs. template" tiebreaker.)The resulting inefficiency could be corrected by adding a defaulted move constructor and move assignment operator to basic_string_view, but it would be awkward to add text to specify that these moves always leave the source intact. Presumably this is why the move operations were omitted in the first place. We therefore recommend constraining the conversion constructor template to reject arguments whose decayed type is basic_string_view (which we should probably do for all conversion constructor templates in the Standard Library). Implementation experience: MSVC STL is in the process of implementing this fix. Per Jonathan Wakely, libstdc++ has a similar constraint.
|2021-09-20 11:21:54||admin||set||messages: + msg12047|
|2021-09-20 11:21:54||admin||set||status: new -> ready|
|2021-08-21 16:26:48||admin||set||messages: + msg12014|