type_traits : is_trivially_constructibleを追加