lause）用于检查先决条件。卫语句的用途，例如：
概述.卫语句可用于子进程的提前退出（early exit），这是结构化程序设计的一种常见偏离，可删除一层嵌套使得代码更扁平： 把codice_1替代为：codice_2.在APL、Haskell、Clean、Erlang、occam、、OCaml、Swift与Scala程序设计语言中，这一术语有特殊含义。Mathematica中，卫被称为约束（constraints）。形式化方法的一种语言，守卫命令语言中，卫是基础概念。