循环不变量 在计算机科学中循环不变式loop invariant或循环不变量循环不变条件也有译作循环不变性是一组在循环体内每次迭代均保持为真的性质表达式通常被用来证明程式或伪码的正确性有时但较少情况下用以证明算法的正确性简单说来循环不变式是指在循环开始和循环中每一次迭代时为真的性质这意味着一个正确的循环体在循环结束时循环不变式和循环终止条件必须同时成立 由于循环和递归的相通证明带有不变式的循环的部分正确性和证明通过归纳的递归程序的正确性极其相似 循环不变代码外提Loopinvariant code motion是將循环內部不受循環影響的語句或表達式移到循環體之外和此條目提到的循环不变式無關係