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