[[410522]]

本文轉載自微信公眾號「前端萬有引力」，作者一川。轉載本文請聯系前端萬有引力公眾號。

簡化條件邏輯

常見的簡化條件邏輯方法有：

• 分解條件表達式
• 合并條件表達式
• 以衛語句取代嵌套條件表達式
• 以多態取代條件表達式
• 引入特例
• 引入斷言

1. 分解條件表達式

在程序編寫中，復雜的條件邏輯會導致算法復雜度上升，因為會根據不同的條件分支做出不同的事情，這樣便得到復雜冗長的函數。正如你所知道的，函數越大越長，代碼的可讀性就越低，在理解和閱讀就愈發困難。

在前面幾篇文章中，對于大塊頭函數可以根據功能意圖分解成幾個小型的函數，因此可以根據邏輯分支的意圖將條件邏輯函數分解。

原始代碼：

if(!have.before(plan.summerStart) && !plan.after(plan.summerEnd)){ 
  charge = quantity * plan.summerRate; 
}else{ 
  charge = quantity * plan.regularRate + plan.regularServiceCharge; 
} 

重構代碼：

charge = summer() ? summerCharge() : regularCharge(); 
 
function summer(){ 
  return !have.before(plan.summerStart()) && !have.aftet(plan.summerEnd()); 
} 
 
function summerCharge(){ 
  return quantity * plan.summerRate; 
} 
 
function regularCharge(){ 
  return quantity * plan.regularRate + plan.regularServiceCharge; 
} 

2. 合并條件表達式

在進行代碼的條件檢查，檢查條件雖有不同，但是處理事件的行為卻是一致的。與其使用條件邏輯處理事件，不如使用邏輯『或』和『與』將其合并成條件表達式，分解冗長的函數代碼。使用條件表達式可以讓代碼閱讀更清晰，提煉函數可以將條件函數的代碼邏輯提煉成獨立函數，可理清代碼意義。

具體的，進行合并條件表達式之時，必先確定其是否具有副作用，將查詢函數和修改函數分離處理。使用適當的邏輯運算符，將兩個邏輯條件表達式合并成一個。

原始代碼：

if(employee.seniority < 2) return 0; 
if(employee.months > 12) return 0; 
if(employee.time) return 0; 

重構代碼：

function func(){ 
  return (employee.seniority < 2) || (employee.months > 12) || employee.time) 
} 
 
if(func()) return 0; 

3. 以衛語句取代嵌套條件表達式

在條件表達式中通常有兩個風格：兩個條件分支都屬于正常行為，可以使用if...else...;只有一個條件分支時正常行為，另一個分支則是異常行為，即出現某個罕見條件應該單獨檢查(此為『衛語句』)，條件為真時立刻從函數中返回。

所謂『衛語句』取代嵌套條件表達式，就是給其中的某分支給予特別的重視。其實就是對條件語句不是一視同仁，而是倚重其中最重要的分支語句，讓讀者閱讀代碼時能夠一眼便能看透邏輯。

原始代碼：

function payMount(){ 
  let result; 
  if(isDead){ 
    result = amountFunc(); 
  }else{ 
    if(isSeparated){ 
      result = separatedAmout(); 
    }else{ 
      if(isRetired){ 
        result = retiredAmount() 
      }else{ 
        result = normalAmount(); 
      } 
    } 
  } 
  return result; 
} 

重構代碼：

function payMount(){ 
  if(isDead) result = amountFunc(); 
  if(isSeparated) result = separatedAmout(); 
  if(isRetired) result = retiredAmount(); 
  return normalAmount(); 
} 

4. 以多態取代條件表達式

在編程中復雜的條件邏輯是相當難理解的代碼，與其尋求給條件邏輯添加結構，不如拆分分支條件到不同的場景，即高階用例。在拆解復雜的條件邏輯時，有時發現條件邏輯本身結構足以表達，但使用類和多態能把邏輯拆分表達更清晰。

如果現有的類尚不具備多態行為，可創建工廠函數返回恰當的對象實例，在調用方法時即可獲得對象實例。可以將帶有條件的函數移到超類中，如果條件邏輯還未提煉到獨立的函數。任選子類在其中創建函數，將其進行覆寫超類中容納條件表達式的函數，將子類相關條件表達式分支復制到新函數進行調整。

原始代碼：

switch(user.type){ 
  case "UserName": 
    return "yichuan"; 
  case "UserAge": 
    return this.age > 18 ? "成年" : "未成年"; 
  case "UserUniversity": 
    return this.score > 600 ? "985高校" : "非985高校"; 
  default: 
    return "unknown"; 
} 

重構代碼：

class UserName{ 
  get detail(){ 
    return "yichuan"; 
  } 
} 
 
class UserAge{ 
  get detail(){ 
    return this.age > 18 ? "成年" : "未成年"; 
  } 
} 
 
class UserUniversity{ 
  get detail(){ 
    return this.score > 600 ? "985高校" : "非985高校"; 
  } 
} 

5. 引入特例

常見的重復代碼是：一個數據結構的使用者都在檢查某個特殊的值，且當這個特殊值出現時多做的處理也同樣。如果發現代碼中在多處以相同方式應對同個特殊值，就可以將處理邏輯整合在一塊。

處理重復代碼最好的方法時使用『特例』模式，創建一個特例元素，用來處理特例的共用行為，可用一個函數調用取代部分特例檢查邏輯。

通常的，特例有幾種表現形式，我們可以對常見方式進行處理。如：

• 只從對象中讀取數據，可以提供一個預先填充值的字面量對象
• 除獲取簡單數值外還需更多行為，則可以創建保函所有共有行為所對應的函數
• 特例對象可以封裝成類進行返回，亦可通過變換插入數據結構

//原始代碼 
if(flag === "unkown") name = "yichuan"; 
 
//重構代碼 
class User{ 
  get name(){ 
    return "yichuan"; 
  } 
} 

6. 引入斷言

在進行程序開發時，只有當某個條件為真時代碼才能正常運行，常規做法是使用注釋進行解釋。而使用斷言可以明確標明假設，因為其時一個條件表達式，應當總是恒等于真，斷言的失敗不應該被系統任何地方捕獲。

斷言在交流上具有很高的價值，可以解決了當下正在追蹤的錯誤，但是自測代碼降低了斷言在調試過程中的價值，因為逐步逼近的單元測試通常有助于調試。

原始代碼：

func(num){ 
  return (discountRate) ? num - (discountRate * num) : num; 
} 

重構代碼：

set discountRate(num){ 
  assert(null === num || num >= 0); 
  discountRate= num;   
} 

小結

在本文中，主要介紹了如何簡化條件邏輯，可以對條件邏輯進行操作，而代碼也變得更加清晰易懂。

參考文章

《重構──改善既有代碼的設計(第2版)》