先決條件

在計算機編程中 ， 先決條件或先驗條件指在執行一段代碼前必須成立的條件 。 如果先決條件被違反了 ， 則代碼將產生未定義行爲 ， 因此其預期的工作能否履行也是未知的 。 不正確的先決條件還可能引發安全問題 。 通常 ， 先決條件包括在關於這段代碼的文檔中 。 有時它可通過特定的語法結構 （ 如衛語句或斷言 ） 在代碼中進行檢測 。 例如 ， 階乘只定義於自然數 （ 大於等於零的整數 ） 。 因此計算階乘的程序將會假定輸入的值是一個整數 ， 並且它大於等於零 ， 這就是一個先決條件 。