[boost] is_convertible love

[David Abrahams]

I'm in love with the new is_convertible; I can now detect "move-copy"
types like auto_ptr!  Could the old is_convertible do this?


    #include <boost/type_traits/is_convertible.hpp>
    #include <boost/static_assert.hpp>
    #include <memory>

    int main()
    {
        BOOST_STATIC_ASSERT(
            (boost::is_convertible<
                 std::auto_ptr<int>, std::auto_ptr<int>
             >::value));

        BOOST_STATIC_ASSERT(
            (boost::is_convertible<
                 std::auto_ptr<int>&, std::auto_ptr<int>
             >::value));

        BOOST_STATIC_ASSERT(
            (!boost::is_convertible<
                 std::auto_ptr<int> const&, std::auto_ptr<int>
             >::value));

        BOOST_STATIC_ASSERT(
            (!boost::is_convertible<
                 std::auto_ptr<int> const, std::auto_ptr<int>
             >::value));
    }

-Dave

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

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