类别的目的=C中的无效？[副本]

Question

下面的代码片段中的class=val的目的是什么？

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 { };

Answer 1

template< class, class = void >
struct has_type_member : false_type { };

这是您的默认结构模板，它要求两个模板参数，但第二个参数设置为默认值void，因此此参数不需要显式指定，有点像默认函数参数。

然后：

template< class T >
struct has_type_member<T, void_t<typename T::type>> : true_type { };

是您的has_type_member结构的模板特殊化，SFINAE将排除此特殊化，如果T::type不存在（因此，是无效的语法），如果它存在，它将以其他方式选择此特殊化。

第二个参数是模板专门化所必需的，但我们在“fallback”struct中不使用它，所以我们只是默认为void。