4.2.1 while语句的一般形式