JavaScript模式匹配的未來
"你好,JavaScript!"
動手試試。這里有一個超基礎(chǔ)的函數(shù)叫做 greet,它接受一個帶有'ID'和'role'的用戶,并根據(jù)用戶角色返回問候語。聽起來簡單嗎?
function greet({id, role}) {
if (role == 'user'){
return `Hello User ${id}`;
}
if (role == 'admin'){
return `Hello Admin ${id}`;
}
if (role == 'owner'){
return `Hello Owner ${id}`;
}
throw `Invalid role: ${role}`;
}
這很像一個 switch 語句,但我們很難說這完全準確——它笨拙,充斥著討厭的if 語句,對于一個未定義的角色還有一個錯誤陷阱。
function greet({id, role}) {
switch (role){
case 'user':
return `Hello User ${id}`;
case 'admin':
return `Hello Admin ${id}`;
case 'owner':
return `Hello Owner ${id}`;
default:
throw `Invalid role: ${role}`;
}
}
switch 還可以,但這里我們遇到了一個問題--如果不使用一些奇怪的黑客手段,例如在 true 上進行切換,它就無法完成足夠的工作。
簡化復(fù)雜性的模式匹配藝術(shù)
模式匹配可以結(jié)束這種復(fù)雜性。想象一個你有一個 when 子句可以救我們擺脫這種冗長的迷宮的世界。
簡單地說,模式匹配允許我們檢查一個輸入是否符合一個模式或一個特定的類型。
在繼續(xù)之前,需求注意的——現(xiàn)在看的是一個提議。所以,這可能還不是最終的語法。
let greet = match (input) {
when { role: "user" }: `Hello User ${input.id}`,
when { role: "admin" }: `Hello Admin ${input.id}`,
when { role: "owner" }: `Hello Owner ${input.id}`,
_: throw `Invalid role: ${input.role}`,
}
在這里,match函數(shù)接受輸入,when子句檢查 input 中的角色是否匹配指定的角色 - user, admin, owner。
這樣更清晰,不是嗎?不再有 if或 switch clutter - 只有一個簡潔而干凈的表達式。這不僅允許更易讀和可維護的代碼,而且為基于輸入屬性的更簡單的“行內(nèi)”決策鋪平了道路,使條件、行為和結(jié)果非常容易同時閱讀。
這會改變JavaScript的未來嗎?
我真的相信模式匹配可以極大地改善JavaScript的未來。通過直接從Elixir這樣的其他語言中獲取關(guān)鍵的想法,并與JavaScript的強大靈活性結(jié)合,我們肯定可以為“JavaScript之家”增加一個頂石。
但是,我希望看到我們最喜歡的語言走得更遠,尤其是當模式匹配與函數(shù)定義結(jié)合使用時。這可能會讓我們走出舒適區(qū),但一旦你開始探索它,你就會意識到它所擁有的力量和它帶來的簡單性。
def greet(%{role: "user", id: id}), do: `Hello User #{id}`
def greet(%{role: "admin", id: id}), do: `Hello Admin #{id}`
def greet(%{role: "owner", id: id}), do: `Hello Owner #{id}`
def greet(%{role: _}), do: throw `Invalid role`
在這個 Elixir 代碼示例中,我們根據(jù)輸入重新定義了函數(shù)三次。除了它給予的直接清晰性外,解剖這一點,我們注意到它做了兩件事——它修剪了句法復(fù)雜性,顯著減少了理解代碼所需的心智負擔。
希望有一天JavaScript能夠?qū)崿F(xiàn)這種基于模式的函數(shù)重載,相信這將帶來一些最好的編程體驗。就JavaScript的未來而言,作者認為模式匹配是最令人興奮的前景之一。