後置條件

什麼是後置條件？

後置條件是描述如果操作完成其任務時為真，則該操作的結果的語句或語句集。

後置條件語句指示操作完成其任務後將為真的內容。

示例

要確定一個數字的平方根，前置條件是該數字應大於零。後置條件是在控制檯上顯示該數字的平方根。