从哪里开始代码合同？

Question

我看到了一个C＃代码合同的令人敬畏的演示，我想开始将它们实现为可能的代码。我希望我已经在我的代码中拥有了它们。一个人从哪里开始？

我没有拿走演示中的任何印刷材料。任何建议阅读？

有代码合同的初学者的任何建议？

在此先感谢您的帮助。

Answer 1

我这个维基描述Design by Contract开始。然后深入MS' implementation的文档。要真正将其应用于您的代码中，我想您几乎可以从任何地方开始，但可能从最不可能产生影响的区域开始。所以如果合适的话，可以添加一些Contract.Requires到ctor参数。当你感觉更舒适时，你可以将它们添加到界面中，但要注意这可能会让事情变得糟糕......但是以一种很好的方式。错误或警告意味着您违反了DbC，可能是Liskov Substitution Principle。

Answer 2

在Code Contracts项目页面提供的user manual非常好地描述了如何使用和代码合同的可能性。