循环不变式:在循环中保持不变的一个性质。 比如:插入排序算法中每次外层迭代( 循环 )开始时,第1个元素~当前要排序的元素的前一个元素组成的子数组都是已经排好序的(这是一个性质)。 一个循环中可以有若干个循环不变式。