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

From: Daniel Wallin (dalwan01_at_[hidden])
Date: 2004-09-13 05:38:13

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