5.1.2 while语句的执行过程