template<bool Condition, typename Then, typename Else = void>
if_ struct
Type selection: if_< Condition, Then, Else >::
Selectively defines type 'Then' or 'Else' based on the value of 'Condition'