循环不变量重点概括

• 循环不变量即：在循环开始之前、循环的过程中、循环结束以后，变量的定义保持不变；
• 也可以简单地理解为：保持定义不变；
• 这是一条非常基本的编程准则，是我们「心中有，口中无」的东西。