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'