Re: [boost] Re: is_convertible: rationale and wording

From: David Abrahams (dave_at_[hidden])
Date: 2003-04-26 11:41:04

Mike Conley <conley.141_at_[hidden]> writes:

> Actually, there is another advantage, which (I think) is at least as 
> important as the ones you cite.  Namely, it is possible to define a built 
> in operator such that is_convertible<Y,X> returns false for 
>
> class X{};
> class Y : X {};

    This one is sticky.

    class Y : X { true_type f() { return is_convertible<Y,X>::type(); } };
    false_type x = is_convertible<Y,X>::type();

-- 
Dave Abrahams
Boost Consulting
www.boost-consulting.com