接口变量通过类型指针和数据指针统一存储值或指针,data指向值副本或原始指针,类型信息确保方法正确调用,从而实现灵活且类型安全的多态机制。

在Go语言中,接口类型变量可以存储任何实现了该接口的类型的值或指针。其底层机制依赖于接口的内部结构,它由两部分组成:类型信息(type)和值信息(data)。正是这种结构让接口既能保存值也能保存指针。
接口的底层结构:eface 和 iface
Go中的接口变量底层实际上是一个结构体。根据接口是否带有方法集,分为两种:
- eface(empty interface):interface{} 类型,只包含类型和数据指针。
- iface(concrete interface):带有方法的接口,包含类型信息和方法表(itab),以及数据指针。
它们的共同点是都包含两个指针:
- 指向类型信息的指针(_type)
- 指向实际数据的指针(data)
也就是说,接口变量本身不直接保存值,而是保存一个指向值的指针和类型信息。
立即学习“go语言免费学习笔记(深入)”;
值和指针是如何被保存的
当你把一个具体类型的值赋给接口时,Go会根据情况决定如何处理:
- 如果赋的是值(如 var v T),接口的 data 指针会指向这个值的副本(在堆或栈上)。
- 如果赋的是指针(如 &v),接口的 data 指针就直接指向该指针。
例如:
var s string = "hello"
var p *int = new(int)
i = s // data 指向字符串副本
i = p // data 直接指向 *int 指针
无论原始类型是值还是指针,接口的 data 字段始终是一个指针。区别在于它指向的是值的副本,还是原始指针本身。
为什么能统一处理值和指针
接口能统一处理值和指针,是因为:
- 所有赋给接口的值都会被包装成一个带有类型信息的结构。
- 调用接口方法时,Go通过 itab 找到对应的方法实现,然后通过 data 指针调用。
- 即使原始类型是指针,Go也能通过类型信息知道如何正确调用方法(值接收者或指针接收者都可)。
例如,如果一个方法是用指针接收者实现的,而你把值赋给接口,Go会在赋值时自动取地址(前提是值可寻址);反之,如果是指针赋给接口,调用值接收者方法也没问题,Go会自动解引用。
小结
接口变量底层通过一个类型指针和一个数据指针来统一管理值和指针。data 指针总是指向实际数据(可能是值的副本,也可能是原始指针),而类型信息确保方法调用正确路由。这种设计让接口既能灵活接收值也能接收指针,同时保持类型安全和运行效率。
基本上就这些。理解接口的双指针结构,就能明白它如何“容纳”不同类型和形式的数据。










