从代码合同开始的位置？

Question

我看到了C＃Code Contracts的一个很棒的演示，我想开始在may代码中实现它们。我希望我已经在我的代码中拥有它们了。一个人从哪里开始？

我没有带走演示中的任何印刷品。有兴趣吗？

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

提前感谢您的帮助。

Answer 1

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

Answer 2

user manual项目页面上提供的Code Contracts，可以很好地描述如何使用以及代码合同的可能性。