is_integral : 整数型と判定される型の例を記載
type_traits : is_trivially_move_assignableを追加