为什么戈朗反思.MakeSlice返回不可寻址的值

Question

查看下面的代码片段:

http://play.golang.org/p/xusdITxgT-

为什么会发生这种情况?因为我的一个参数必须是切片地址

也许我没有让每个人都明白。

collection.Find(bson.M{}).All(&result)

上面的代码就是为什么我需要一个切片地址。

这里的结果变量是我需要的。通常我可以这样写

result := make([]SomeStruct, 10, 10)

但是现在SomeStruct是动态的，我需要通过反射来创建切片。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()。这可以防止将x的实际值传递给All()而不是reflect.Value。

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

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

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

声明的类型都有一个共同点:它们保证它们所保存的东西可以从任何地方访问，并且指向内存中的一个有意义的值。您既没有切片元素，也没有指针，也没有任何其他提到的东西，因为您使用reflect.MakeSlice创建了一个本地切片。然而，片的元素是可寻址的(因为片的内存驻留在堆上)。

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

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

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

Answer 2

我认为你是在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 %dn", p, len(p), cap(p))
}

生产:

<>之前[] *主要。我的10个10之前游乐场