“直到”型 (do-while) 语句的特点：

先执行循环，然后判断条件是否成立.