Swift # 异常处理
面向轨道编程 - Swift 中的异常处理
问题
在开发过程中,异常处理算是比较常见的问题了。
举一个比较常见的例子:用户修改注册的邮箱,大概分为以下几个步骤:
- 接收到一个用户的请求:我要修改邮箱地址
- 验证一下请求是否合法,将请求进行格式转化
- 更新以前的邮箱地址记录
- 给新的邮箱地址发送验证邮件
- 将结果返回给用户
上面的步骤如果一切顺利,那代码肯定干净利落,但是人生不如意十有八九,上面的步骤很容易出现问题:
- 用户把邮箱地址填成了家庭地址
- 用户是个黑客,没登录就发送了更新请求
- 发送验证邮件的时候服务器爆炸了,发送邮件失败
各种异常都会导致这次操作的失败。
方案一
在传统的处理方案里,一般是遇到异常就往上抛:
这种方案想必大家都不陌生,比如下面这段代码:
NSError *err = nil; CGFloat result = [MathTool divide:2.5 by:3.0 error:&err]; if (err) { NSLog(@"%@", err) } else { [MathTool doSomethingWithResult:result] }
方案二
而另一种方案,则是将错误的结果继续往后传,在最后统一处理:
这种方案有两个问题:
- 在发生异常的时候,如何把异常继续传给下面的函数?
- 当整个流程结束的时候,一个函数如何输出多个结果?
车轨
我们把方案二抽象出来,就像是一段车轨:
对于同一个输入,会有 Success 和 Failure 两种输出结果,对于 Success 的情况,我们希望它能继续走到后面的流程里,而对于 Failure 的情况,它怎么处理并不重要,我们希望它能避开后面的流程:
于是乎,两段车轨拼接的时候,便成了这样:
那么三段什么的自然也不在话下了。我们把下面那根 Failure 的线路扩展一下,便会看到两条平行的线路,这便是“双轨模型” (Two Track Model) ,这是用“面向轨道编程”思想解决异常处理的理论基础。
这就是 “面向轨道编程” 。一开始我觉得这概念应该只是来搞笑的,仔细想想似乎倒也是很贴切。将事件流当做两条平行的轨道,如果顺利则在上行轨道,继续传递给下个业务逻辑去处理,如果出现异常也不慌,直接扔到下行轨道,一直在下行轨道传递到终点,在最后统一处理。
这样处理使得整个流程变成了一条双进双出的流水线,有点像是 shell 里的 pipeline ,上一次的输出作为下一次的输入,十分顺畅。而且拼接起来也很方便,我们可以把三段拼接成一段暴露给其他对象使用:
实现
接下来看看在 Swift 中如何应用这种思路处理异常。
首先我们需要两种类型的输出结果:
- 成功,返回某种类型的值
- 失败,返回一个 Error 对象或者失败的具体信息
照着这个想法,我们可以定义一个 Result 枚举用做输出:
enum Result<T> { case Success(T) case Failure(String) }
利用 Swift 的枚举特性,我们可以在成功的枚举值里关联一些返回值,然后在失败的情况下则带上失败的消息内容。不过 enum 目前还不支持泛型,我们可以在外面封装一个 Box 类来解决这个问题:
final class Box<T> { let value: T init(value: T) { self.value = value } } enum Result<T> { case Success(Box<T>) case Failure(String) }
再看下一开始我们举的那个例子,用这个枚举类重新写下就是这样的:
var result = divide() switch result { case .Success(let value): doSomethingWithResult(value) case .Failure(let errString): println(errString) }
“看起来好像也没什么嘛,你不还是用了个大括号处理两种情况嘛!”(嫌弃脸
确实正如这位热情的朋友所说,写完这个例子我也没觉得有什么优点,难道我就是来搞笑的?
“并不。”(严肃脸
栗子
接下来我们举个栗子玩一玩。为了更好的观赏效果,请允许我使用浮夸的写法和粗暴的命名举这个栗子。
比如对于即将输入的数字 x ,我们希望输出 4 / (2 / x - 1) 的计算结果。这里会有两处出错的可能,一个是 (2 / x) 时 x 为 0 ,另一个就是 (2 / x - 1) 为 0 的情况。
先看下传统写法:
let errorStr = "输入错误,我很抱歉" func cal(value: Float) { { println(errorStr) } else { let value1 = / value let value2 = value1 - { println(errorStr) } else { let value3 = / value2 println(value3) } } } cal() // 输入错误,我很抱歉 cal() // 4.0 cal() // 输入错误,我很抱歉
那么用面向轨道的思想怎么去解决这个问题呢?
大概是这个样子的:
final class Box<T> { let value: T init(value: T) { self.value = value } } enum Result<T> { case Success(Box<T>) case Failure(String) } let errorStr = "输入错误,我很抱歉" func cal(value: Float) { func cal1(value: Float) -> Result<Float> { { return .Failure(errorStr) } else { / value)) } } func cal2(value: Result<Float>) -> Result<Float> { switch value { case .Success(let v): )) case .Failure(let str): return .Failure(str) } } func cal3(value: Result<Float>) -> Result<Float> { switch value { case .Success(let v): { return .Failure(errorStr) } else { / v.value)) } case .Failure(let str): return .Failure(str) } } let r = cal3(cal2(cal1(value))) switch r { case .Success(let v): println(v.value) case .Failure(let s): println(s) } } cal() // 输入错误,我很抱歉 cal() // 4.0 cal() // 输入错误,我很抱歉
同学,放下手里的键盘,冷静下来,有话好好说。
反思
面向轨道之后,代码量翻了两倍多,而且似乎变得更难读了。浪费了大家这么多时间结果就带来这么个玩意儿,实在是对不起观众们热情的掌声。
仔细看下上面的代码, switch 的操作重复而多余,都在重复着把 Success 和 Failure 分开的逻辑,实际上每个函数只需要处理 Success 的情况。我们在 Result 中加入 funnel 提前处理掉 Failure 的情况:
enum Result<T> { case Success(Box<T>) case Failure(String) func funnel<U>(f:T -> Result<U>) -> Result<U> { switch self { case Success(let value): return f(value.value) case Failure(let errString): return Result<U>.Failure(errString) } } }
funnel 帮我们把上次的结果进行分流,只将 Success 的轨道对接到了下个业务上,而将 Failure 引到了下一个 Failure 轨道上。
接下来再回到栗子里,此时我们已经不再需要传入 Result 值了,只需要传入 value 即可:
func cal(value: Float) { func cal1(v: Float) -> Result<Float> { { return .Failure(errorStr) } else { / v)) } } func cal2(v: Float) -> Result<Float> { )) } func cal3(v: Float) -> Result<Float> { { return .Failure(errorStr) } else { / v)) } } let r = cal1(value).funnel(cal2).funnel(cal3) switch r { case .Success(let v): println(v.value) case .Failure(let s): println(s) } }
看起来简洁了一些。我们可以通过 cal1(value).funnel(cal2).funnel(cal3) 这样的链式调用来获取计算结果。
“面向轨道”编程确实给我们提供了一个很有趣的思路。本文只是一个简单地讨论,进一步学习可以仔细阅读后面的参考文献。比如 ValueTransformation.swift 这个真实的完整案例,以及 antitypical/Result 这个封装完整的 Result 库。文中的实现方案只是一个比较简单的方法,和前两种实现略有差异。
面向铁轨,春暖花开。愿每段代码都走在 Happy Path 上,愿每个人都有个 Happy Ending 。
文章来源:http://blog.callmewhy.com/2015/04/20/error-handling-in-swift/
|--> Copyright (c) 2015 Bing Ma.
|--> GitHub RUL: https://github.com/SpongeBob-GitHub
Swift # 异常处理的更多相关文章
- Swift异常处理:throw和rethrow
Swift异常处理体现了函数式语言的特性.因此我们能够传一个会抛出异常的函数闭包(高阶函数)作为參数传到还有一个函数中(父函数),父函数能够在子函数抛出异常时直接向上抛出异常,这时用rethrowke ...
- iOS - Swift 异常处理
前言 在 Swift 1.0 时代是没有异常处理和抛出机制的,如果要处理异常,要么使用 if else 语句或 switch 语句判断处理,要么使用闭包形式的回调函数处理,再要么就使用 NSError ...
- Swift异常处理
在Swift里,抛出的异常必须继承Error这个协议.那么这个协议是什么呢? 按住command再点击Error我们可以看到, public protocol Error { } extension ...
- Swift异常处理的try?与try!
首先要明白抛出异常后异常的运动:异常被抛出后,中断整个处理,异常不断向外层(范围)传递,直到遇到catch代码块群,会与catch代码块的条件进行匹配,匹配符合则进入此代码块处理.如果遇到没有条件的c ...
- swift 中异常的处理方法
swift 中什么时候需要处理异常,在调用系统某个方法的时,该方法最后有一个throws 说明该方法会抛出异常,如果一个方法抛出异常,那么需要对该异常进行处理 swift 异常处理提供了三种方法 方式 ...
- Swift try try! try?使用和区别
Swift try try! try?使用和区别 一.异常处理try catch的使用 1. swift异常处理 历史由来 Swift1.0版本 Cocoa Touch 的 NSError ,Swif ...
- Swift 使用 日常笔记
//------------------- var totalPrice: Int = { willSet(newTotalPrice) { //参数使用new+变量名且变量名首地址大写 printl ...
- Mac终端使用swift REPL异常处理方法
Mac终端使用swift REPL异常处理方法 终端使用swift命令出现 warning: Swift error in module libmarisa.dylibDebug info from ...
- Swift 2.0 异常处理
转自:http://www.jianshu.com/p/96a7db3fde00 WWDC 2015 宣布了新的 Swift 2.0. 这次重大更新给 Swift 提供了新的异常处理方法.这篇文章会主 ...
随机推荐
- nyoj 7 街区最短路径问题 【数学】
找出横纵坐标的中位数,怎么找:先对x排序找x的中位数x0,再对y排序找y的中位数y0:最后统计各点到中位数点(x0, y0)的总距离: 街区最短路径问题 时间限制:3000 ms | 内存限制:6 ...
- Webx框架:Valve详细解释
Valve请求,用于控制过程的操作.它采用责任设计模式链(类别似至struts拦截器).valve阀装置,阀控制水流量(网络请求)趋势. 他们阀门定义. public class MyValve im ...
- ATL 创COM物
我原来以前写dll创建过程,而直接使用LoadLibrary加载动态库. 但ATL提出了一个非常重要的特点是引入COM对象的概念. 首先. ATL active template library该活动 ...
- c# winform 中的 工具栏自动隐藏 splitter用法 带源码
c# winform 中的 工具栏自动隐藏 splitter用法 带源码 代码下载地址 http://download.csdn.net/detail/simadi/7649313
- javascript事件和事件处理
于js期间事件处理被分成三个步骤: 1.发生事件 2.启动事件处理程序 3.事件处理程序做出反应 事件处理程序的调用 1.在javascript中 在javascript中调用事件处理程序,首先要获得 ...
- linux下串口调试工具/串口终端推荐: picocom
对于picocom, kermit, minicom, picocom 最简单易用,也全然符合我的使用需求. 安装(mint / ubuntu): $ sudo apt-get install pic ...
- n每个计数的概率和发生骰子--动态规划
称号:该n骰子在地板上.所有点骰子的向上一面和一个S.进入n,打印S所有可能的值的概率. 声明思想非原创!仅仅因动态规划思想的使用非常好,记下. 分析:动态规划就是分阶段考虑问题.给出变量.找出相邻阶 ...
- ASP.NET Core官方资料入口
ASP.NET 5 has been renamed to ASP.NET Core 1.0 传送门
- Webpact打包React后端Node+Express
Webpact打包React后端Node+Express 前言 React官方推荐用Browserify或者Webpack 来开发React组件. Webpack 是什么?是德国开发者 Tobias ...
- JS列
watermark/2/text/aHR0cDovL2Jsb2cuY3Nkbi5uZXQvU2h1aVRpYW5OYWlMdW8=/font/5a6L5L2T/fontsize/400/fill/I0 ...