循環不變式：個人理解爲具有循環不變性的循環變量
循環不變性：在程序循環中不斷的重複相同的動作的特性

排序中，每次循環都需要：
1. 保持元素還是原先的元素
2. 每一次的循環都能部分的排好順序

當程序結束的時候完成所有的排序