Rani Sharoni wrote:
> David Abrahams wrote:
>> David Abrahams <[EMAIL PROTECTED]> writes:
>>
>>> I'm in love with the new is_convertible; I can now detect
>>> "move-copy" types like auto_ptr! Could the old is_convertible do
>>> this?
> The new is_convertible can't help you:
> struct A { A(); A(A&); };
> void f(A);
> const A a
> f(a); // viable function with exact match
> // construction fail later
The new is_convertible works "as expected" for the above A because it
figures that f isn't viable.
8.5/14/4/2 disagree - the function is viable and the initialization is
ill-formed.
I'll report this issue.
Rani
_______________________________________________
Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost
