为什么 golang reflect.MakeSlice 返回不可寻址的值

Question

检查下面的代码段：

http://play.golang.org/p/xusdITxgT-

为什么会这样？因为我的一个论点必须是切片地址。

也许我没有对大家说清楚。

collection.Find(bson.M{}).All(&result)

上面的代码就是我需要切片地址的原因。

这里的结果变量就是我需要的。现在通常我可以做到这一点

result := make([]SomeStruct, 10, 10)

但是现在 SomeStruct 是动态的，我需要使用 reflect.MakeSlice 创建切片，所以

result := reflect.MakeSlice(reflect.SliceOf(SomeType))

而且它错误：结果必须是切片地址。

Answer 1

我认为您在这里使用interface() 方法，但我不确定您为什么需要通过reflect 创建一个类型的切片。

package main

import (
    "fmt"
    "reflect"
)

type My struct {
    Name string
    Id   int
}

func main() {
    my := &My{}
    myType := reflect.TypeOf(my)
    slice := reflect.MakeSlice(reflect.SliceOf(myType), 10, 10).Interface()
    p := slice.([]*My)

    fmt.Printf("%T %d %d\n", p, len(p), cap(p))
}

生产：

[]*main.我的 10 10

Playground

Answer 2

如何使用反射获得指向切片的指针

最简单的解决方案大概是使用reflect.New()创建指针（full example on play）：

my := &My{}

// Create a slice to begin with
myType := reflect.TypeOf(my)
slice := reflect.MakeSlice(reflect.SliceOf(myType), 10, 10)

// Create a pointer to a slice value and set it to the slice
x := reflect.New(slice.Type())
x.Elem().Set(slice)

collection.Find(bson.M{}).All(x.Interface())

请注意其他答案也指出的x.Interface()。这可以防止将x 的实际值而不是reflect.Value 传递给All()。

为什么 reflect.MakeSlice 返回一个不可寻址的值？

Go 中addressability 的一个松散定义是，您可以获取某物的地址，并保证该地址指向某个有意义的地方。如果您在函数体中的堆栈上分配某些内容，则分配值的地址将在某个时间点不再可访问。因此，该值不可寻址。在大多数情况下，如果本地堆栈变量被返回或以其他方式提升到外部，Go 会将它们移动到堆中，但在运行时不会这样做。因此，CanAddr() 仅在以下情况下返回 true：

如果值是切片的元素、可寻址数组的元素、可寻址结构的字段或解引用指针的结果，则该值是可寻址的。

上述类型都有一个共同点：它们保证它们所持有的内容可以从任何地方访问，并指向内存中有意义的值。由于您使用reflect.MakeSlice 创建了一个本地切片，因此您既没有切片元素，也没有指针，也没有任何其他提到的东西。但是，所述切片的 元素 将是可寻址的（因为切片的内存驻留在堆上）。

为什么是指向切片的指针？

在这种情况下，我的主要问题是，为什么 mgo 的 API 需要指向 iter.All 的切片的指针？毕竟，切片是引用类型，对于提供的数据集的更改，不需要指针。但后来我突然想到，大多数时候函数appends to the slice。追加导致内存分配，内存分配导致将旧数据复制到新内存，新内存意味着需要与调用者通信的新地址。

this example on play 中说明了此行为。本质上：

// Works. Uses available storage of the slice.
    resultv.Index(1).Set(a)

// Executes but changes are lost:   
//  reflect.Append(resultv, a)

// Does not work: reflect.Value.Set using unaddressable value
//  resultv.Set(reflect.Append(resultv, a))