我在Microsoft网站上查找了差异，但看不到差异。网站链接如下
任何其他解释都很好
使用Visual Studio C#
最佳答案
Requires是一个先决条件，这意味着指定的条件必须在被调用方法的之前为。 Ensures是一个后置条件，这意味着该方法保证在方法调用完成之后，指定的条件将为真。
执行该方法时可能会违反先决条件和/或后置条件:分别在进入和退出方法时进行测试。不变条件是一个契约(Contract)，其中说指定条件始终成立。
阅读Bertrand Meyer的Object-Oriented Software Construction以获得更多[更多]详细信息。 Meyer的This paper更短[更短]。
关于c# - 契约(Contract)要求和契约(Contract)确保之间的差异，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/19647586/