Re: [boost] result_of<F()>::type is void ... why?

From: Tobias Schwinger (tschwinger_at_[hidden])
Date: 2007-05-22 18:06:15

Doug Gregor wrote:
> On May 21, 2007, at 4:20 PM, Tobias Schwinger wrote:
>>
>> What is decltype(an_int()) or decltype(non_callable()), then? No  
>> compile
>> error?!
> 
> An error.

Thanks. The opposite would've surprised me...

>> And isn't result_of working around a problem elsewhere in the language
>> (namely the non-lazy instantiation of the nullary call operator), in
>> fact making the switch to a decltype-based implementation harder?
> 
> As Peter noted, we'll also be using variadic templates, e.g.,

> 	template<typename T>
> 	struct reference_wrapper {
> 		T* ptr;
> 
> 		template<typename... Args>
> 		typename result_of<T(Args&&...)>::type
>   		operator()(Args&&... args);
> 	};

Wow! Those three features are certainly something to look forward to. I 
have to try your modified GCC, it seems...

Regards,
Tobias