什么template <class = typename T::type>意思 您能否介绍我一些描述此规范的博客?
template <typename A>
struct B { typedef typename A::type type; };
template <
class T,
class = typename T::type, // SFINAE failure if T has no member type
class U = typename B<T>::type // hard error if T has no member type
// (guaranteed to not occur as of C++14)
> void foo (int);
Run Code Online (Sandbox Code Playgroud)