用于子进程的提前退出（early exit），这是结构化程序设计的一种常见偏离，可删除一层嵌套使得代码更扁平： 把codice_1替代为：codice_2.在APL、Haskell、Clean、Erlang、occam、、OCaml、Swift与Scala程序设计语言中，这一术语有特殊含义。Mathematica中，卫被称为约束（constraints）。形式化方法的一种语言，守卫命令语言中，卫是基础概念。在增强的中，卫语句用于跳过一些即使结构匹配的模式。条件语句中的布尔表达式也符合卫的