Java應該在哪裡判斷List是否為空

Posted on by

前言

在新的一年，我又重新回到瞭Java技術棧(我肯定是瘋瞭！)。有句詩說得好，不識廬山真面目，隻緣身在此山中。我仍然喜歡函數式編程，但我現在需要離它遠一點，這樣才能更好地理解它。

在這篇博客中，我會分享一個在項目中遇到的問題，看看能不能有更好的解決方案。

一個問題

我們有一個函數，返回的是一個Panel List

public Optional<List<Panel>> generatePanels() {
    ...
    return panels;
}

在Controller層，如果Panel List為空，我們就返回404

Optional<List<Panel>> panels = generatePanels();
if(!panels.filter(panelList -> !panelList.isEmpty()).isPresent()){
    throw new NotFoundError("There is no panel")
}

工程裡調用這個函數的地方很多且邏輯一樣，這也就意味著會有很多這樣的重復代碼。

解決方案

我們可以把判斷Panel List是否為空的邏輯挪到generatePanels 函數裡面

public Optional<List<Panel>> generatePanels() {
    ...
    return panels.filter(panelList -> !panelList.isEmpty());
}

這樣調用該函數的地方不需要再做非空判斷，我們也可以直接把Optional傳給框架，由框架決定是否返回404。

但這裡有一個隱式上下文，也就是我們約定generatePanels隻要返回結果，就一定會返回一個非空的Panel List。我們需要時刻牢記這個約定，否則我們無法回答下面的質疑

Optional<List<Panel>> panels = generatePanels();
Panel firstPanel;
if(panels.isPresent()){
    firstPanel = panels.get().get(0); // List可能為空，這個操作會引起bug
}

我們當然可以添加一個測試來保證generatePanels永遠返回非空的Panel List，我們也可以添加詳盡的文檔來解釋這個函數的邏輯，但人們往往會忘記或忽略這些。就像超速，我們總是在提醒人們不要超速，甚至還制定瞭法律，但每年還是有很多人死於超速。

更好的方案

對於超速，更好的方案是從物理層面加以限制，例如在制造汽車的時候就使其速度不能超過60 km/h。

對於我們面臨的問題，更好的方案是從編譯器層加以限制，使其返回一個NonEmptyList。這樣我們不需要額外記住任何信息，這個函數的簽名就已經告訴我們它會做的事情。

以Scala代碼為例

def Option[NonEmptyList[Panel]] generatePanels() {
    ...
    val panels: Option[List[Panel]] = ...
    panels.flatMap(x=> NonEmptyList.fromList(x))
}

這樣我們可以很安全的拿到List的第一個元素

val panels: Option[NonEmptyList[Panel]] = generatePanels();
var firstPanel Panel;
if(panels.isSome()){
    firstPanel = panels.get().head;
}

總結

我們不應該僅僅依靠人們的腦子，我們要充分利用編譯器。一個正確的函數簽名可以從bug和debug中拯救我們。

在函數式編程中，我們總是在討論side-effect。以上面的場景為例，如果函數返回瞭一個List，但我們真實的目的其實是返回一個非空List，那麼對於調用者來說，非空的判斷邏輯就是side-effect, 因為它無法從函數簽名中看出來。從這個角度講，也許我們應該允許問題中的重復代碼存在，也就是說在每個調用的地方去判斷Panel List是否為空。

到此這篇關於Java應該在哪裡判斷List是否為空的文章就介紹到這瞭,更多相關Java判斷List是否為空內容請搜索WalkonNet以前的文章或繼續瀏覽下面的相關文章希望大傢以後多多支持WalkonNet！

推薦閱讀：