Re: C++0x: unfortunate interaction of rvalue references and concepts
On 11 Dez., 20:04, Howard Hinnant <howard.hinn...@gmail.com> wrote:
On Dec 11, 10:00 am, SG <s.gesem...@gmail.com> wrote:
template<typename T>
inline T&& forward(typename remove_reference<T>::type & x)
{ return static_cast<T&&>(x); }
template<typename T>
inline T&& forward(typename remove_reference<T>::type && x)
{ return static_cast<T&&>(x); }
SFINAE doesn't seem to be necessary. The functions only differ
in their argument type (lvalue ref versus rvalue ref).
I believe the SFINAE is necessary. When instantiating with A&, the
pair of functions yield:
A& forward<A&>(A&);
A& forward<A&>(A&);
No, it won't. I guess you missed the "remove_reference<T>" in the
parameter declaration.
1. Play with the argument type on the 2nd overload such that we have:
A& forward<A&>(A&);
A& forward<A&>(A&&);
2. Disable the 2nd overload for A&.
Chosing #1 means that we would have the option of forwarding an rvalue
as an lvalue. This could be dangerous as one of the use cases when
forwarding as an lvalue is to bind to an lvalue reference (see example
below). The current spec also does not allow one to forward an rvalue
as an lvalue and no such need has exposed itself over the years of
testing.
So I'm inclined to go with the #2 solution.
Ok. I havn't thought about the implications of forwarding rvalues as
lvalues. Thank you for your insight!
Cheers!
SG
--
[ See http://www.gotw.ca/resources/clcm.htm for info about ]
[ comp.lang.c++.moderated. First time posters: Do this! ]