为什么在声明错误包装器时使用“error”而不是“*error”返回一个指针

珍惜时间，勤奋学习！今天给大家带来《为什么在声明错误包装器时使用“error”而不是“*error”返回一个指针》，正文内容主要涉及到等等，如果你正在学习Golang，或者是对Golang有疑问，欢迎大家关注我！后面我会持续更新相关内容的，希望都能帮到正在学习的大家！

我正在从 Java 背景学习 Go 语言。

type MyError struct {
    message string
    Offset  int
}

func (Me *MyError) Error() string {
    return Me.message
}

func myFunction() (int, error) {      <-- Why the return type is "error" rather than "*error"
    return 0, &MyError{"my error message", 0} <-- The error is returned as a pointer.
}

func main() {
    var _, err = myFunction()
    if e, ok := err.(*MyError); ok {.  <-- Why I can assert err which is a type of "error" into a pointer
        fmt.Printf("Error is %s: %d\n", e.message, e.Offset)
    }
}

在上面的代码中，我不明白为什么myFunction的错误类型是“error”而不是“*error”？我清楚地在下面的行中返回了一个指向 MyError 结构的指针。

我也明白为什么我可以将主函数中的错误断言回指针。

正确答案

要了解 Go 中的传统错误处理，您应该首先了解该语言中的接口如何工作。在谈论 Go 接口时需要记住两件事：

1. Go 中的接口定义了一组方法（从 Go1 开始.18 也是一组类型）。在幕后，Go 接口包含两个元素，类型 T 和值 V。 V 始终是具体类型，例如 int、struct 或指针，而不是接口本身。

2. Go 中没有 implements 关键字。 Go 类型通过实现该接口的方法来满足该接口。这称为隐式实现。

错误处理

Go 定义了一个内置的 error 类型，它只是一个接口：

type error interface {
    Error() string
}

事实上，它没有什么特别之处，除了它是一个全局预声明类型。该类型通常用于错误处理。

以您的示例为例：

func myFunction() (int, error) {
    return 0, &MyError{"my error message", 0}
}

func main() {
    var _, err = myFunction()
    if e, ok := err.(*MyError); ok {
        fmt.Printf("Error is %s: %d\n", e.message, e.Offset)
    }
}

指向 MyError 的指针和 error 接口之间的关系发生在幕后，您不需要显式返回 *error 即可从 MyError 值引用 error （实际上，您 几乎永远不需要指向接口的指针）。

返回 myFunction 后，error 值将保存以下元组 (V=&MyError{message: "my error message", Offset: 0}, T=*MyError)，其中 V 是它的值保持，T 是值 V 的类型。

因为 Go 允许您在接口值上键入断言。基本上，您要问的 Go 操作 e, ok := err.(*MyError) 是： err 值（哪种类型是 error 接口）是否将类型 *MyError 作为其底层 T？如果是这样，则 ok 将是 true，并且 e 将接收其底层 V 值 &MyError{message: "我的错误消息", Offset: 0}。

注意：请谨慎对待 nil 错误值，因为它们可能并不总是由于界面的细微差别，其行为符合预期。

到这里，我们也就讲完了《为什么在声明错误包装器时使用“error”而不是“*error”返回一个指针》的内容了。个人认为，基础知识的学习和巩固，是为了更好的将其运用到项目中，欢迎关注golang学习网公众号，带你了解更多关于的知识点！