I intend for my question to be a follow up to: How do we use void_t for SFINAE?. I understand how void_t is used. I do not understand why it is necessary. Let's take the example from that SO questi...

C++20 has landed, bringing with it Concepts. If a project were to start now and target only C++20 and later standards, would it be appropriate to say previous forms of constraints are now supersede...

The 2nd edition of C++ Templates - The Complete Guide features the following code at page 435 #include <string> #include <type_traits> template<typename T, typename = void> struc...

I encountered some divergent behavior between clang and gcc recently regarding void_t property detection and protected/private class information. Consider a type trait defined as follows: #include...

In C++17, void_t allow to easily do SFINAE with class/struct templates: template <class T, class = void> struct test { static constexpr auto text = "general case"; }; template &lt...

Consider the following code: template <class F, class... Args, class = std::void_t<>> struct is_invokable : std::false_type {}; template <class F, class... Args> struct is_invoka...