下面代码sn-ps中class = void的作用是什么？
template< class, class = void >
struct has_type_member : false_type { };
template< class T >
struct has_type_member<T, void_t<typename T::type>> : true_type { };
【问题讨论】：
class = void，它也能工作，不是吗？
标签： c++ c++11 templates c++14 void
template< class, class = void >
struct has_type_member : false_type { };
这是你的默认结构模板，它要求 2 个模板参数，但第二个默认设置为 void，所以这个参数不需要显式指定，有点像默认函数参数。
然后：
template< class T >
struct has_type_member<T, void_t<typename T::type>> : true_type { };
是 has_type_member 结构的模板特化，如果 T::type 不存在（因此，语法无效），SFINAE 将排除此特化，否则将选择此特化。
第二个参数是模板特化所必需的，但我们不会在“备用”struct 中使用它，所以我们只是默认为void。
【讨论】：
class = std::void_t<> 来提示正在发生的事情。
class = void为什么不能省略？
class 以便它是一个 2 参数模板，用于专业化。您需要 = void 以便模板的用户只传递他们感兴趣的类型。