面试官提问三个Go接口的概念, 10年gopher竟无言以对
source link: https://colobu.com/2022/01/16/three-new-concepts-of-go-interface-since-1-18/
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
面试官提问三个Go接口的概念, 10年gopher竟无言以对
自 Go 1.18后, Go的interface的含义有所变化, 三个新的和Go接口有关的概念很多人还不知道: type set
(类型集合)、specific type
(特定类型)和structural type
(结构类型)。
type set (类型集合)
type set称之为类型集合,一些关注Go泛型的朋友其实也对此有些了解,它是Go 1.18新增加的一个概念。
Go 1.18之前,Go的接口代表了一组方法的集合(method set),凡是实现了这些方法集合的类型,都被称之为实现了这个接口。Go不像Java语言,需要显示地定义某个类实现某个接口,Go不需要这样,在Go中,只要一个类型实现了某个接口定义的所有方法,它就实现了这个接口,可以赋值给这个接口类型的变量,或者作为这个接口类型的方法的实参或者返回值,这种设计有时候也被叫做鸭子类型
(duck typing)。只要它走起来像鸭子,叫起来像鸭子,那么它就是鸭子,这是一个很经典的对鸭子类型的描述。
在Go 1.18中,接口不再代表方法的集合了,而是代表类型的集合(type set)。只要某种类型在这个接口的类型集合中,那么我们就说这种类型实现了这个接口。如果这个接口被用作类型约束,那么在这个接口定义的类型集合中的任意一个元素,都可以实例化这个类型参数。
所以,实际上,为了支持接口作为类型约束的扩展,Go语言规范不得不重新定义接口的含义了,这也是类型集合出现的原因。
其实,接口的方法集的概念还在 一个接口的方法集是这个接口的类型集合中所有元素的方法集的交集。
r本文假定你对Go泛型有了一定的了解。假定你还不了解,那么你必须知道,Go 1.18中接口除了原先的方法元素还,还支持包含类型元素,类型元素可以是某个类型T
、或者是近似类型~T
,或者是它们的联合int|int8|int16|int32|int64|~string
。
如果一个接口I
嵌入了另外一个接口E
,那么I
的类型集是它显示定义的类型集合和嵌入的接口E
的类型集合的交集。相当于E
把接口I
的类型集收窄了。
如何判断一个接口的类型集呢?请遵循下面的原则:
空接口
any
、interface{}
的类型集是所有类型的集合
所以像int
、string
、strcut{}
、MyStruct
、func foobar()
、chan int
、map[int]string
、[]int
等等都在空接口的类型集合中非空接口的类型集合是接口元素的类型集合的交集
那么什么是接口元素的类型集合呢?参照下面的四条。
前面我们已经提到,接口元素包含类型元素和方法元素。一个方法的类型集合是定义这个方法的所有类型,也就是只要某个类型的方法集包含这个方法,那么它就属于这个方法的类型集合
比如接口中有String() string
这样一个方法,那么所有实现这个方法的类型都属于String() string
定义的类型集合,比如net.IP
。一个非接口类型的类型集合就是只包含这个类型的类型集合
比如int
的类型集合只包含int
这样一个元素。近似元素
~T
的类型集合是所有底层类型为T
的所有类型的集合
比如
type MyInt int
中的MyInt
就属于~int
的类型集合- 联合元素
t1|t2|…|tn
的类型集合是这些联合元素类型集合的并集
下面的例子列举了一些类型的集合:
specific type (特定类型) 和 specific type set
接口另外一个很重要的概念就是specific type
(特定类型)。
只有包含类型元素的接口才定义了特定类型(可能是空的类型)。
如果不严格的讲,特定类型是出现在类型元素中定义的那些类型T
、~T
、t1|t2|...|tn
中的t1
、t2
、...
、tn
。
更准确地说,对于给定的接口I
,特定类型的集合对应于该接口代表的类型集合𝑅,这里要求𝑅是非空且有限的。否则,如果𝑅为空或无限,则接口没有特定类型。
对于一个给定的接口、类型元素或者类型,它代表的类型集合𝑅定义如下:
对于一个没有任何类型元素的接口,它的𝑅是所有的元素(无限)。
所以它没有特定类型。如果一个接口有类型元素,它的𝑅是它的元素代表的类型的交集
至于有没有特定类型要看𝑅是否是非空且有限。对于一个非接口类型
T
,或者~T
, 它的𝑅是包含类型T
的集合对于联合元素
t1|t2|…|tn
, 它的𝑅是这些项代表类型的并集
下面是特定类型的例子:
type set vs specific type set
类型集合和特定类型集合还是有区别的,从上面它们的定义可以看出来。
一个接口即使类型为空,它的特定类型集合可能不为空。
比如interface{ int; m() }
,它的类型集合是空的(int没有实现m方法),但是它的特定类型是int
。
一个接口即使有有限的特定类型,它的类型集合也可能是无限的
比如interface{ ~int; m() }
,它的特定类型是int,但是它的类型集合确是无限的(任何底层为int并且实现了方法m的类型都属于它的类型集合)
那么定义特定类型有什么用呢?
特定类型的应用
特定类型主要用于判断类型参数是否支持索引, 像a[x]
这样的类型。
比如一个表达式a[x]
, a
这个实例的类型可能是数组、指向数组的指针、slice、字符串、map。
如果a
的类型是类型参数P
的话,那么我们的代码a[x]
在什么条件下才不会编译出错?
要求的条件就和特定类型有关了:
- P必须有特定类型
- 对于P的特定类型的值a,支持
a[x]
这种索引写法 - P的所有特定类型必须相同。在这里,string类型的元素类型是byte (https://github.com/golang/go/issues/49551)
- 如果P的特定类型包含map类型的话,那么它的所有特定类型必须是map,而且所有的key的类型是相同的
所以有时候你定义了一个包含map、slice、string的联合元素接口的话,这个接口的实例你不能使用a[x]
索引类型,元素的类型都是int a[x]
是数组、slice、string的索引为x的元素,或者是map类型key为x的元素,a[x]的类型必须相同- 如果P的特定类型包含string类型,那么不能给
a[x]
赋值(字符串是不可变的)
特定类型还用作类型转化定义上。
对于一个变量x
,如果它的类型是V
, 要转换成的类型是T
, 只要满足下面一条,x就可以转换成T
类型:
V
的每一个特定类型的值都可以转换成T
的每一个特定类型- 只有
V
是类型参数,T
不是,那么V
的每一个特定类型的值都可以转换成T
- 只有
T
是类型参数,x
可以转换成T的每一个特定类型
一句话,是类型参数就满足每一个特定类型,不是类型参数就满足这个类型。
另外,对于类型参数,要调用内建的函数len
、cap
,必须要求它们的特定类型允许使用这些内建函数。
structural type (结构类型)
一个接口T
要被成为结构化的(structural
),需要满足下面的条件之一:
- 存在一个单一的类型
U
,它是T
的类型集合中的每一个元素相同的底层类型 T
的类型集合只包含chan类型,并且它们的元素类型都是E
, 所有的chan的方向包含相同的方向(不一定要求完全相同)
结构化类型包含一个结构类型,根据上面的条件不同,结构类型可能是:
- 类型
U
, 或者 - 如果
T
只包含双向chan的话,结构类型为chan E
,否则可能是chan<- E
或者<-chan E
下面是包含结构类型的结构化接口:
在Go语言规范中,并没有对结构化接口有更多的介绍,如何使用,更多是是它内部获取底层的结构类型,以及做类型检查,比如下面的例子就会报no structural type
编译错误:
下面的代码也会报M has no structural type
编译错误
比如下面大家使用Go泛型的时候常会犯的错误,虽然[]byte
、map[int]byte
、string
都能range,而且key(index)、value类型都一样,但是也会报R has no structural type
错误:
Recommend
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK