先決條件- 維基百科，自由的百科全書 - Wikipedia
文章推薦指數： 80 %
先決條件
維基百科，自由的百科全書
跳至導覽
跳至搜尋
在計算機編程中，先決條件或先驗條件指在執行一段代碼前必須成立的條件。
如果先決條件被違反了，則代碼將產生未定義行為，因此其預期的工作能否履行也是未知的。
不正確的先決條件還可能引發安全問題。
通常，先決條件包括在關於這段代碼的文檔中。
有時它可通過特定的語法結構（如衛語句或斷言）在代碼中進行檢測。
例如，階乘只定義於自然數（大於等於零的整數）。
因此計算階乘的程序
