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