while后一定赶进行时?