3.1.2 后置条件