Category "sfinae"

Ambiguous partial specializations and enable_if_t

This question is due to insane curiosity rather than an actual problem. Consider the following code: template<typename...> struct type_list {}; template&

Is it possible to use 'if constexpr' to determine if a template function could be instantiated with a particular type parameter?

Suppose there exists the following code: class Foo { public: void foo() const { std::cout << "foo" << std::endl; } }; class Bar { public: