为什么我们可以将结构体指针分配给接口变量，即使结构体指针没有实现接口？

来到golang学习网的大家，相信都是编程学习爱好者，希望在这里学习Golang相关编程知识。下面本篇文章就来带大家聊聊《为什么我们可以将结构体指针分配给接口变量，即使结构体指针没有实现接口？》，介绍一下，希望对大家的知识积累有所帮助，助力实战开发！

我在下面展示两个程序：程序 1 和程序 2。

我预计程序 1 会编译失败，而且它确实编译失败。所以这样很好。

我预计程序 2 会编译失败，但它成功了！这个问题是关于为什么方案2会成功。

程序 1

https://play.golang.org/p/qx9ny8vllx0

package main

import (
    "fmt"
    "math"
)

type abser interface {
    abs() float64
}

type vertex struct {
    x float64
    y float64
}

func (v *vertex) abs() float64 {
    return math.sqrt(v.x*v.x + v.y*v.y)
}

func main() {
    var a abser
    
    a = vertex{3, 4}
    fmt.println(a.abs())
}

编译失败并出现以下错误：

./prog.go:24:4: cannot use vertex literal (type vertex) as type abser in assignment:
vertex does not implement abser (abs method has pointer receiver)

我预计会出现此错误，因为 *vertex 实现了 abser 但 vertex 没有，因此我们无法将 vertex 对象分配给 abser 变量。

程序2

https://play.golang.org/p/4bis-fhghym

package main

import (
    "fmt"
    "math"
)

type abser interface {
    abs() float64
}

type vertex struct {
    x float64
    y float64
}

func (v vertex) abs() float64 {
    return math.sqrt(v.x*v.x + v.y*v.y)
}

func main() {
    var a abser
    
    a = &vertex{3, 4}
    fmt.println(a.abs())
}

编译成功。程序的输出为：

5

为什么会成功？这里，vertex实现了abser，但是*vertex没有实现abser。那么我如何才能将 *vertex 类型的值分配给 abser？

我需要了解哪些语言语义规则才能知道为什么会成功？

解决方案

assignability 要求详细说明了接口的需求：

为了确定“x实现T”的规则，我们转向method sets的概念：

乍一看，这意味着第一个示例中的 Vertex 的方法集是空的，第二个示例中的 *Vertex 的方法集也是空的。

但是，规范继续指定：

这意味着*Vertex 的方法集自动包含Vertex 的方法集，但反之则不然。

这对您的第一个示例没有帮助，但在第二个示例中，Vertex 的方法集确实包含 Abs() float64。由于这就是实现 Abser 接口所需的全部内容，因此 *Vertex 被视为实现 Abser。

终于介绍完啦！小伙伴们，这篇关于《为什么我们可以将结构体指针分配给接口变量，即使结构体指针没有实现接口？》的介绍应该让你收获多多了吧！欢迎大家收藏或分享给更多需要学习的朋友吧~golang学习网公众号也会发布Golang相关知识，快来关注吧！