执行循环体时必须改变一个或多个变量的值，以保证经过有限次重复后，循环的控制条件不再被满足