利用.NET Code Contracts实现运行时验证
.NET的Contract类库是Declarative Programming实践的一部分，可以对日常编程带来很多好处：提高代码可读性，使用者一看Require, Ensure就知道这方法接受什么输入，产生什么输出。减少重复的验证代码配合第三方工具，可以方便静态代码分析和单元测试，方便产生API文档，这些功能可以参见CodeContract主页Contract类本身已经在...
