当 x 为非零值时计算 y。条件表达式在 while 循环的开头进行求解，因此该循环可能从不执行。一旦条件为假且其返回在其主体中在前一个迭代上计算出的最后一个值，则循环停止迭代。