如何正确的理解循环不变式

循环不变式是指某条件成立时，执行代码。一般循环则是单纯的，根据需要循环的次数循环，不考虑其他因素。
循环不变式的3个性质：
1、初始化：在第一次循环前是正确的。
【如何正确的理解循环不变式】2、保持：在循环迭代中是正确的。
3、终止：当循环结束时是正确的。