while先执行还是先判断