C#代码协定Contract静态类Contract 类
Contract 类静态类Contract参考文档: 代码协定Contract命名空间:System.Diagnostics.Contracts包含用于表示程序协定（如前置条件Preconditions、后置条件Postconditions 和对象固定Invariants）的静态方法。注解代码协定类使你可以在代码中指定前置条件、后置条件和对象固定。前置条件是输入方法或属性时必须满足的要求。后置条件描述在方法或属性代码退出时的预期。对象固定条件描述了不存在任何...
