接口契约为接口指定条件。它们使用在关联于接口的独立类上，因为接口方法只能声明，而不能拥有方法体。对于抽象方法契约同样如此。
以下为一个使用契约的类：
.NET 4.0代码契约组件使用详解
0
相关文章
关注我们
接口契约为接口指定条件。它们使用在关联于接口的独立类上，因为接口方法只能声明，而不能拥有方法体。对于抽象方法契约同样如此。
以下为一个使用契约的类：
