后置条件

什么是后置条件？

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

后置条件语句指示操作完成其任务时的结果。

例子：

求一个数的平方根，前提是该数必须大于零。POST 条件是数字的平方根显示在控制台上。