[boost] Re: is_convertible love

From: Rani Sharoni (rani_sharoni_at_[hidden])
Date: 2003-02-21 18:52:59

Rani Sharoni wrote:
> David Abrahams wrote:
>> David Abrahams <dave_at_[hidden]> 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