利用.NET Code Contracts实现运行时验证

.NET的Contract类库是Declarative Programming实践的一部分，可以对日常编程带来很多好处： 提高代码可读性，使用者一看Require, Ensure就知道这方法接 ...