{"id":10615,"date":"2016-11-16T13:00:45","date_gmt":"2016-11-16T20:00:45","guid":{"rendered":"https:\/\/blogs.msdn.microsoft.com\/vcblog\/?p=10615"},"modified":"2019-02-18T18:04:34","modified_gmt":"2019-02-18T18:04:34","slug":"sfinae-update","status":"publish","type":"post","link":"https:\/\/devblogs.microsoft.com\/cppblog\/sfinae-update\/","title":{"rendered":"Updates to Expression SFINAE in VS 2017 RC"},"content":{"rendered":"

Throughout the VS 2015 cycle we’ve been focusing on the quality of our expression SFINAE implementation. Because expression SFINAE issues can be subtle and complex we’ve been using popular libraries such as Boost<\/a> and Microsoft’s fork of Range-v3<\/a>\u00a0to validate our implementation and find remaining bugs. As we shift the compiler team’s focus to Visual Studio 2017 release we’re excited to tell you about the improvements we’ve made in correctly parsing expression SFINAE.<\/p>\n

We’ve been tracking the changes and improvements to our parsing of expression SFINAE throughout the Visual Studio 2015 and 2017 cycle. The improvements added to VS 2017 RC (since VS 2015 Update 3) are listed below. We’ve also updated the original blog post<\/a> with our recent improvements so you can track all of our progress in one place. <\/p>\n

Improvements since Visual Studio 2015 Update 3<\/h3>\n

We now correctly compile code that constructs temporary objects as Range-v3 does extensively:<\/p>\n

\n\t\t#include <type_traits>\n\t\t\n\t\ttemplate<typename T, std::enable_if_t<std::is_integral<T>{}> * = nullptr>\n\t\tchar f(T *);\n\t\t\n\t\ttemplate<typename T>\n\t\tshort f(...);\n\t\t\n\t\tint main()\n\t\t{\n\t\t\tstatic_assert(sizeof(f<int>(nullptr)) == sizeof(char), "fail");\n\t\t\tstatic_assert(sizeof(f<int *>(nullptr)) == sizeof(short), "fail");\n\t\t}\n<\/pre>\n
We’ve also improved access checks for SFINAE which are illustrated in this code sample:<\/p>\n
\n\t\ttemplate <typename T> class S {\n\t\tprivate:\n\t\t\ttypedef T type;\n\t\t};\n\t\t\n\t\ttemplate <typename T> class S<T *> {\n\t\tpublic:\n\t\t\ttypedef T type;\n\t\t};\n\t\t\n\t\ttemplate <typename T, typename S<T>::type * = nullptr>\n\t\tchar f(T);\n\t\t\n\t\ttemplate<typename T>\n\t\tshort f(...);\n\t\t\n\t\tint main()\n\t\t{\n\t\t\tstatic_assert(sizeof(f<int>(0)) == 2, "fail"); \/\/ fails in VS2015\n\t\t\tstatic_assert(sizeof(f<int *>(nullptr)) == 1, "fail");\n\t\t}\n<\/pre>\n
Lastly, we’ve improved support for void_t<\/code> when used inside of a typename as found in Boost Hana:<\/p>\n
\n\t\ttemplate<typename T, typename U>\n\t\tstruct std_common_type {};\n\t\t\n\t\ttemplate<typename T>\n\t\tstruct std_common_type<T, T> { using type = T; };\n\t\t\n\t\ttemplate<typename T, typename U>\n\t\tstruct is_same { static const bool value = false; };\n\t\t\n\t\ttemplate<typename T>\n\t\tstruct is_same<T, T> { static const bool value = true; };\n\t\t\n\t\ttemplate<bool, typename T>\n\t\tstruct enable_if {};\n\t\t\n\t\ttemplate<typename T>\n\t\tstruct enable_if<true, T> { using type = T; };\n\t\t\n\t\ttemplate<typename...> using void_t = void;\n\t\t\n\t\ttemplate <typename T, typename U = T, typename = void>\n\t\tstruct EqualityComparable1 { static const bool value = false; };\n\t\t\n\t\ttemplate <typename T, typename U>\n\t\tstruct EqualityComparable1<T, U, typename enable_if<!is_same<T, U>::value, void_t<typename std_common_type<T, U>::type>>::type>\n\t\t{\n\t\t\tstatic const bool value = true;\n\t\t};\n\t\t\n\t\ttemplate <typename T, typename U = T, typename = void>\n\t\tstruct EqualityComparable2 { static const bool value = false; };\n\t\t\n\t\ttemplate <typename T, typename U>\n\t\tstruct EqualityComparable2<T, U, void_t<typename std_common_type<T, U>::type>>\n\t\t{\n\t\t\tstatic const bool value = true;\n\t\t};\n\t\t\n\t\tvoid f()\n\t\t{\n\t\t\tstruct S1 {};\n\t\t\tstruct S2 {};\n\t\t\tstatic_assert(!EqualityComparable1<S1, S2>::value, "fail"); \/\/ fails in VS2015\n\t\t\tstatic_assert(!EqualityComparable2<S1, S2>::value, "fail");\n\t\t}\n<\/pre>\n
In closing<\/h3>\n
As always, we welcome your feedback. Please give us feedback about expression SFINAE in the comments below or through e-mail at visualcpp@microsoft.com<\/a>.<\/p>\n
If you encounter other problems with Visual C++ in VS 2017 RC please let us know via the Report a Problem option, either from the installer or the Visual Studio IDE itself. For suggestions, let us know through UserVoice<\/a>. Thank you!<\/p>\n","protected":false},"excerpt":{"rendered":"
Throughout the VS 2015 cycle we’ve been focusing on the quality of our expression SFINAE implementation. Because expression SFINAE issues can be subtle and complex we’ve been using popular libraries such as Boost and Microsoft’s fork of Range-v3\u00a0to validate our implementation and find remaining bugs. As we shift the compiler team’s focus to Visual Studio […]<\/p>\n","protected":false},"author":312,"featured_media":35994,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[270],"tags":[100,116,248,323],"class_list":["post-10615","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-announcement","tag-c-language","tag-c11","tag-expression-sfinae","tag-sfinae"],"acf":[],"blog_post_summary":"
Throughout the VS 2015 cycle we’ve been focusing on the quality of our expression SFINAE implementation. Because expression SFINAE issues can be subtle and complex we’ve been using popular libraries such as Boost and Microsoft’s fork of Range-v3\u00a0to validate our implementation and find remaining bugs. As we shift the compiler team’s focus to Visual Studio […]<\/p>\n","_links":{"self":[{"href":"https:\/\/devblogs.microsoft.com\/cppblog\/wp-json\/wp\/v2\/posts\/10615","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/devblogs.microsoft.com\/cppblog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/devblogs.microsoft.com\/cppblog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/cppblog\/wp-json\/wp\/v2\/users\/312"}],"replies":[{"embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/cppblog\/wp-json\/wp\/v2\/comments?post=10615"}],"version-history":[{"count":0,"href":"https:\/\/devblogs.microsoft.com\/cppblog\/wp-json\/wp\/v2\/posts\/10615\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/cppblog\/wp-json\/wp\/v2\/media\/35994"}],"wp:attachment":[{"href":"https:\/\/devblogs.microsoft.com\/cppblog\/wp-json\/wp\/v2\/media?parent=10615"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/cppblog\/wp-json\/wp\/v2\/categories?post=10615"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/cppblog\/wp-json\/wp\/v2\/tags?post=10615"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}