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