Eric Niebler wrote:
Great WG paper by Eric, Daniel and Joel:
std::result_of and SFINAE http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2012/n3436.html
Bravo!
Thanks. I'll be going to Portland to champion the proposal. I expect some wording tweaks, but for it to be otherwise uncontroversial. One wrinkle could be a late proposal by Bjarne and Andrew Sutton to change the rules of sfinae to obviate the need for hacks like this, but I don't think it should effect whether our resolution gets accepted or not.
After Portland, I'll post a message here to let folks know how it went.
Follow up: The paper was accepted. This wording, with minor edits, will be integrated into the working draft and will be part of the next standard (which is slated for 2014, btw).
That's nice, thanks for the follow-up!
Standard library vendors who haven't implemented it already will probably begin doing so shortly.
Now std::result_of and std::common_type are SFINAE-friendly in libstdc++. Regards, Michel