衛語句

在電腦程式設計中，衛（guard）是布爾表達式，其結果必須為真，程序才能執行下去。衛語句（guard code或guard clause）用於檢查先決條件。衛語句的用途，例如：

• 引用（reference）使用前檢查是否為空引用；
• 處置模式使用一個布爾域，使得釋放資源操作成為冪等運算，即多次釋放資源等效於只釋放一次。

概述

衛語句可用於子進程的提前退出（early exit），這是結構化程序設計的一種常見偏離，可刪除一層嵌套使得代碼更扁平： 把if guard { ... }替代為：if not guard: return; ....

在APL、Haskell、Clean、Erlang、occam、Promela、OCaml、Swift與Scala程式語言中，這一術語有特殊含義。

Mathematica中，衛被稱為約束（constraints）。

形式化方法的一種語言，守衛命令語言中，衛是基礎概念。

在增強的模式匹配中，衛語句用於跳過一些即使結構匹配的模式。

條件語句中的布爾表達式也符合衛的定義，雖然被稱作「條件」。

下述Haskell語言的例子，衛出現在每對"|"與"="之間：

f x
 | x > 0 = 1
 | otherwise = 0

這類似於如下的數學表示的"if"與"otherwise" 子句就是衛語句：

$f(x)=\left\{{\begin{matrix}1&{\mbox{if }}x>0\\0&{\mbox{otherwise}}\end{matrix}}\right.$

如果有多個平行的衛語句，則按照自頂向下順序，第一個通過的分支被選擇。

例子

public string Foo(string username) {
    if (username == null) {
        throw new ArgumentNullException(nameof(username));
    }
    // Rest of the method code follows here...
}

外部連結

• Guard （頁面存檔備份，存於互聯網檔案館） in Free On-Line Dictionary of Computing - FOLDOC, Denis Howe (editor).
• The Haskell 98 Report, chapter 3 Expressions（頁面存檔備份，存於互聯網檔案館）.
• The Mathematica Book, section 2.3.5 Putting Constraints on Patterns
• The Glorious Glasgow Haskell Compilation System User's Guide, Version 6.4, section 7.3.2. Pattern guards