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