5.3.2 前置检查逻辑详解