循环不变式:个人理解为具有循环不变性的循环变量 循环不变性:在程序循环中不断的重复相同的动作的特性 排序中,每次循环都需要: 1. 保持元素还是原先的元素 2. 每一次的循环都能部分的排好顺序 当程序结束的时候完成所有的排序