后期条件

什么是后期条件？

后置条件是一个语句或一组语句，用于描述当操作完成其任务时如果为真则操作的结果。

Post Condition 语句指示当操作完成其任务时什么将是真的。

例子：

要确定一个数的平方根，前提是该数应大于零。POST 条件是在控制台上显示数字的平方根。