5.4.3 while语句