前言

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

在這篇博客中，我會(huì)分享一個(gè)在項(xiàng)目中遇到的問(wèn)題，看看能不能有更好的解決方案。

一個(gè)問(wèn)題

我們有一個(gè)函數(shù)，返回的是一個(gè)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")
}

工程里調(diào)用這個(gè)函數(shù)的地方很多且邏輯一樣，這也就意味著會(huì)有很多這樣的重復(fù)代碼。

解決方案

我們可以把判斷Panel List是否為空的邏輯挪到generatePanels 函數(shù)里面

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

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

但這里有一個(gè)隱式上下文，也就是我們約定generatePanels只要返回結(jié)果，就一定會(huì)返回一個(gè)非空的Panel List。我們需要時(shí)刻牢記這個(gè)約定，否則我們無(wú)法回答下面的質(zhì)疑

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

我們當(dāng)然可以添加一個(gè)測(cè)試來(lái)保證generatePanels永遠(yuǎn)返回非空的Panel List，我們也可以添加詳盡的文檔來(lái)解釋這個(gè)函數(shù)的邏輯，但人們往往會(huì)忘記或忽略這些。就像超速，我們總是在提醒人們不要超速，甚至還制定了法律，但每年還是有很多人死于超速。

更好的方案

對(duì)于超速，更好的方案是從物理層面加以限制，例如在制造汽車的時(shí)候就使其速度不能超過(guò)60 km/h。

對(duì)于我們面臨的問(wèn)題，更好的方案是從編譯器層加以限制，使其返回一個(gè)NonEmptyList。這樣我們不需要額外記住任何信息，這個(gè)函數(shù)的簽名就已經(jīng)告訴我們它會(huì)做的事情。

以Scala代碼為例

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

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

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

總結(jié)

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

在函數(shù)式編程中，我們總是在討論side-effect。以上面的場(chǎng)景為例，如果函數(shù)返回了一個(gè)List，但我們真實(shí)的目的其實(shí)是返回一個(gè)非空List，那么對(duì)于調(diào)用者來(lái)說(shuō)，非空的判斷邏輯就是side-effect, 因?yàn)樗鼰o(wú)法從函數(shù)簽名中看出來(lái)。從這個(gè)角度講，也許我們應(yīng)該允許問(wèn)題中的重復(fù)代碼存在，也就是說(shuō)在每個(gè)調(diào)用的地方去判斷Panel List是否為空。

到此這篇關(guān)于Java應(yīng)該在哪里判斷List是否為空的文章就介紹到這了,更多相關(guān)Java判斷List是否為空內(nèi)容請(qǐng)搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！

最新評(píng)論