Code Contracts - Precondition Failed
Code Contracts 是微软对Programming By Contract的实现，它已经存在于.NET Framework 4.0和4.5中，在System.Diagnostics.Contracts名字空间下定义了可以用来编写Contract的代码。但是光有这些定义Contract的代码还是不够的，你还有在你的工程中启用Runtime或者是Static Contract检查才可以。否则
