这个问题的答案是:不能。

如果你还想知道更多的信息,就往下看。^_^

有些时候我们希望有这样的写法:定义一个参数为 []interface 的函数,在程序运行的过程中,传入 []int 或其他类型的 slice,以此来达到少写一些代码的目的。譬如下面这个弱智的求 slice 和的例子:

 1package main
 2
 3import "fmt"
 4
 5func sliceSum(inters []interface{}) (res interface{}) {
 6	nums := inters.([]int)
 7
 8	sum := 0
 9	for _, num := range nums {
10		sum += num
11	}
12
13	return sum
14}
15
16func main() {
17	is := []int{7, 8, 9, 10}
18
19	fmt.Println(sliceSum(is))
20}

为了把这个程序写得更通用一点,参数和返回值都是用的 interface 类型。编译,会报错:

1./inter.go:6:16: invalid type assertion: inters.([]int) (non-interface type []interface {} on left)
2./inter.go:19:22: cannot use is (type []int) as type []interface {} in argument to sliceSum

第一个错:不能将左边的 []interface{} 转换成右边的 []int,因为 []interface 本身并不是 interface 类型,所以不能进行断言。

第二个错:sliceSum 函数不能接受 []int 类型的参数,因为 []int 不是 []interface 类型。

先把程序改成正确的:

 1package main
 2
 3import "fmt"
 4
 5func sliceSum(inters []interface{}) (res interface{}){
 6	sum := 0
 7	for _, inter := range inters {
 8	  sum += inter.(int)
 9	}
10
11	return sum
12}
13
14func main() {
15	is := []int{7, 8, 9, 10}
16  
17	iis := make([]interface{}, len(is))
18	for i := 0; i < len(is); i++ {
19	  iis[i] = is[i]
20	}
21
22	fmt.Println(sliceSum(iis))
23}

直接在循环的地方,对 inters 里的每个元素进行断言后再累加。

再来研究下 Go 官方说的:[]int[]interface{} 内存模型不一样是什么意思。

之前的 slice 文章讲过,slice 底层有 3 个属性:

slice

interface文章讲过,interface 底层有两个属性:

interface

用 dlv 来调试,在关键地方打上断点:

image

知道了 slice 地址后,打印出该地址处的数据:

1x -fmt hex -len 24 0xc000055f30

int slice

第一行即 slice 底层的数组地址,0x04, 0x04 分别指的是长度、容量。0x07、0x08、0x09、0x0a 则是数组的四个元素。

slice memory

同样的方法,来看看 interface slice 的内存布局:

interface slice

其实也非常清楚,它的数据部分占 64 字节:因为一个 interface{} 占用 16 个字节,4 个元素所有是 64 个字节。

interface memory

最后,总结一下:Go 官方规定,[]int 不能转换成 []interface{},因为两者是不同的类型,[]interface 不是 interface 类型,且两者的内存布局并不相同。

解决办法就是泛型。那泛型的原理是什么呢?又是怎么实现的呢?问就是不知道~😛

注:本文内容主要来自于 Eli 的博客