.NET的Contract类库是Declarative Programming实践的一部分，可以对日常编程带来很多好处：
Contract类本身已经在.NET 4.0之后集成进了System.Diagnostics.Contracts命名空间，但如果想使用Contract方法实现运行时的验证，还需要单独安装一个VS插件。装好之后，去项目属性里开启运行时检查：
这样每次编译项目的时候，插件里的ccrewrite工具会将Contract方法编译成有效的检查代码分别注入函数体的首尾。所以即使你把Contract.Ensures检查放在函数开头部分（这也是推荐做法），编译之后这部分逻辑依然会出现在函数末尾，检查函数结束条件是否满足。
需要注意的是，如果想要在Debug和Release Build都使用运行时验证功能，则需要在项目设置为Debug和Release编译时，分别设置打开Runtime check。
Contract的基本使用包括Requires和Ensures，Requires在方法开始时检查初始条件是否满足，通常用来做参数验证。Ensures方法用来在方法结束时检查执行结果是否符合预期，比如可以放在Property set方法的末尾检查Property是否被正确设置。
当检查失败时，默认会抛出ContractException，使用泛型的Requires和EnsuresOnThrow可以指定其他类型的异常。
public async void GetPage(string entryPageUrl) { Contract.Requires<ArgumentException>(Uri.IsWellFormedUriString(entryPageUrl, UriKind.Absolute)); ... }
Contract有一个很酷的feature，就是可以在接口里定义一些检查，要求所有的实现都满足这些检查条，这样就不用在接口的每个实现里分别定义相同的检查逻辑了，非常的优雅，也符合Declaration Programming的初衷。
以下是示例代码：
[ContractClass(typeof(IBookRepositoryContract))] public interface IBookRepository { string BookTitle { get; set; } void Create(string name, Stream blob); } [ContractClassFor(typeof(IBookRepository))] sealed class IBookRepositoryContract : IBookRepository { public string BookTitle { get { return null; } set { Contract.Requires(!string.IsNullOrWhiteSpace(value), "Book title must not be empty."); Contract.Requires(string.IsNullOrWhiteSpace(this.BookTitle), "Book title has already been set."); } } public void Create(string name, Stream blob) { Contract.Requires<InvalidOperationException>(!string.IsNullOrWhiteSpace(this.BookTitle), "Book title hasn't been set"); } }
这样所有IBookRepository的实现类都无需再定义这些检查了。
参考资料：
http://research.microsoft.com/en-us/projects/contracts/userdoc.pdf
http://blog.csdn.net/atfield/article/details/4465227
http://www.cnblogs.com/yangecnu/p/The-evolution-of-argument-validation-in-DotNet.html
此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。