循环不变式

循环不变式：在循环中保持不变的一个性质。

比如：插入排序算法中每次外层迭代（ 循环 ）开始时，第1个元素～当前要排序的元素的前一个元素组成的子数组都是已经排好序的（这是一个性质）。

一个循环中可以有若干个循环不变式。