Re: [boost] bind/lambda/phoenix and result_of

From: David Abrahams (dave_at_[hidden])
Date: 2006-05-09 19:28:55

"Arkadiy Vertleyb" <vertleyb_at_[hidden]> writes:

> "David Abrahams" <dave_at_[hidden]> wrote
>
>> I can't ask my
>> library's users to register types.
>
> Don't you have to ask them to do something else, so that result_of works?

No, we'd implement the necessary type computations to make result_of
work.  Remember, result_of takes types as inputs, not objects.

So,

   result_of<bind_(std::minus<int>, int, _1_)>::type 

just requires that bind_ know about the types produced by boost::bind.
And in

   result_of<minus_(int, _1_)>::type 

minus_ would just have to know how the operator- in the lambda library
works.

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