C# 代码合同——如何确保项目集合包含具有唯一属性的项目？

Question

基本上，我有以下几点：

public class MyClass
{
    public MyClass(ICollection<MyObject> coll)
    {
        Contract.Requires(coll != null);
        Contract.Requires(Contract.ForAll(coll, obj => obj != null));
        Contract.Requires(Contract.ForAll(coll, obj => (????)); //What goes here?
    }
}

public class MyObject
{
    public object PropA { get; set; }
    public object PropB { get; set; }
}

要求是：

• 集合中的所有 PropA 项目都是唯一的（没有重复）
• 集合中的所有 PropB 项目都是唯一的（没有重复）

似乎无法弄清楚我的 Contract.ForAll(...) 声明在这里做什么。

---

奖励：如果我可以组合 Contract.ForAll(...) 语句而不破坏代码合同？

Answer 1

我可能完全不在这里，从未使用过合同，但假设Contract.Requires 可以传递任意bool，你不能这样做：

Contract.Requires(coll.GroupBy(o => o.PropA).Count() == coll.Count);

PropB 也类似？

Answer 2

我相信以下方法应该可以解决问题：

Contract.Requires(
    Contract.ForAll(
        coll, 
        obj => (coll.Where(x=>x.PropA = obj.PropA).Count==1)
    )
);

理论是它只过滤 coll 到那些 PropA 的值与我们正在查看的对象相同的元素。应该只有其中之一（本身）。

你可以对 B 进行类似的重复。

理论上，结合 ForAll lambda 表达式是微不足道的，但我不确定你是否愿意。当然，最好知道哪个条件失败了，而不是把它们混为一谈，知道某事失败了，但实际上不是什么......

如果你可以在格式上留一点余地，你可以试试：

Contract.Requires(
    Contract.ForAll(
        coll.GroupBy(x=>x.PropA), 
        group => group.Count==1)
    )
);

这是一个类似的原则，但我认为会更有效地进行计数，因为 group by 和 count 会更有效（我认为 - 我没有测试过并且不熟悉 linq 方法的内部工作原理）。

另一种方法：

HashSet<object> propAValues = new HashSet<object>();
Contract.Requires(
    !coll.Any(x=>!hashset.Add(x.PropA))
);

这使用了一个哈希集，如果元素已经存在，则 Add 返回 false。在这种情况下，当 Add 生成 false（因此 lambda 表达式为 true）时，Any 将返回 true，因为它被否定，所以测试失败。

此方法是否合理可能取决于您的对象有多大（以及加倍对象集的潜在内存影响。然而，与此处的其他方法相比，它需要最少的迭代来终止（因为其他方法需要查看集合中的每个对象，可能会多次查看，而最后一个可能会在查看两个条目后停止）。