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