在计算机程序设计中，卫（guard）是布尔表达式，其结果必须为真，程序才能执行下去。卫语句（guard code或guard clause）用于检查先决条件。卫语句的用途，例如：
概述.卫语句可用于子进程的提前退出（early exit），这是结构化程序设计的一种常见偏离，可删除一层嵌套使得代码更扁平： 把codice_1替代为：codice_2.在APL、Haskell、Clean、Erlang、occam、、OCaml、Swift与Scala程序设计语言中，这一术语有特殊含义