從哪裏開始代碼合同？

Question

我看到了一個C＃代碼合同的令人敬畏的演示，我想開始將它們實現爲可能的代碼。我希望我已經在我的代碼中擁有了它們。一個人從哪裏開始？

我沒有拿走演示中的任何印刷材料。任何建議閱讀？

有代碼合同的初學者的任何建議？

在此先感謝您的幫助。

Answer 1

我這個維基描述Design by Contract開始。然後深入MS' implementation的文檔。要真正將其應用於您的代碼中，我想您幾乎可以從任何地方開始，但可能從最不可能產生影響的區域開始。所以如果合適的話，可以添加一些Contract.Requires到ctor參數。當你感覺更舒適時，你可以將它們添加到界面中，但要注意這可能會讓事情變得糟糕......但是以一種很好的方式。錯誤或警告意味着您違反了DbC，可能是Liskov Substitution Principle。

Answer 2

在Code Contracts項目頁面提供的user manual非常好地描述瞭如何使用和代碼合同的可能性。