建站
咨詢
售后
建站咨詢
新聞中心
在上一篇博客《漂亮的with，魚與熊掌可以兼得》中，展現(xiàn)了with的優(yōu)雅之處，然而在比較with與|>時(shí)，言猶未盡，講得不夠透徹。
成都創(chuàng)新互聯(lián)于2013年創(chuàng)立，先為東坡等服務(wù)建站，東坡等地企業(yè)，進(jìn)行企業(yè)商務(wù)咨詢服務(wù)。為東坡企業(yè)網(wǎng)站制作PC+手機(jī)+微官網(wǎng)三網(wǎng)同步一站式服務(wù)解決您的所有建站問(wèn)題。
在那篇博客中，我說(shuō)：
- 畢竟with/1并不是try/catch，它并不能捕獲執(zhí)行中拋出的錯(cuò)誤，然后轉(zhuǎn)向else進(jìn)行錯(cuò)誤處理。只有當(dāng)模式匹配出現(xiàn)錯(cuò)誤時(shí)，才會(huì)轉(zhuǎn)向else。
- 要優(yōu)雅地處理錯(cuò)誤，并用優(yōu)雅的with/1將邏輯串聯(lián)起來(lái)，就需要重構(gòu)get_user，get_response，send_response等函數(shù)。當(dāng)程序邏輯正確時(shí)，返回一個(gè)tuple對(duì)象{:ok, result};如果出現(xiàn)錯(cuò)誤，則返回{:error, error}。
如果進(jìn)行了這樣的重構(gòu)，是否意味著|>也可以將健壯性與優(yōu)雅結(jié)合起來(lái)呢?因?yàn)樵贓lixir中，函數(shù)的定義使用了模式匹配，因此，在定義參與|>操作的函數(shù)時(shí)，可以通過(guò)模式匹配來(lái)考慮各種情況，這其中可以包含對(duì){:error, error}情形的處理，使得數(shù)據(jù)流不至于在流經(jīng)該函數(shù)時(shí)因?yàn)殄e(cuò)誤而崩潰掉。
Joseph Kain在博客Learning Elixir's with給出了一個(gè)例子，執(zhí)行了ecto查詢：
- defp results(conn, search_params) do
- conn.assigns.current_user
- |> Role.scope(can_view: Service)
- |> within(search_params)
- |> all
- |> preload(:user)
- end
- defp within(query, %{"distance" => ""}), do: {:ok, query}
- defp within(query, %{"distance" => x, "location" => l} do
- {dist, _} = Float.parse(x)
- Service.within(query, dist, :miles, l)
- end
- defp within(query, _), do: {:ok, query}
- defp all({:error, _} = result), do: result
- defp all({:ok, query}), do: {:ok, Repo.all(query)}
- defp preload({:error, _} = result), do: result
- defp preload({:ok, enum}, field) do
- {:ok, Repo.preload(enum, field)}
- end
且不管業(yè)務(wù)，我們可以清晰地看到在all與preload函數(shù)增加了對(duì){:error, _}分支的處理，這樣就可以避免數(shù)據(jù)流動(dòng)的管道不至于因?yàn)殄e(cuò)誤而終止。
如果使用with，雖然結(jié)構(gòu)不如|>清晰直觀，卻可以避免在all與preload中去處理錯(cuò)誤分支。因?yàn)閣ith語(yǔ)句同樣使用了模式匹配，只要參與的方法不能滿足模式匹配的條件，就不會(huì)再執(zhí)行do，從而規(guī)避了錯(cuò)誤引起的終止：
- defp results(conn, search_params) do
- with user <- conn.assigns.current_user,
- query <- Role.scope(user, can_view: Service),
- {:ok, query} <- within(query, search_params),
- query <- all(query),
- do: {:ok, preload(query, :user)}
- end
- defp within(query, %{"distance" => ""}), do: {:ok, query}
- defp within(query, %{"distance" => x, "location" => l} do
- {dist, _} = Float.parse(x)
- Service.within(query, dist, :miles, l)
- end defp within(query, _), do: {:ok, query}
- defp all(query), do: Repo.all(query)
- defp preload(enum, field) do: {:ok, Repo.preload(enum, field)}
由于all/1與preload/2僅僅是對(duì)Repo.all/1與Repo.preload/2的簡(jiǎn)單封裝，所以可以進(jìn)一步簡(jiǎn)化代碼：
- defp results(conn, search_params) do
- with user <- conn.assigns.current_user,
- query <- Role.scope(user, can_view: Service),
- {:ok, query} <- within(query, search_params),
- query <- Repo.all(query),
- do: {:ok, Repo.preload(query, :user)}
- end
多余的代碼被有效地清除了，而功能與健壯性并沒(méi)有得到任何降低。這是within的奇妙之處。
【本文為專欄作者“張逸”原創(chuàng)稿件，轉(zhuǎn)載請(qǐng)聯(lián)系原作者】
網(wǎng)頁(yè)標(biāo)題：繼續(xù)探索with語(yǔ)句的奇妙之處
文章路徑：http://www.dlmjj.cn/article/cdseooj.html
