代码协定（二）前置条件
前置条件用Contract.Requires方法。前置条件一般是在方法被调用时执行，一般是用来验证方法的参数是否符合业务逻辑，如果使用方法的参数，必须在Contract.Requires方法之后（因为这个方法是前置条件吗！）；并且，在使用Contract.Requires方法中用到的变量，必须和Contract.Requires所在的方法的访问修饰符相统一。下面是一个正确的前置条件，Re...
