This page is a snapshot from the LWG issues list, see the Library Active Issues List for more information and the meaning of NAD Concepts status.
Section: 99 [concept.transform] Status: NAD Concepts Submitter: Daniel Krügler Opened: 2009-05-28 Last modified: 2016-01-28
Priority: Not Prioritized
View all other issues in [concept.transform].
View all issues with NAD Concepts status.
Discussion:
A recent news group article points to several defects in the specification of reference-related concepts.
One problem of the concept RvalueOf as currently defined in 99 [concept.transform]:
concept RvalueOf<typename T> { typename type = T&&; requires ExplicitlyConvertible<T&,type> && Convertible<T&&,type>; } template<typename T> concept_map RvalueOf<T&> { typedef T&& type; }
is that if T is an lvalue-reference, the requirement Convertible<T&&,type> isn't satisfied for lvalue-references, because after reference-collapsing in the concept definition we have Convertible<T&,type> in this case, which isn't satisfied in the concept map template and also is not the right constraint either. I think that the reporter is right that SameType requirements should do the job and that we also should use the new RvalueReference concept to specify a best matching type requirement.
Proposed resolution:
In 99 [concept.transform] before p. 4 change as indicated:
auto concept RvalueOf<typename T> {typenameRvalueReference type = T&&; requiresExplicitlyConvertible<T&, type> && Convertible<T&&, type>SameType<T&, type&>; }