Go面试题 | []int 能转换为 []interface 吗？

咱们结果先行，这个问题的答案是：不能。

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

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

package main

import "fmt"

func sliceSum(inters []interface{}) (res interface{}) {
 nums := inters.([]int)

 sum := 0
 for _, num := range nums {
  sum += num
 }

 return sum
}

func main() {
 is := []int{7, 8, 9, 10}

 fmt.Println(sliceSum(is))
}

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

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

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

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

先把程序改成正确的：

package main

import "fmt"

func sliceSum(inters []interface{}) (res interface{}){
 sum := 0
 for _, inter := range inters {
   sum += inter.(int)
 }

 return sum
}

func main() {
 is := []int{7, 8, 9, 10}
  
 iis := make([]interface{}, len(is))
 for i := 0; i < len(is); i++ {
   iis[i] = is[i]
 }

 fmt.Println(sliceSum(iis))
}

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

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

之前的 slice 文章讲过，slice 底层有 3 个属性：

slice

interface 的文章讲过，interface 底层有两个属性：

interface

用 dlv 来调试，在关键地方打上断点：

image

知道了 slice 地址后，打印出该地址处的数据：

x -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 的博客[1]。

参考资料

[1]博客: https://eli.thegreenplace.net/2021/go-internals-invariance-and-memory-layout-of-slices/