Re: [boost] result_of usability

From: Peter Dimov (pdimov_at_[hidden])
Date: 2008-05-01 15:13:52

David Abrahams:
> on Tue Apr 29 2008, "Daniel Walker" <daniel.j.walker-AT-gmail.com> wrote:
...
>> template <class F>
>> typename result_of<F const&()>::type
>> call(F const& f)
>> {
>>     return f();
>> }
> 
> Fine, then take the case where call takes f by value; then F can be a
> function type and result_of<F()> is illegal.

If you call

template <class F>
typename result_of<F()>::type
call( F f )
{
        return f();
}

with a function, F will be deduced as a function pointer.