c# - 从哪里开始使用代码合同？

Question

我看到了一个很棒的 C# 代码契约演示，我想开始将它们实现到可能的代码中。我希望我的代码中已经有了它们。从哪里开始？

我没能从演示中拿走任何印刷材料。有什么推荐的读物吗？

对 Code Contracts 的初学者有什么建议吗？

在此先感谢您的帮助。

Answer 1

我将从描述按合同设计的Wiki 开始。然后深入了解有关MS 实施的文档。要将其实际应用到您的代码中，我想您几乎可以从任何地方开始，但也许从最不可能产生影响的区域开始。因此，如果合适的话，可能会在 ctor 参数中添加一些 Contract.Requires 。当您感觉更舒服时，您可以将它们添加到界面中，但请注意这可能会搞砸……但以一种好的方式。错误或警告意味着您违反了 DbC，并且可能违反了Liskov Substitution Principle。

Answer 2

Code Contracts项目页面上提供的用户手册很好地描述了如何使用和使用 Code Contracts 的可能性。