循环不变式是什么?

循环不变式是编程中验证循环正确性的关键概念，指在每次循环迭代前后都成立的条件。比如计算1到100的和，初始化时和为0，每次迭代加上当前数字，循环结束后和为5050。这个条件在循环开始前成立，每次迭代后仍成立，循环结束时得到正确结果。

循环不变式的作用

循环不变式能帮助程序员确保循环逻辑正确，避免错误。比如排序算法中，不变式可能表示“已排序部分始终有序”。通过验证每次迭代后不变式是否成立，可以确认循环最终能达成预期目标。这种方法在调试和优化代码时特别有用。