Re: [boost] [result_of] now uses decltype on release branch

Subject: Re: [boost] [result_of] now uses decltype on release branch
From: Michel Morin (mimomorin_at_[hidden])
Date: 2012-09-10 22:38:56

Eric Niebler wrote:
>> All the use of `std::declval<F>()(...)` is in decltype
>> and so I don't see any problem in the code.
>> Do you mean
>>     struct result_of_aux<
>>         F(Args...)
>>       , decltype(std::declval<F>()(std::declval<Args>()...), void ())
>>     >
>> can be a hard error?
>
> Yes indeedy.
>
>     struct X;
>     X foo();
>
>     typedef decltype(foo()) Y;          // OK
>     typedef decltype(foo(), void()) Z;  // ERROR

Ah yes, it indeed produces an error.
Thanks!

Regards,
Michel