数组状态与集合操作

配齐数组增删改排序的不可变写法，给出变异方法禁用清单，用数据快照核对每次操作后的身份与一致性。