Mike Conley <[EMAIL PROTECTED]> 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

_______________________________________________
Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost

Reply via email to