2.4.1 前置条件与后置条件