当方法结束时，后置条件表示其结果需要满足的契约。

Postconditions are contracts to be met when a methods ends, and are specified with Contract.Ensures() as in the next example

youdao

当方法结束时，后置条件表示其结果需要满足的契约。

Postconditions are contracts to be met when a methods ends, and are specified with Contract.Ensures() as in the next example

youdao