C++でのclass = voidの目的は？

Question

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

Answer 1

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

はT::typeが存在する（したがって、無効な構文です）していない場合SFINAEは、この専門分野を除外します、あなたのhas_type_member構造体のテンプレートの特殊化されており、それが存在しない場合、それが選択されますそうでなければこの専門化。

2番目のパラメータはテンプレートの特殊化に使用する必要がありますが、「代替」のstructでは使用しないため、デフォルトはvoidです。