一. errors的基本应用
errors包是一个比较简单的包,包括常见的errors.new创建一个error对象,或通过error.error方法获取error中的文本内容,本质上在builtin类型中,error被定义为一个interface,这个类型只包含一个error方法,返回字符串形式的错误内容。
应用代码很简单:
// 示例代码 func oops() error { return errors.new("iam an error") } func print() { err := oops() fmt.println("oops, we go an error,", err.error()) }
通过errors.new方法,可以创建一个error对象,在标准库实现中,对应了一个叫errorstring的实体类型,是对error接口的最基本实现。
二. 错误类型的比较
代码中经常会出现err == nil 或者err == errnotexist之类的判断,对于error类型,由于其是interface类型,实际比较的是interface接口对象实体的地址。
也就是说,重复的new两个文本内容一样的error对象,这两个对象并不相等,因为比较的是这两个对象的地址。这是完全不同的两个对象
// 展示了error比较代码 if errors.new("hello error") == errors.new("hello error") { // false } errhello := errors.new("hello error") if errhello == errhello { // true }
在通常的场景中,能掌握errors.new()、error.error()以及error对象的比较,就能应付大多数场景了,但是在大型系统中,内置的error类型很难满足需要,所以下面要讲的是对error的扩展。
三. error的扩展
3.1 自定义error
go允许函数具有多返回值,但通常你不会想写太多的返回值在函数定义上(looks ugly),而标准库内置的errorstring类型由于只能表达字符串错误信息显然受限。所以,可以通过实现error接口的方式,来扩展错误返回
// 自定义error类型 type easyerror struct { msg string // 错误文本信息 code int64 // 错误码 } func (me *easyerror) error() string { // 当然,你也可以自定义返回的string,比如 // return fmt.sprintf("code %d, msg %s", me.code, me.msg) return me.msg } // easy实现了error接口,所以可以在oops中返回 func dosomething() error { return &easyerror{"easy error", 1} } // 业务应用 func dobusiness() { err := dosomething() e,ok := err.(easyerror) if ok { fmt.printf("code %d, msg %s\n", e.code, e.msg) } }
现在在自定义的错误类型中塞入了错误码信息。随着业务代码调用层层深入,当最内层的操作(比如数据库操作)发生错误时,我们希望能在业务调用链上每一层都携带错误信息,就像递归调用一样,这时可以用到标准库的unwrap方法
3.2 unwrap与nested error
一旦你的自定义error实现类型定义了unwrap方法,那么它就具有了嵌套的能力,其函数原型定义如下:
// 标准库unwrap方法,传入一个error对象,返回其内嵌的error func unwrap(err error) error // 自定义unwrap方法 func (me *easyerror) unwrap() error { // ... }
虽然error接口没有定义unwrap方法,但是标准库的unwrap方法中会通过反射隐式调用自定义类型的unwrap方法,这也是业务实现自定义嵌套的途径。我们给easyerror增加一个error成员,表示包含的下一级error
// type easyerror struct { msg string // 错误文字信息 code int64 // 错误码 nest error // 嵌套的错误 } func (me *easyerror) unwrap() error { return me.nest } func dosomething1() error { // ... err := dosomething2() if err != nil { return &easyerror{"from dosomething1", 1, err} } return nil } func dosomething2() error { // ... err := dosomething3() if err != nil { return &easyerror{"from dosomething2", 2, err} } return nil } func dosomething3() error { // ... return &easyerror{"from dosomething3", 3, nil} } // 可以很清楚的看到调用链上产生的错误信息 // output: // code 1, msg from dosomething1 // code 2, msg from dosomething2 // code 3, msg from dosomething3 func main() { err := dosomething1() for err != nil { e := err.(*easyerror) fmt.printf("code %d, msg %s\n", e.code, e.msg) err = errors.unwrap(err) // errors.unwrap中调用easyerror的unwrap返回子error } }
输出如下
$ ./sample
code 1, msg from dosomething1
code 2, msg from dosomething2
code 3, msg from dosomething3
这样就可以在深入的调用链中,通过嵌套的方式,将调用路径中的错误信息,携带至调用栈的栈底。
对于不同模块,返回的错误信息大不相同,比如网络通信模块期望错误信息携带http状态码,而数据持久层期望返回sql或redis commend,随着模块化的职能划分,每个子模块可能会定义自己的自定义error类型,这时在业务上去区分不同类别的错误,就可以使用is方法
3.3 errors.is方法与错误分类
以网络错误和数据库错误为例,分别定义两种实现error接口的结构networkerror和databaseerror。
// 网络接口返回的错误类型 type networkerror struct { code int // 10000 - 19999 msg string // 文本信息 status int // http状态码 } // 数据库模块接口返回的错误类型 type databaseerror struct { code int // 20000 - 29999 msg string // 文本错误信息 sql string // sql string }
networkerror与databaseerror都实现了error方法和unwrap方法,代码里就不重复写了。错误类型的划分,导致上层业务对error的处理产生变化:业务层需要知道发生了什么,才能给用户提供恰当的提示,但是又不希望过分详细,比如用户期望看到的是“数据访问异常”、“请检查网络状态”,而不希望用户看到“unknown column space in field list…”、“request timeout…”之类的技术性错误信息。此时is方法就派上用场了。
现在我们为网络或数据库错误都增加一个code错误码,并且人为对错误码区间进行划分,[10000,20000)表示网络错误,[20000,30000)表示数据库错误,我们期望在业务层能够知道错误码中是否包含网络错误或数据访问错误,还需要为两种错误类型添加is方法:
var( // 将10000和20000预留,用于在is方法中判断错误码区间 errnetwork = &networkerror{easyerror{"", 10000, nil}, 0} errdatabase = &databaseerror{easyerror{"", 20000, nil}, ""} ) func (ne networkerror) is(e error) bool { err, ok := e.(*networkerror) if ok { start := err.code / 10000 return ne.code >= 10000 && ne.code < (start 1)*10000 } return false } func (de databaseerror) is(e error) bool { err, ok := e.(*databaseerror) if ok { start := err.code / 10000 return de.code >= 10000 && de.code < (start 1)*10000 } return false }
与unwrap类似,is方法也是被errors.is方法隐式调用的,来看一下业务代码
func donetwork() error { // ... return &networkerror{easyerror{"", 10001, nil}, 404} } func dodatabase() error { // ... return &databaseerror{easyerror{"", 20003, nil}, "select 1"} } func dosomething() error { if err := donetwork(); err != nil { return err } if err := dodatabase(); err != nil { return err } return nil } func dobusiness() error { err := dosomething() if err != nil { if errors.is(err, errnetworks) { fmt.println("网络异常") } else if errors.is(err, errdatabases) { fmt.println("数据访问异常") } } else { fmt.println("everything is ok") } return nil }
执行dobusiness,输出如下:
$ ./sample
网络异常
通过is方法,可以将一批错误信息归类,对应用隐藏相关信息,毕竟大部分时候,我们不希望用户直接看到出错的sql语句。
3.4 errors.as方法与错误信息读取
现在通过is实现了分类,可以判断一个错误是否是某个类型,但是更进一步,如果我们想得到不同错误类型的详细信息呢?业务层拿到返回的error,就不得不通过层层unwrap和类型断言来获取调用链中的深层错误信息。所以errors包提供了as方法,在unwrap的基础上,直接获取error接口中,实际是error链中指定类型的错误。
所以在databaseerror的基础上,再定义一个rediserror类型,作为封装redis访问异常的类型
// redis模块接口返回的错误类型 type rediserror struct { easyerror command string // redis commend address string // redis instance address } func (re *rediserror) error() string { return re.msg }
在业务层,尝试读取数据库和redis错误的详细信息
func dodatabase() error { // ... return &databaseerror{easyerror{"", 20003, nil}, "select 1"} } func doredis() error { // ... return &rediserror{easyerror{"", 30010, nil}, "set hello 1", "127.0.0.1:6379"} } func dodatawork() error { if err := doredis(); err != nil { return err } if err := dodatabase(); err != nil { return err } return nil } // 执行业务代码 func dobusiness() { err := dodatawork() if err != nil { if rediserr := (*rediserror)(nil); errors.as(err, &rediserr) { fmt.printf("redis exception, commend : %s, instance : %s\n", rediserr.command, rediserr.address) } else if mysqlerr := (*databaseerror)(nil); errors.as(err, &mysqlerr) { fmt.printf("mysql exception, sql : %s\n", mysqlerr.sql) } } else { fmt.println("everything is ok") } }
运行dobusiness,输出如下
$ ./sample
redis exception, commend : set hello 1, instance : 127.0.0.1:6379
conclusion
- error是interface类型,可以实现自定义的error类型
- error支持链式的组织形式,通过自定义unwrap实现对error链的遍历
- errors.is用于判定error是否属于某类错误,归类方式可以在自定义error的is方法中实现
- errors.as同样可以用于判断error是否属于某个错误,避免了显式的断言处理,并同时返回使用该类型错误表达的错误信息详情
- 无论是is还是as方法,都会尝试调用unwrap方法递归地查找错误,所以如果带有nesty的错误,务必要实现unwrap方法才可以正确匹配
通过这些手段,可以在不侵入业务接口的情况下,丰富错误处理,这就是errors包带来的便利。
总结
以上为个人经验,希望能给大家一个参考,也希望大家多多支持。