如何正確的理解循環不變式

循環不變式是指某條件成立時，執行代碼。 一般循環則是單純的，根據需要循環的次數循環，不考慮其他因素。

循環不變式的3個性質：

1、初始化：在第一次循環前是正確的。

2、保持：在循環迭代中是正確的。

3、終止：當循環結束時是正確的。