当方法结束时，后置条件表示其结果需要满足的契约。
Postconditions are contracts to be met when a methods ends, and are specified with Contract.Ensures() as in the next example
后置条件测试通常用方法返回值的断言来表示。
Postconditions are often expressed as assertions about method return values.
后置条件测试通常用方法返回值的断言来表示。
Postconditions are often expressed as assertions about method return values.
应用推荐