继续探索with语句

在上一篇博客《漂亮的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

且不管业务,我们可以清晰地看到在allpreload函数增加了对{:error, _}分支的处理,这样就可以避免数据流动的管道不至于因为错误而终止。

如果使用with,虽然结构不如|>清晰直观,却可以避免在allpreload中去处理错误分支。因为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/1preload/2仅仅是对Repo.all/1Repo.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的奇妙之处。

原文发布于微信公众号 - 逸言(YiYan_OneWord)

原文发表时间:2017-04-20

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

发表于

我来说两句

0 条评论
登录 后参与评论

相关文章

来自专栏HTML5学堂

2016.07 第3周 群问题分享

HTML+CSS 怎么实现输入框高度自适应 2016.07.18~2016.07.22 核心内容 contenteditable 问题解析 因为textarea...

2748
来自专栏Java3y

DOM编程

什么是DOM? DOM(Document Object Model)文档对象模型,是语言和平台的中立接口。。 允许程序和脚本动态地访问和更新文档的内容。 为什么...

3037
来自专栏逸鹏说道

CPP--借助神器VS理解内存存储

之前也有想了解这些,第一个不是学底层的不知道从何理解,第二个上网搜概念,大牛们三言两语就结束了,举得例子也比较复杂,对于非C方向的可能有点吃力,所以一直没理解。...

2545
来自专栏前端架构

ES5中新增的Array方法详细说明

by zhangxinxu from http://www.zhangxinxu.com

771
来自专栏对角另一面

读Zepto源码之Event模块

Event 模块是 Zepto 必备的模块之一,由于对 Event Api 不太熟,Event 对象也比较复杂,所以乍一看 Event 模块的源码,有点懵,细看...

2170
来自专栏Coco的专栏

【深入浅出jQuery】源码浅析2--奇技淫巧

1418
来自专栏小白安全

XSS防御速查表

一、介绍 本文提供了一种通过使用输出转义/编码来防止XSS攻击的简单有效模型。尽管有着庞大数量的XSS攻击向量,依照下面这些简单的规则可以完全防止这种...

4306
来自专栏对角另一面

读Zepto源码之Form模块

Form 模块处理的是表单提交。表单提交包含两部分,一部分是格式化表单数据,另一部分是触发 submit 事件,提交表单。 读 Zepto 源码系列文章已经放到...

1940
来自专栏技术墨客

React 虚拟Dom渲染算法

React提供了一系列声明性的API接口,因此在使用时不必担心每次库的更新会修改API接口。这样可以降低编写应用的复杂度,但是带来的问题是无法很好的理解Reac...

1055
来自专栏谦谦君子修罗刀

RN生命周期-陪你到繁花落尽

有些事情,由天注定,从出生开始,到死亡结束。一个转身就是沧海桑田。 有些代码,由你书写,从出生开始,到死亡结束。一次擦肩就是bug满天飞~ ok,你以为我还是...

27510

扫描关注云+社区