登录
首页 >  Golang >  Go问答

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

来源:Golang技术栈

时间:2023-04-05 16:01:39 193浏览 收藏

珍惜时间,勤奋学习!今天给大家带来《为什么 golang reflect.MakeSlice 返回不可寻址的值》,正文内容主要涉及到golang等等,如果你正在学习Golang,或者是对Golang有疑问,欢迎大家关注我!后面我会持续更新相关内容的,希望都能帮到正在学习的大家!

问题内容

检查下面的片段:

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()用来创建指针(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(),其他答案也指出了这一点。这可以防止将其而不是reflect.Value实际值x传递给All().

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

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

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

声明的类型都有一个共同点:它们保证它们所持有的东西可以从任何地方访问,并指向内存中有意义的值。自从 使用reflect.MakeSlice. 不过,所述切片的 元素 是可寻址的(因为切片的内存驻留在堆上)。

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

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

此行为在 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))

今天关于《为什么 golang reflect.MakeSlice 返回不可寻址的值》的内容介绍就到此结束,如果有什么疑问或者建议,可以在golang学习网公众号下多多回复交流;文中若有不正之处,也希望回复留言以告知!

声明:本文转载于:Golang技术栈 如有侵犯,请联系study_golang@163.com删除
相关阅读
更多>
最新阅读
更多>
课程推荐
更多>