卫语句（guard clauses）是一种改善嵌套代码的优化代码。将经过多级嵌套的代码使用卫语句优化之后，代码嵌套层数可以降低，因此改使用卫语句能降低代码的复杂程度。卫语句是通过对原条件进行逻辑分析，将某些要害（guard）条件优先作判断，从而简化程序的流程走向，因此称为卫语句。

  卫语句往往用于对 if 条件嵌套代码的优化。比如，下面的 Java 代码的最大嵌套层数是 3（方法本身也算一层）。

    public int fun(boolean condition, int aPara, int bPara) {
        if (condition) {
            // TODO #1
            if (aPara > 0) {
                // TODO #2
                return aPara;
            }
            // TODO #3
        }
        // TODO #4
        return bPara;
    }

  但是，当使用了卫语句进行重构之后，最大嵌套层数变成了 2，如下所示。

    public int fun(boolean condition, int aPara, int bPara) {
        if (!condition) { // 注意：此处将上面的条件进行了取反
            // TODO #4
            return bPara;
        }
        // TODO #1
        if (aPara <= 0) { // 注意：此处将上面的条件进行了取反
            // TODO #3
            // TODO #4 // 注意：此处也是 #4
            return bPara; // 注意：此处将上面的返回值进行了变换
        }
        // TODO #2
        return aPara; // 注意：此处将上面的返回值进行了变换
    }

  卫语句的概念在拥有 if 语句的算法语言中更常见，如 Java、C++、C、Python、JavaScript 等。