衛語句

在計算機程序設計中 ， 衛 （ guard ） 是布爾表達式 ， 其結果必須爲真 ， 程序才能執行下去 。 衛語句 （ guard code或guard clause ） 用於檢查先決條件 。 衛語句的用途 ， 例如 ： 引用 （ reference ） 使用前檢查是否爲空引用 ； 使用一個布爾域 ， 使得釋放資源操作成爲冪等運算 ， 即多次釋放資源等效於只釋放一次 。