Errors are values
原文地址 https://blog.golang.org/errors-are-values
Go程序员之间(特别是这些刚接触Go语言的新人)一个常见的讨论点是如何处理错误。谈话经常变成为对如下代码序列出现次数的感叹。
If err!=nil{
return err
}
我们最近扫描了我们可以找到的所有开源项目,并发现这个代码段每页或每两页只出现一次,比你相信的要少。然而,如果这种看法仍然存在:所有时候都必须输入
If err!=nil
一定有些地方是错误的,明显的目标就是Go本身。
这是不幸的,误导的,很容易纠正的。也许正在发生的事情是新的程序员问道“如何处理错误?”,学习这种模式,并停止在那里。在其他语言中,可能会使用try-catch块或其他这样的机制来处理错误。因此,程序员认为,当我用旧的语言使用try-catch时,我将在Go中输入err!=nil。随着时间的推移,Go代码收集了很多这样的片段,结果感觉很笨拙。
无论这个解释是否合适,很明显,这些Go程序员错过了关于errors的基本观点:错误是值(Errors are values)
值可编程,并且由于错误是值,所以可以对错误进行编程。
当然,一个涉及错误值的常见语句是测试它是否为nil,但是还有无数的其他东西可以使用错误值,并且应用某些其他的东西可以使你的程序更好,消除了大量样板(如果每个error通过一个死记硬背的if语句来判断)。
这是一个简单的例子,来自bufio包的Scanner类型。它的Scan方法执行底层I/O,这当然可能导致错误。然而Scan方法根本不会显示错误。相反,它返回一个布尔值,并且在扫描结束时用一个单独的方法报告是否发生错误。客户端代码如下所示:
scanner := bufio.NewScanner(input)
for scanner.Scan() {
token := scanner.Text()
// process token
}
if err := scanner.Err(); err != nil {
// process the error
}
当然,这里有个对err的nil检查,但它似乎只执行一次。Scan方法可以被定义为
func (s *Scanner) Scan() (token []byte, error)
然后示例用户代码可能如下:(取决于如何取得token)
scanner := bufio.NewScanner(input)
for {
token, err := scanner.Scan()
if err != nil {
return err // or maybe break
}
// process token
}
这不是很大的不同,但有一个重要的区别。在此代码中,客户端必须在每次迭代时检查错误,但在实际的Scan API中,将错误处理从关键的API元素中抽象出来,在token上迭代。使用真实的API,客户端代码感觉更自然:循环直到完成,然后判断错误。错误处理不会干扰控制流。
看内部发生了什么,当然是,一旦Scan遇到I/O错误,它会记录它并返回false。一个单独的方法Err会在客户端询问时报告错误值。简而言之,这与把 if err != nil放到任何地方或要求客户端在每个token后检查错误的做法是不一样的。它是用错误值进行编程。简单的编程,是的,但仍然编程。
值得强调的是,无论设计如何,程序检查errors是非常重要的,然而它们是暴露出来的。这里的讨论不是关于如何避免检查错误,它是关于使用语言来优雅地处理错误。
当我在东京参加2014年秋天的GoCon时,出现了重复性错误检查代码的主题。一个热心的gopher,在Twitter上的@jxck_,回应了熟悉的关于错误检查的感叹。他有一些代码看起来像这样:
_, err = fd.Write(p0[a:b])
if err != nil {
return err
}
_, err = fd.Write(p1[c:d])
if err != nil {
return err
}
_, err = fd.Write(p2[e:f])
if err != nil {
return err
}
// and so on
这是非常重复的。在真正的代码中(更长的),有更多的,所以使用一个helper函数重构是不容易的,但是在这种理想的形式中,一个关于错误变量的函数将有帮助
var err error
write := func(buf []byte) {
if err != nil {
return
}
_, err = w.Write(buf)
}
write(p0[a:b])
write(p1[c:d])
write(p2[e:f])
// and so on
if err != nil {
return err
}
这个模式运作良好,但是需要在每个执行写入操作的函数中有一个闭包;一个单独的helper函数使用起来是笨拙的,因为err变量需要在调用之间保持。
我们可以通过借用Scan方法的想法来使这个更整洁,更通用和可重用。我在讨论中提到了这种技术,但是@jxck_没有看懂如何应用它。经过长时间的交流,收到语言障碍的阻碍,我问道我是否可以借用他的笔记本电脑,并通过键入一些代码来给他看。
我定义了一个名为errWrite的对象,如下所示:
type errWriter struct {
w io.Writer
err error
}
并给它一个方法,write。它不需要具有标准的Write签名,小写部分来突出显示区别。write方法调用底层Writer的Write方法,并记录第一个错误以供将来参考:
func (ew *errWriter) write(buf []byte) {
if ew.err != nil {
return
}
_, ew.err = ew.w.Write(buf)
}
一旦发生错误,写入方法将变为无效,但是会保存错误值。
给出errWrite类型及其写入方法,可以重构以上代码:
ew:=&errWriter {w:fd}
ew.write(p0 [a:b])
ew.write(p1 [c:d])
ew.write(p2 [e:f])
// 等等
如果ew.err!= nil {
返回ew.err
}
这更干净,甚至与使用闭包相比,也使得实际的写入序列在页面上更容易看到。没有任何杂乱。使用错误值(和接口)编程使代码更好。
同一个软件包中的其他一些代码很可能会建立在这个想法上,甚至直接使用errWriter。
另外,一旦errWriter存在,还有更多的可以帮助,特别是在较少人为的例子中。它可以累加字节数。它可以将写入合并到单个缓冲区,然后可以原子传输。以及更多。
实际上,这种模式经常出现在标准库中。Archive/zip和net/http包使用它。这个讨论更为突出,bufio包的Writer实际上是一个errWriter想法的实现。虽然bufio.Writer.Write返回一个error,这主要是关于遵守io.Writer接口的形式。bufio.Writer的Write方法与上面的errWrite.write方法是一样,Flush报告错误,所以我们的例子可以这样写:
b := bufio.NewWriter(fd)
b.Write(p0[a:b])
b.Write(p1[c:d])
b.Write(p2[e:f])
// and so on
if b.Flush() != nil {
return b.Flush()
}
这种方法有一个明显的缺点,至少对于某些应用程序:无法知道错误发生之前完成了多少处理。如果这些信息很重要,则需要采用更细粒度的方法。通常,尽管如此,一个在末尾的完全或没有检查就足够了。
我们只看了一种避免重复错误处理代码的技术。请记住,使用errWrite或者bufio.Writer不是简化错误处理的唯一方法,而且这种方法不适用于所有情况。然而,重要的教训是errors是值,Go编程语言的全部功能可用于处理它们。
使用语言来简化错误处理。
但记住:无论你做什么,总是检查你的errors。
最后,关于我与@jxck_互动的完整故事,包括他录制的一点视频,请访问他的博客。
Errors are values的更多相关文章
- 再说表单验证,在Web Api中使用ModelState进行接口参数验证
写在前面 上篇文章中说到了表单验证的问题,然后尝试了一下用扩展方法实现链式编程,评论区大家讨论的非常激烈也推荐了一些很强大的验证插件.其中一位园友提到了说可以使用MVC的ModelState,因为之前 ...
- 【干货】如何通过OPC自定义接口来实现客户端数据的读取?
上篇博文分享了我的知识库,被好多人关注,受宠若惊.今天我把我在项目中封装的OPC自定义接口的程序分享一下.下面将会简单简单介绍下OPC DA客户端数据访问,以及搭配整个系统的运行环境. OPC(OLE ...
- 【GoLang】GoLang 官方 对 error 处理的意见
The Go Blog Errors are values 12 January 2015 A common point of discussion among Go programmers, esp ...
- 【GoLang】panic defer recover 深入理解
唉,只能说C程序员可以接受go的错误设计,相比java来说这个设计真的很差劲! 我认为知乎上说的比较中肯的: 1. The key lesson, however, is that errors ar ...
- MVC 登录认证与授权及读取登录错误码
最近悟出来一个道理,在这儿分享给大家:学历代表你的过去,能力代表你的现在,学习代表你的将来. 十年河东十年河西,莫欺少年穷 学无止境,精益求精 最近在自学MVC,遇到的问题很多,索性一点点总结下 ...
- MVC中Model,不仅仅只是数据的传递者
在Model使用的时候很多人回向以前写三层架构一样使用它,将Model作为数据的传递者. 比如常见的写法 public int Id { get; set; } public int RoleId { ...
- zookeeper 学习笔记 (C语言版本)
1.zookeeper简介 zookeeper是Hadoop的子项目,在大型分布式系统中,zookeeper封装好了一些复杂易出错的服务,提供简单易用的接口,给使用者提供高效稳定的服务.这些服务包括配 ...
- redux-form的学习笔记二--实现表单的同步验证
(注:这篇博客参考自redux-form的官方英文文档)左转http://redux-form.com/6.5.0/examples/syncValidation/ 在这篇博客里,我将用redux-f ...
- 小而美的 React Form 组件
背景 之间在一篇介绍过 Table 组件< React 实现一个漂亮的 Table > 的文章中讲到过,在企业级后台产品中,用的最多且复杂的组件主要包括 Table.Form.Chart, ...
随机推荐
- Mybatis(一)实现单表的增删改查
1.1 什么是Mybatis MyBatis 本是apache的一个开源项目iBatis, 2010年这个项目由apache software foundation 迁移到了google code,并 ...
- 初学PHP心得(第一天)
我是PHP初学者,听说女生挺适合学这门语言的.所以,我就下定决心,来好好的探究下它,希望它能成为我开启IT道路的第一道关卡. 今天心血来潮,来记录下一天的成果和收获吧.既然想法有了,那就要去实现它.于 ...
- Python中的冒泡排序
冒泡排序 冒泡排序(英语:Bubble Sort)是一种简单的排序算法.它重复地遍历要排序的数列,一次比较两个元素,如果他们的顺序错误就把他们交换过来.遍历数列的工作是重复地进行直到没有再需要交换,也 ...
- 一个三维点类Gpoint3的实现
1 类设计 基本功能 (1)默认构造时,自动初始化为(0,0,0): (2)支持点之间的加.减运算: (3)支持点与常量数据的加.减.乘除运算: (4)支持点之间的相等或不能判断 (5)如果把点类看作 ...
- 第四届河南省ACM 表达式求值 栈
表达式求值 时间限制: 1 Sec 内存限制: 128 MB 提交: 14 解决: 7 [提交][状态][讨论版] 题目描述 Dr.Kong设计的机器人卡多掌握了加减法运算以后,最近又学会了一些简 ...
- Java设计模式之单例模式详解
在Java开发过程中,很多场景下都会碰到或要用到单例模式,在设计模式里也是经常作为指导学习的热门模式之一,相信每位开发同事都用到过.我们总是沿着前辈的足迹去做设定好的思路,往往没去探究为何这么做,所以 ...
- C# Dictionary根据Key排序
using System; using System.Collections.Generic; using System.Linq; using System.Text; namespace Cons ...
- Nodejs的运行原理-科普篇
前言 Nodejs目前处境稍显尴尬,很多语言都已经拥有异步非阻塞的能力.阿里的思路是比较合适的,但是必须要注意,绝对不能让node做太多的业务逻辑,他只适合接收生成好的数据,然后或渲染后,或直接发送到 ...
- javascript设计模式——享元模式
前面的话 享元(flyweight)模式是一种用于性能优化的模式,“fly”在这里是苍蝇的意思,意为蝇量级.享元模式的核心是运用共享技术来有效支持大量细粒度的对象.如果系统中因为创建了大量类似的对象而 ...
- Java二分法
public class Dichotomy { //定义查找次数 static int count = 0; public static void main(Str ...