小编典典

为什么Golang反射.MakeSlice返回无法寻址的值

go

检查以下代码段:

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

而且它在上出错:结果必须是一个分片地址。


阅读 369

收藏
2020-07-02

共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的实际值x传递给All()

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

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

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

声明的类型都有一个共同点:它们保证所拥有的内容可以从任何地方访问,并指向内存中的有意义的值。自从您使用创建了本地切片以来,您既没有slice 元素
,也没有指针,也没有任何其他提到的东西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))
2020-07-02