驗證應用程序塊和.NET 4.0代碼合同

Question

是否有人在.NET 4.0中與代碼合同一起實現了企業庫VAB？

如果是這樣，你能分享一些見解嗎？它有助於表現嗎？任何其他因素需要考慮？

Answer 1

兩個框架都有不同的範圍，因此可以很容易地在同一個項目中使用它們。但是，您必須防止在您的域實體中使用代碼合同。當你這樣做時，所有的調用者都必須確保它們不會設置無效的值（當你這樣做的時候會發生編譯時錯誤）。但是，通過驗證應用程序塊，您的實體必須被允許具有（暫時）無效狀態。否則VAB無法檢測到無效的對象。

讓我說吧，否則，Code Contracts是爲了防止編程錯誤，而不是用戶錯誤，並且它爲編譯時提供了支持。 VAB防止用戶錯誤，而不是編程錯誤*併爲此提供運行時支持。 *好吧，VAB也可以用於編程錯誤（事實上，我自己也是這樣使用它），但主要場景是用戶輸入IMO。