我为什么不能在go中传递`func（）[] int`作为`func（）[] interface {}`？

一尘不染

我为什么不能在go中传递`func（）[] int`作为`func（）[] interface {}`？

我有以下定义：

func (c *Collector) RegisterSource(f func() []interface{}) {
    c.source = f
}

我尝试按如下方式调用它，但收到错误消息：

func source() []int {
    return []int{ 0, 1, 2, 3, 4 }
}
...
c.RegisterSource(source)

这符合：

cannot use source (type func() []int) as type func() []interface {} in argument to c.RegisterSource

阅读 318

2020-07-02

共1个答案

一尘不染

该相关转到FAQ中指出，[]T和[]interface{}«别在内存相同的表示»。

要了解原因，让我们剖析两件事：

切片是一个后备存储阵列，外加几个包含切片大小和容量的整数。

在Go中，数组并不是某种意义上的“高级”。相反，它们包含的元素的布局是严格定义的：它们全部包含在内存的相邻区域中，彼此相邻。

这意味着，在切片的支持数组中[]T，元素是类型的T，并且每个元素都占据该类型自然大小的内存区域T，并且所有这些区域在单个连续的内存块中都彼此相邻。

这意味着，片的每个元素[]int在64位平台上恰好占用64位（8字节），即单个int值占用的内存量。

任何接口类型的值（包括空接口 interface{}）都表示为包含两个指针的结构，如下所示：
```
type iface struct {
realType  *typeInfo
realValue *dataType
```
}

（有关接口表示方式的更多信息- 此处）。

以上所有方法均意味着一个[]interface{}元素中的每个元素在内存区域中占据两个指针的大小，并且这两个指针包含内存中其他变量的地址-
与元素仅包含的整数值相反[]int。

反过来，这意味着您不能仅仅“投射” []int到“
[]interface{}—”仅是因为[]int（int）的任何元素中存储的值在其结构（内存布局）中与[]interface{}（一个包含两个指针的结构）不兼容。）。为了彼此产生，您需要分配一个切片并将源切片的每个元素转换为目标切片的匹配元素。

最后，这意味着如果一个函数返回一个type的slice
[]int，则该代码不能由期望该类型的slice的代码直接处理[]interface{}（反之亦然），这解释了为什么问题中的两个函数签名表示不兼容的类型。

2020-07-02