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

前端之家收集整理的这篇文章主要介绍了为什么golang反映.MakeSlice返回不可寻址的值前端之家小编觉得挺不错的,现在分享给大家,也给大家做个参考。
检查下面的代码段:

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

并且它的错误:结果必须是切片地址.

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

最简单的解决方案可能是使用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)

// 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().这样可以防止这个值反映出来.Value将x的实际值传递给All().

为什么反映.MakeSlice返回一个不可寻址的值?

Go中的addressability的宽松定义是,您可以采取某些地址,并保证该地址指向某个有意义的地方.如果您在函数正文中的堆栈上分配了一些东西,那么分配值的地址在某个时间点将不再可访问.因此,该值不可寻址.在大多数情况下,如果Go返回或将其提升到外部,Go将本地堆栈变量移动到堆栈中,但在运行时,此操作未完成.因此,CanAddr()仅在以下情况下返回true:

A value is addressable if it is an element of a slice,an element of an addressable array,a field of an addressable struct,or the result of dereferencing a pointer.

所述类型都有一个共同点:它们保证它们所拥有的内容将从各处访问,并指出一个有意义的内存价值.由于您使用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))

猜你在找的Go相关文章