[boost] Re: function (object) return and argument metafunctions?

From: David Abrahams (dave_at_[hidden])
Date: 2004-01-31 09:19:24

Douglas Paul Gregor <gregod_at_[hidden]> writes:

> On Fri, 30 Jan 2004, David Abrahams wrote:
>>
>> I know we've discussed this in the past, but did we ever settle on an
>> interface for deducing the return and parameter types of function
>> (object)s?  Doug G.'s result_of<F(a,b)> template works for return
>> types, but it's not very portable and is not even in Boost proper
>> AFAIK.
>
> I've been meaning to propose it for Boost (fast track? hmmmm), but we'll
> have to have some wrapper for braindead compilers without any partial
> specialization.
>
>>  Many function objects and all function pointers have specific
>> (non-templated) parameter types, and it would be extremely valuable
>> to be able to deduce those as well.
>
> Well, we could extend function_traits a bit...

Not another multi-valued traits blob, please!  I want metafunctions.
The best answer might be a single metafunction returning an MPL
sequence of argument types.

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