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