loops - 指针 slice 和循环

<分区>

我想这个问题问了好几次，但我还是很困惑:

我有以下代码:

type obj struct {
    s *string
}

var cmdsP = []*string {
    stringPointer("create"),
    stringPointer("delete"),
    stringPointer("update"),
}

var cmds = []string {
    "create",
    "delete",
    "update",
}

// []*string
func loop1() {
    slice := make([]obj, 0, 0)

    for _, cmd := range cmdsP {
        slice = append(slice, obj{cmd})
    }
    for _, o := range slice {
        fmt.Println(*o.s)
    }
}

// []string
func loop2() {
    slice := make([]obj, 0, 0)
    for _, cmd := range cmds {
        slice = append(slice, obj{&cmd})
    }
    for _, o := range slice {
        fmt.Println(*o.s)
    }
}

func stringPointer(v string) *string {
    return &v
}

https://play.golang.org/p/65Le_8Pi3Mi

唯一的区别在于 slice 语义 []*string 和 []string 它如何改变 cmd 变量的行为？您能否详细画出或解释一下在两次循环的迭代过程中内存中发生了什么？

最佳答案

当您在集合上调用 range 时，go 运行时会初始化 2 个内存位置；一个用于索引(在本例中为 _)，一个用于值 cmd。

然后 range 所做的是获取集合中的每个项目并将它们复制到它在调用 range 时创建的内存位置。

这意味着 slice 中的每一项都被一个一个地放入该内存位置。

当你执行 &cmd 时，你正在使用一个指针。该指针指向每个 slice 项被复制到的共享内存位置。

使用 &cmd 创建的所有指针都指向相同的内存位置。

这意味着在 range 完成后，您的指针指向的内存位置中唯一剩下的值是 range 迭代的最后一个值。

这就是你得到输出的原因