[boost] Re: Proposal for 'is_dereferenceable' and other templatemetafunctions

13 Sep 2004

      David Abrahams wrote:
...
Yeah, sure, I'm interested.  I still hope whoever's doing this won't
overlook free functions like swap ;-).
I checked it in to the sandbox.

   boost/result_check.hpp
   boost/libs/utility/test/result_check_test.cpp

It's missing a simple way to somehow specialize for fundamental types..

check_swap<> can be written:

   BOOST_RESULT_CHECK(2, swap, swap, swap(_1, _2))
             arity ---^    ^     ^     ^
        trait name --------'     |     |
     overload name --------------'     |
        expression --------------------'

-- 
Daniel Wallin