循环不变量

循环不变量，是指在循环过程中保持不变的量。
要写出正确的循环代码，就要定义清楚这个循环的循环不变量是什么，然后整个循环体的目的就是要维持这个循环不变量。