[[189165]]

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

在那篇博客中，我說：

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

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

Joseph Kain在博客Learning Elixir's with給出了一個例子，執行了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 

且不管業務，我們可以清晰地看到在all與preload函數增加了對{:error, _}分支的處理，這樣就可以避免數據流動的管道不至于因為錯誤而終止。

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

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專欄作者“張逸”原創稿件，轉載請聯系原作者】

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