Re: [boost] Re: [typeof][result_of] Separated at Birth?

From: Doug Gregor (dgregor_at_[hidden])
Date: 2005-06-09 13:11:04

On Jun 9, 2005, at 12:53 PM, Arkadiy Vertleyb wrote:

> "David Abrahams" <dave_at_[hidden]> wrote
>
>>   template <class F, class A>
>>   struct result_of<F(A)>
>>   {
>>       typedef typename BOOST_TYPEOF(make<F>() ( make<A>() ) ) type;
>>   };
>
> BTW, I was having (not typeof-related) problems trying to achieve this 
> kind
> of syntax in VC7.1 :-(
>
> http://lists.boost.org/boost/2005/06/27892.php
>
> "make<F>()(make<A>())" just doesn't work.  The only thing that kind of 
> works
> (but with a warning) is "F()(make<A>())".
>
> Am I missing something?

Should that be "make<F&>"? For workarounds, we could also declare a 
static member of type F.

        Doug