前置条件和后置条件
前置条件和后置条件译⾃在这篇⽂章中,我们将讨论术语前置条件(Precondition)和后置条件(Postcondition)。前⾔“前置条件”和“后置条件”这两个词看起来很吓⼈,但理解起来并不复杂。定义⾸先,让我们以⼀种正式的⽅式来定义“前置条件”和“后置条件”这两个词。前置条件前置条件是在⽅法运⾏之前必须为真的条件(condition)或者说断⾔(predicate)。换句话说,该⽅法告诉使⽤...
2023-12-02 21 0
前置条件和后置条件译⾃在这篇⽂章中,我们将讨论术语前置条件(Precondition)和后置条件(Postcondition)。前⾔“前置条件”和“后置条件”这两个词看起来很吓⼈,但理解起来并不复杂。定义⾸先,让我们以⼀种正式的⽅式来定义“前置条件”和“后置条件”这两个词。前置条件前置条件是在⽅法运⾏之前必须为真的条件(condition)或者说断⾔(predicate)。换句话说,该⽅法告诉使⽤...