后置条件 在计算机编程中后置条件指在执行一段代码后必须成立的条件或谓词 例如阶乘的结果应该是大于等于的整数