[[420267]]

這個(gè)問題的答案是：不能。

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

有些時(shí)候我們希望有這樣的寫法：定義一個(gè)參數(shù)為 []interface 的函數(shù)，在程序運(yùn)行的過程中，傳入 []int 或其他類型的 slice，以此來達(dá)到少寫一些代碼的目的。譬如下面這個(gè)弱智的求 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)) 
} 

為了把這個(gè)程序?qū)懙酶ㄓ靡稽c(diǎn)，參數(shù)和返回值都是用的 interface 類型。編譯，會(huì)報(bào)錯(cuò)：

./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 

第一個(gè)錯(cuò)：不能將左邊的 []interface{} 轉(zhuǎn)換成右邊的 []int，因?yàn)?[]interface 本身并不是 interface 類型，所以不能進(jìn)行斷言。

第二個(gè)錯(cuò)：sliceSum 函數(shù)不能接受 []int 類型的參數(shù)，因?yàn)?[]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)) 
} 

直接在循環(huán)的地方，對(duì) inters 里的每個(gè)元素進(jìn)行斷言后再累加。

再來研究下 Go 官方說的：[]int 和 []interface{} 內(nèi)存模型不一樣是什么意思。

之前的 slice 文章講過，slice 底層有 3 個(gè)屬性：

slice

interface 的文章講過，interface 底層有兩個(gè)屬性：

interface

用 dlv 來調(diào)試，在關(guān)鍵地方打上斷點(diǎn)：

知道了 slice 地址后，打印出該地址處的數(shù)據(jù)：

x -fmt hex -len 24 0xc000055f30 

int slice

第一行即 slice 底層的數(shù)組地址，0x04, 0x04 分別指的是長(zhǎng)度、容量。0x07、0x08、0x09、0x0a 則是數(shù)組的四個(gè)元素。

slice memory

同樣的方法，來看看 interface slice 的內(nèi)存布局：

interface slice

其實(shí)也非常清楚，它的數(shù)據(jù)部分占 64 字節(jié)：因?yàn)橐粋€(gè) interface{} 占用 16 個(gè)字節(jié)，4 個(gè)元素所有是 64 個(gè)字節(jié)。

interface memory

最后，總結(jié)一下：Go 官方規(guī)定，[]int 不能轉(zhuǎn)換成 []interface{}，因?yàn)閮烧呤遣煌念愋?，[]interface 不是 interface 類型，且兩者的內(nèi)存布局并不相同。

解決辦法就是泛型。那泛型的原理是什么呢?又是怎么實(shí)現(xiàn)的呢?問就是不知道~??

注：本文內(nèi)容主要來自于 Eli 的博客[1]。

參考資料

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