Re: [boost] Re: Review Request: FC++

From: Douglas Gregor (gregod_at_[hidden])
Date: 2003-10-09 15:07:12

On Thursday 09 October 2003 02:51 pm, Brian McNamara wrote:
> Hmm.  Is there some point in the design space here that optimizes all of
> the various considerations?

At the risk of being too cute, perhaps result_of<F> could be the name for 
metafunction_result_type_computer<F>. Then we have:

result_of<F(T1, T2, ..., TN)>::type returns the type of f(t1, t2, ..., tN) 
given an object f of type F and objects t1, t2, ..., tN of types T1, T2, ..., 
TN respectively

result_of<F>::apply<T1, T2, ..., TN>::type == result_of<F(T1,T2,...,TN)>::type

        Doug