algorithm - Golang指向 slice 的指针

Question

我最近在做一个回溯问题，遇到了一个我无法理解的怪异场景。这个问题与列出给定数组中所有可能的子集有关。这是代码片段:

func subsets(A []int) [][]int {
    sort.Ints(A)
    res, cur := [][]int{}, []int{}
    if len(A) == 0 {
        return append(res, cur)
    }
    subsetsUtil(A, 0, &res, cur)
    return res
}

func subsetsUtil(A []int, n int, res *[][]int, cur []int) {
    *res = append(*res, append([]int{}, cur...))
    for i := n; i < len(A); i++ {
        cur = append(cur, A[i])
        subsetsUtil(A, i+1, res, cur)
        cur = cur[:len(cur)-1]
    }
}

该代码段为我提供了正确的答案，但是如果我删除了指向结果 slice 的指针，即

func subsets(A []int) [][]int {
    sort.Ints(A)
    res, cur := [][]int{}, []int{}
    if len(A) == 0 {
        return append(res, cur)
    }
    subsetsUtil(A, 0, res, cur)
    return res
}

func subsetsUtil(A []int, n int, res [][]int, cur []int) {
    res = append(res, append([]int{}, cur...))
    for i := n; i < len(A); i++ {
        cur = append(cur, A[i])
        subsetsUtil(A, i+1, res, cur)
        cur = cur[:len(cur)-1]
    }
}

代码不起作用，并向我返回了一个空片。据我了解， slice 是通过引用而不是通过值传递的，那么当我将指针传递给结果 slice 时，代码是如何工作的，并为我提供了正确的结果，但是对于另一种情况，它将返回一个空值片？我想念什么？

Answer 1

这种说法:“据我了解， slice 是通过引用而不是通过值传递的”并不完全正确。 slice 不是纯引用类型，而是诸如以下结构的聚合类型:

type IntSlice struct {
ptr *int
len, cap int
}

因此，每当通过值传递 slice 时，都会使用此结构进行复制，该结构与您传递的结构不同。