9.2.2 编码前提条件和后置条件