Re: [boost] boost::result_of

From: Peter Dimov (pdimov_at_[hidden])
Date: 2005-01-23 12:12:15

John Maddock wrote:
>> Yes.
>>
>> int(double) means call an object of type int with one argument of
>> type double.
>>
>> You need result_of<F(A)>, where F is as above, and A is the argument
>> type.
>
> Thanks, I kind of figured that out eventually, I understand why it's
> done that way, but it wasn't obvious from the docs - or not late last
> yesterday afternoon anyway ;-)
>
> BTW, do you have any plans to apply result_of to reference_wrapper to
> make TR1 conforming (only if the compiler can cope obviously)?

I was going to play my usual "dependencies" tune, but it seems that 
boost/ref.hpp is already entangled in the MPL web, and indirectly, via 
addressof.hpp, in the type_traits web (only on MSVC 7.0, but bcp.exe doesn't 
know that, and neither will most of the users.)

Maybe I should just give up.

Then again, maybe not. I always get asked how can one separate bind and/or 
shared_ptr from the rest of Boost. Must be a social circle thing.

It would be easy to untangle boost/utility/addressof.hpp; it only includes 
add_pointer.hpp as part of a bug workaround by Dave Abrahams. Dave, do you 
remember the code that triggers the bug so we can add it to 
addressof_test.cpp?