将interface{}转换为切片时产生的额外堆分配原因是什么？

在IT行业这个发展更新速度很快的行业，只有不停止的学习，才不会被行业所淘汰。如果你是Golang学习者，那么本文《将interface{}转换为切片时产生的额外堆分配原因是什么？》就很适合你！本篇内容主要包括##content_title##，希望对大家的知识积累有所帮助，助力实战开发！

func benchmarkpool(b *testing.b) {
    b.reportallocs()
    p := sync.pool{new: func() interface{} {
        return make([]byte, 1024)
    }}
    for i := 0; i < b.n; i++ {
        bts := p.get().([]byte)
        p.put(bts)
    }
}

该基准测试在 go1.19.5 中给出以下输出。

benchmarkpool
benchmarkpool-10        47578498            24.47 ns/op       24 b/op          1 allocs/op

当使用 *[]byte 时，事情会变得不同：

func benchmarkpool(b *testing.b) {
    b.reportallocs()
    p := sync.pool{new: func() interface{} {
        bts := make([]byte, 1024)
        return &bts
    }}
    for i := 0; i < b.n; i++ {
        bts := p.get().(*[]byte)
        p.put(bts)
    }
}

BenchmarkPool
BenchmarkPool-10        142008002            8.581 ns/op           0 B/op          0 allocs/op

似乎将 interface{} 转换回切片会导致额外的堆分配。

为什么 go 需要这个额外的分配？其背后的设计考虑是什么？

正确答案

造成分配的不是 any 到 []byte 的转换，而是 []byte 到 any 的转换。 p.Put(bts) 将参数 bts 隐式转换为 any，然后再将其传递给 (*sync.Pool).Put。 GoGC 1.19 中的接口被实现为一对指针，一个指向类型元数据，一个指向实际对象，在这种情况下，第二个指针转义到池，导致分配切片对象。这不仅适用于切片类型，也适用于任何其他非指针类型。

对于指针，例如 *[]byte，编译器会执行优化，将其值直接放入 iface 结构中，从而在转换为接口时删除 *[]byte 实例的分配。因此，通常建议将指针放入池中而不是结构本身。

理论要掌握，实操不能落！以上关于《将interface{}转换为切片时产生的额外堆分配原因是什么？》的详细介绍，大家都掌握了吧！如果想要继续提升自己的能力，那么就来关注golang学习网公众号吧！