报告语句体始终执行 returnthrow 等终止语句的 if 语句中的 else 分支。 这种分支是冗余的,可以安全地省略。