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/

本文由 Readfog 進行 AMP 轉碼，版權歸原作者所有。
來源：https://mp.weixin.qq.com/s/Cth7OxUV0DxqWQPPivFEOQ