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

时间:2014-08-19 13:26:17

标签: go reflection go-reflect

检查下面的代码段:

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

它出错:结果必须是切片地址。

2 个答案:

答案 0 :(得分:53)

如何使用反射

获取指向切片的指针

最简单的解决方案可能是使用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()。这可以防止将reflect.Value的实际值传递给x而不是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))

答案 1 :(得分:3)

我认为你已经在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.My 10 10

Playground