在 Go 1.13 之前,errors
套件只公開了 New
函式,從 Go 1.13 之後,增加了 Is
、As
、與 Unwrap
函式。
Is
函式是用於取代 ==
判斷錯誤的場合,例如以下的程式片段:
if err == io.EOF {
...
}
可以改用 Is
函式:
if errors.Is(err, io.EOF) {
...
}
Is
也可以用於判斷 nil
,err
若有實作 Is
方法,也可以使用 Is
函式來判斷,因為 Is
函式的原始碼是這麼實作的:
func Is(err, target error) bool {
if target == nil {
return err == target
}
isComparable := reflectlite.TypeOf(target).Comparable()
for {
if isComparable && err == target {
return true
}
if x, ok := err.(interface{ Is(error) bool }); ok && x.Is(target) {
return true
}
// TODO: consider supporing target.Is(err). This would allow
// user-definable predicates, but also may allow for coping with sloppy
// APIs, thereby making it easier to get away with them.
if err = Unwrap(err); err == nil {
return false
}
}
}
(從原始碼中的註解可以看到,未來可能進一步支援 target
實作 Is
方法的情況。)
As
函式是用於取代型態斷言判斷錯誤類型的場合,例如以下的程式片段:
if e, ok := err.(*PathError); ok {
...
}
可以改用 As
函式:
var e *PathError
if errors.As(err, &e) {
...
}
來看看 As
函式的實作:
func As(err error, target interface{}) bool {
if target == nil {
panic("errors: target cannot be nil")
}
val := reflectlite.ValueOf(target)
typ := val.Type()
if typ.Kind() != reflectlite.Ptr || val.IsNil() {
panic("errors: target must be a non-nil pointer")
}
if e := typ.Elem(); e.Kind() != reflectlite.Interface && !e.Implements(errorType) {
panic("errors: *target must be interface or implement error")
}
targetType := typ.Elem()
for err != nil {
if reflectlite.TypeOf(err).AssignableTo(targetType) {
val.Elem().Set(reflectlite.ValueOf(err))
return true
}
if x, ok := err.(interface{ As(interface{}) bool }); ok && x.As(target) {
return true
}
err = Unwrap(err)
}
return false
}
target
若不是指標就會 panic
;另外,err
可以是個實作 As
方法的實例。
在 Is
與 As
的實作中,都看到了 Unwrap
函式:
func Unwrap(err error) error {
u, ok := err.(interface {
Unwrap() error
})
if !ok {
return nil
}
return u.Unwrap()
}
從 Go 1.13 開始,錯誤可以實作 Unwrap
方法,如果 e1.Unwrap()
可以得到 e2
,那麼 e1
實例包裹了 e2
,因此,對於需要包含根源錯誤的情況,保存根源錯誤的欄位不需要是公開的,可以透過 Unwrap
來傳回,Unwrap
為取得包裹的錯誤提供了統一的名稱。
fmt
套件有個 Errorf
函式,可以格式化字串並傳回 error
實例,在 Go 1.13 之前的版本,就只是將格式化後的字串傳給 errors.New
;從 Go 1.13 開始,Errorf
支援 %w
,這會令傳回的 error
實例會包裹指定的錯誤,並具有 Unwrap
方法。