强调判断语句当中的子条件都至少执行一遍,而非判断结果的分支