type_traits : conditional, underlying_typeを追加