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

From: David Abrahams (dave_at_[hidden])
Date: 2004-09-13 09:36:21

Daniel Wallin <dalwan01_at_[hidden]> writes:

> 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..

I don't understand why you'd want that.  But maybe I don't understand
what "that" is.

> check_swap<> can be written:
>
>    BOOST_RESULT_CHECK(2, swap, swap, swap(_1, _2))
>              arity ---^    ^     ^     ^
>         trait name --------'     |     |
>      overload name --------------'     |
>         expression --------------------'
>
> -- 
> Daniel Wallin
>
> _______________________________________________
> Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost
>

-- 
Dave Abrahams
Boost Consulting
http://www.boost-consulting.com