为什么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

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

最简单的解决方案可能是reflect.New()用来创建指针(播放时的完整示例):

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(),其他答案也指出了这一点.这可以防止代替传递给它reflect.Value的实际值.xAll()

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

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

如果值是切片的元素,可寻址数组的元素,可寻址结构的字段或取消引用指针的结果,则该值是可寻址的.

所陈述的类型都有一个共同点:它们保证它们所拥有的内容可以从任何地方访问,并指向内存中有意义的值.自从使用创建局部切片以来,既没有切片元素也没有指针,也没有任何其他提到的东西reflect.MakeSlice.但是,所述切片的元素是可寻址的(因为切片的内存驻留在堆上).

为什么指向切片的指针？

在这种情况下,我的主要问题是,为什么mgo的API 需要指向切片的指针iter.All？毕竟,切片是引用类型,并且对于所提供数据集的更改,不需要指针.但后来我发现大多数时候函数都附加到切片上.追加导致内存分配,内存分配导致将旧数据复制到新内存,新内存意味着需要传递给调用者的新地址.

此示例在播放时说明了此行为.在本质上:

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