这个问题的答案是:不能。
如果你还想知道更多的信息,就往下看。^_^
有些时候我们希望有这样的写法:定义一个参数为 []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 来调试,在关键地方打上断点:
知道了 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/