斷言(程式) - 维基百科，自由的百科全书
文章推薦指數： 80 %
在程式設計中，斷言（assertion）是一種放在程式中的一階邏輯（如一個結果為真或是假的邏輯判斷式），目的是為了標示與驗證程式開發者預期的結果－當程式執行到斷言的位置時，對應的斷言應該為真。
若斷言不為真時，程式會中止執行，並給出錯誤訊息。
例如，以下的程式包括二個斷言：
x > 0及x > 1，當程式執行到二個斷言對應的位置時，斷言的內容均為真。
程式設計者可以用斷言來標示程式，提供程式正確性的相關資訊。
例如在一段程式前加入斷言（先驗條件），說明這段程式執行前預期的狀態。<
