type_traits : is_convertibleを追加