[[189165]]

在上一篇博客《漂亮的with，魚與熊掌可以兼得》中，展現(xiàn)了with的優(yōu)雅之處，然而在比較with與|>時，言猶未盡，講得不夠透徹。

在那篇博客中，我說：

• 畢竟with/1并不是try/catch，它并不能捕獲執(zhí)行中拋出的錯誤，然后轉(zhuǎn)向else進行錯誤處理。只有當(dāng)模式匹配出現(xiàn)錯誤時，才會轉(zhuǎn)向else。
• 要優(yōu)雅地處理錯誤，并用優(yōu)雅的with/1將邏輯串聯(lián)起來，就需要重構(gòu)get_user，get_response，send_response等函數(shù)。當(dāng)程序邏輯正確時，返回一個tuple對象{:ok, result};如果出現(xiàn)錯誤，則返回{:error, error}。

如果進行了這樣的重構(gòu)，是否意味著|>也可以將健壯性與優(yōu)雅結(jié)合起來呢?因為在Elixir中，函數(shù)的定義使用了模式匹配，因此，在定義參與|>操作的函數(shù)時，可以通過模式匹配來考慮各種情況，這其中可以包含對{:error, error}情形的處理，使得數(shù)據(jù)流不至于在流經(jīng)該函數(shù)時因為錯誤而崩潰掉。

Joseph Kain在博客Learning Elixir's with給出了一個例子，執(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ù)增加了對{:error, _}分支的處理，這樣就可以避免數(shù)據(jù)流動的管道不至于因為錯誤而終止。

如果使用with，雖然結(jié)構(gòu)不如|>清晰直觀，卻可以避免在all與preload中去處理錯誤分支。因為with語句同樣使用了模式匹配，只要參與的方法不能滿足模式匹配的條件，就不會再執(zhí)行do，從而規(guī)避了錯誤引起的終止：

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僅僅是對Repo.all/1與Repo.preload/2的簡單封裝，所以可以進一步簡化代碼：

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 

多余的代碼被有效地清除了，而功能與健壯性并沒有得到任何降低。這是within的奇妙之處。

【本文為51CTO專欄作者“張逸”原創(chuàng)稿件，轉(zhuǎn)載請聯(lián)系原作者】

戳這里，看該作者更多好文