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).
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk