使用 Contracts 重写了基本集合类。