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

From: Douglas Gregor (gregod_at_[hidden])
Date: 2003-10-10 13:31:58

On Friday 10 October 2003 04:07 am, Brian McNamara wrote:
> > Douglas Gregor <gregod_at_[hidden]> writes:
> > > 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
>
> Douglas: does the fact that result_of is (or will be in some TR?) a "std"
> entity hinder this?  Or were you imagining defining boost::result_of,
> which would do what std::result_of does, plus more?

The latter. And once MPL gets into a TR, we can propose the extension to 
result_of (if it isn't a moot point by then). 

        Doug