7.8. error接口

從本書的開始，我們就已經創建和使用過神祕的預定義error類型，而且沒有解釋它究竟是什麼。實際上它就是interface類型，這個類型有一個返回錯誤信息的單一方法：

type error interface {
    Error() string
}

創建一個error最簡單的方法就是調用errors.New函數，它會根據傳入的錯誤信息返回一個新的error。整個errors包僅只有4行：

package errors

func New(text string) error { return &errorString{text} }

type errorString struct { text string }

func (e *errorString) Error() string { return e.text }

承載errorString的類型是一個結構體而非一個字符串，這是為了保護它表示的錯誤避免粗心（或有意）的更新。並且因為是指針類型*errorString滿足error接口而非errorString類型，所以每個New函數的調用都分配了一個獨特的和其他錯誤不相同的實例。我們也不想要重要的error例如io.EOF和一個剛好有相同錯誤消息的error比較後相等。

fmt.Println(errors.New("EOF") == errors.New("EOF")) // "false"

調用errors.New函數是非常稀少的，因為有一個方便的封裝函數fmt.Errorf，它還會處理字符串格式化。我們曾多次在第5章中用到它。

package fmt

import "errors"

func Errorf(format string, args ...interface{}) error {
    return errors.New(Sprintf(format, args...))
}

雖然*errorString可能是最簡單的錯誤類型，但遠非只有它一個。例如，syscall包提供了Go語言底層系統調用API。在多個平臺上，它定義一個實現error接口的數字類型Errno，並且在Unix平臺上，Errno的Error方法會從一個字符串表中查找錯誤消息，如下面展示的這樣：

package syscall

type Errno uintptr // operating system error code

var errors = [...]string{
    1:   "operation not permitted",   // EPERM
    2:   "no such file or directory", // ENOENT
    3:   "no such process",           // ESRCH
    // ...
}

func (e Errno) Error() string {
    if 0 <= int(e) && int(e) < len(errors) {
        return errors[e]
    }
    return fmt.Sprintf("errno %d", e)
}

下面的語句創建了一個持有Errno值為2的接口值，表示POSIX ENOENT狀況：

var err error = syscall.Errno(2)
fmt.Println(err.Error()) // "no such file or directory"
fmt.Println(err)         // "no such file or directory"

err的值圖形化的呈現在圖7.6中。

Errno是一個系統調用錯誤的高效表示方式，它通過一個有限的集合進行描述，並且它滿足標準的錯誤接口。我們會在第7.11節瞭解到其它滿足這個接口的類型。