在計算機科學中,不變條件是指,在程序執行過程或部分過程中,可始終被假定成立的條件。比如,循環不變條件是指在循環開始和結束後始終成立的條件。 本條目存在以下問題,請協助改善本條目或在討論頁針對議題發表看法。 此條目需要擴充。 (2013年9月1日) 此條目沒有列出任何參考或來源。 (2013年9月1日) 應用 不變條件在邏輯推理電腦程式正確性時,特別有用。優化編譯器理論、契約式設計設計方法論及形式方法,都十分依賴於電腦程式的不變條件。 程式設計師往往使用斷言來現式定義不變條件。一些面向對象程式語言也有特定語法定義類不變條件。 參考