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