C# 合同中的差异。要求和合同。确保

我在微软网站上查到了差异，但实际上看不到差异。网站链接如下

任何额外的解释都会很好

---

使用visual studio c#

需要

是一个先决条件，这意味着在调用方法之前，指定的条件必须为true

确保

是一个后置条件，这意味着方法保证在方法调用完成后指定的条件将为true

在方法执行时，可能会违反先决条件和/或后决条件：分别在进入和退出方法时进行测试。不变条件是一个契约，它说指定的条件总是成立的

---

更多细节请阅读。梅耶的短[短得多]。

不错。我还建议在pluralsight.com上开设

可证明代码

或

代码合同

课程。他们使用微软的代码合同对按合同设计进行了非常深入的研究