来到编程网的大家，相信都是编程学习爱好者，希望在这里学习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相关知识，快来关注吧！
