简化条件表达式之以卫语句取代嵌套条件表达式(Replace Nested Conditional With Guard Clauses)

Posted newbee0101

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了简化条件表达式之以卫语句取代嵌套条件表达式(Replace Nested Conditional With Guard Clauses)相关的知识,希望对你有一定的参考价值。

函数中的条件逻辑使人难以看清正常的执行途径。使用卫语句表现所有特殊情况。

动机:条件表达式通常有2种表现形式。第一:所有分支都属于正常行为。第二:条件表达式提供的答案中只有一种是正常行为,其他都是不常见的情况。

       这2类条件表达式有不同的用途。如果2条分支都是正常行为,就应该使用形如if…..else…..的条件表达式;如果某个条件极其罕见,就应该单独检查该条件,并在该条件为真时立刻从函数中返回。这样的单独检查常常被称为“卫语句”。

       Replace Nested Conditional with Guard Clauses (以卫语句取代嵌套条件表达式)的精髓是:给某个分支以特别的重视。它告诉阅读者:这种情况很罕见,如果它真的发生了,请做一些必要的整理工作,然后退出。

       “每个函数只能有一个入口和一个出口”的观念,根深蒂固于某些程序员的脑海里。现今的编程语言都会强制保证每个函数只有一个入口,至于“单一出口”规则,其实不是那么有用。保持代码清晰才是最关键的:如果单一出口能使这个函数更清晰易读,那么就使用单一出口;否则就不必这么做。

做法:1、对于每个检查,放进一个卫语句。卫语句要不就从函数返回,要不就抛出一个异常。

       2、每次将条件检查替换成卫语句后,编译并测试。如果所有卫语句都导致相同的结果,请使用 Consolidate Conditional Expression (合并条件表达式)。

   范例

   想像一个薪资系统,其中以特殊规则处理死亡员工、驻外员工、退休员工的薪资。这些情况不常有,但的确偶而会出现。

   假设我在这个系统中看到下列代码

double getPayAmount() {

   double result;

   if (_isDead) result = deadAmount();

   else {

       if (_isSeparated) result = separatedAmount();

       else {

           if (_isRetired) result = retiredAmount();

           else result = normalPayAmount();

       };

   }

return result;

};

在这段代码中,非正常情况的检查掩盖了正常情况的检查,所以应该使用『卫语句」来取代这些检查,以提高程序清晰度。我可以逐一引入卫语句。让我们从最上面的条件检查动作开始:

double getPayAmount() {

   double result;

   if (_isDead) return deadAmount();

   if (_isSeparated) result = separatedAmount();

   else {

       if (_isRetired) result = retiredAmount();

       else result = normalPayAmount();

   };

   return result;

};

 

然后,继续下去,仍然一次替换一个检查动作:

double getPayAmount() {

   double result;

   if (_isDead) return deadAmount();

   if (_isSeparated) return separatedAmount();

   if (_isRetired) result = retiredAmount();

   else result = normalPayAmount();

   return result;

};

然后是最后一个:

double getPayAmount() {

   double result;

   if (_isDead) return deadAmount();

   if (_isSeparated) return separatedAmount();

   if (_isRetired) return retiredAmount();

   result = normalPayAmount();

   return result;

};

此时,result 变量已经没有价值了,所以我把它删掉:

double getPayAmount() {

   if (_isDead) return deadAmount();

   if (_isSeparated) return separatedAmount();

   if (_isRetired) return retiredAmount();

  return normalPayAmount();

};

嵌套(nested)条件代码往往由那些深信「每个函数只能有一个出口」的程序员写出。Martin Fowler发现那条规则(函数只能有一个出口)实在有点太简单化了。如果对函数剩余部分不再有兴趣,当然应该立刻退出。引导阅读者去看一个没有用的else 区段,只会妨碍他们的理解

 

范例:将条件逆反(Reversing the Conditions)

public double getAdjustedCapital() {

    double result = 0.0;

    if (_capital > 0.0) {

      if (_intRate > 0.0 && _duration > 0.0) {

        result = (_income / _duration) * ADJ_FACTOR;

      }

    }

    return result;

  }

同样地,我逐一进行替换。不过这次在插入卫语句(guard clauses)时,我需要将相应的条件逆反过来:

public double getAdjustedCapital() {

       double result = 0.0;

    if (_capital <= 0.0) return result;

       if (_intRate > 0.0 && _duration > 0.0) {

         result = (_income / _duration) * ADJ_FACTOR;

       }

       return result;

   }

下一个条件稍微复杂一点,所以我分两步进行逆反。首先加入一个"logical-NOT"操作

 public double getAdjustedCapital() {

      double result = 0.0;

      if (_capital <= 0.0) return result;

    if (!(_intRate > 0.0 && _duration > 0.0)) return result;

      result = (_income / _duration) * ADJ_FACTOR;

      return result;

  }

但是在这样的条件式中留下一个"logical-NOT",会把我的脑袋拧成一团乱麻,所以我把它简化成下面这样:

 public double getAdjustedCapital() {

      double result = 0.0;

      if (_capital <= 0.0) return result;

      if (_intRate <= 0.0 || _duration <= 0.0) return result;

      result = (_income / _duration) * ADJ_FACTOR;

      return result;

  }

这时候我比较喜欢在卫语句(guard clause)内返回一个明确值,因为这样我可以一 目了然地看到卫语句返回的失败结果。此外,这种时候我也会考虑使用Replace Magic Number with Symbolic Constant 。

 public double getAdjustedCapital() {

      double result = 0.0;

      if (_capital <= 0.0) return 0.0;

      if (_intRate <= 0.0 || _duration <= 0.0) return 0.0;

      result = (_income / _duration) * ADJ_FACTOR;

      return result;

  }

完成替换之后,我同样可以将临时变量移除:

public double getAdjustedCapital() {

      if (_capital <= 0.0) return 0.0;

      if (_intRate <= 0.0 || _duration <= 0.0) return 0.0;

    return (_income / _duration) * ADJ_FACTOR;

  }

引用 重构改善代码的既有设计

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

以上是关于简化条件表达式之以卫语句取代嵌套条件表达式(Replace Nested Conditional With Guard Clauses)的主要内容,如果未能解决你的问题,请参考以下文章

简化条件表达式

4.5 以卫语句取代嵌套条件式

简化条件表达式之以多态取代条件表达式(Replace Conditional with Polymorphism)

Simplifying Conditional Expressions(简化条件表达式)

卫语句

简化条件表达式之移除控制标记(Remove Control Flag)