什么是卫语句

在《阿里巴巴Java开发手册》中提到，多层条件语句建议使用卫语句、策略模式、状态模式等方式重构。

那么，什么是卫语句呢？

在中文维基百科中是这样介绍的

在计算机程序设计中，卫（guard）是布尔表达式，其结果必须为真，程序才能执行下去。卫语句（guard code或guard clause）用于检查先决条件。卫语句的用途，例如：
引用（reference）使用前检查是否为空引用；
处置模式使用一个布尔域，使得释放资源操作成为幂等运算，即多次释放资源等效于只释放一次。
卫语句可用于子进程的提前退出（early exit），这是结构化程序设计的一种常见偏离，可删除一层嵌套使得代码更扁平：把if guard { … }替代为：if not guard: return; …

而在英文维基百科中有这样一段话

Regardless of which programming language is used, guard clause, guard code, or guard statement, is a check of integrity preconditions used to avoid errors during execution.

重点关注avoid errors during execution，这里体现了guard是指什么，可以理解为代码中的保卫者，起到检查边界，保卫代码的作用。介绍有点绕人，但可以看出来卫语句并非Java所特有，这更像一种编程思想，我们看看两个例子吧。

例子

double GetPayAmount()
{ 
   
    double result;
    if (IsDead())
    { 
   
        result = DeadAmount();
    }
	else
    { 
   
       if (IsSeparated())
       { 
   
           result = SeparatedAmount();
       }
       else
       { 
   
           if (IsRetired())
           { 
   
               result = RetiredPayAmount();
           }
           else
           { 
   
               result = NormalPayAmount();
           }
       }
   }
   return result;
}

以上代码已经尽力做到简洁和清晰了，但是如果我们使用卫语句，将带来另一种效果：

double getPayAmount()
{ 
   
    if (isDead())
    { 
   
        return deadPayAmount();
    }
    if (isSeparated())
    { 
   
        return separatedPayAmount();
    }
    if (isRetired())
    { 
   
        return retiredPayAmount();
    }

    return normalPayAmount();
}

是不是逻辑更清晰明了了？

再看一个例子
if-else 语句一般在 for 循环里面使用，用于分支控制，如求 100 以内同时是 3、4、5 的倍数的题，如果我们根据题目所说的老老实实地判断符合倍数的情况，将会写成这样（假设每个 if 语句只判断一个条件）：

for (int i = 1; i <= 100; i++) { 
   
	if (i%3 == 0){ 
   
	    if (i%4 == 0){ 
   
	        if (i%5 == 0){ 
   
	            System.out.println(i);
	        }
	    }
	}
}

这就是前面说的 “横放着的金字塔”，而如果我们逆向思考，从是 3、4、5 的倍数的反面思考，也就是哪些情况不是 3、4、5 的倍数，先把这些情况摘出来，然后结束本次循环，继续找下一个数。这样我们就能防止多层嵌套了：

for (int i = 1; i <= 100; i++) { 
   
	if (i%3 != 0){ 
   
	    continue;
	}
	if (i%4 != 0){ 
   
	    continue;
	}
	if (i%5 != 0){ 
   
	    continue;
	}
	System.out.println(i);
}