7.4 循环与条件的结合——直到型循环