在大多数语言(如c ++)中,传递数组会导致通过引用隐式传递它,因此对函数中传递的数组进行的任何更改都将导致更改原始数组。我正在学习Golang,在Alan AA Donovan和Brian W. Kernighan撰写的《 Go编程语言》一书中,它的行为不同于其他语言-不会隐式地通过引用传递数组。
这让我有些困惑-这是否意味着在没有引用的情况下传递数组不应该修改数组本身?让我说明一下:
func main() { tab := []int{1, 2, 3} fmt.Println(tab) // Results in [1 2 3] reverse(tab) fmt.Println(tab) // Results in [3 2 1] } func reverse(tab []int) { for i, j := 0, len(tab)-1; i < j; i, j = i+1, j-1 { tab[i], tab[j] = tab[j], tab[i] } }
在上面的代码中,数组不是由引用传递的,但是反向函数会修改原始数组,因此它的工作方式有点像C ++程序那样。谁能解释我的区别?
PS:很抱歉,如果这是一个假的问题,我对Golang完全陌生,并且试图很好地理解基本知识。
解释很简单: 在上面的代码中 没有 声明或明确使用单个数组。您的tab局部变量和tab参数是 slices 。
tab
在Go语言中,数组的长度是该类型的一部分,例如[3]int(在一定程度上是正确的,[2]int并且[3]int是2种不同/不同的数组类型)。如果长度不存在([2]int在复合文字中 像显式一样或隐式一样[...]int{1, 2, 3}),则该长度不是数组类型,而是切片类型。
[3]int
[2]int
[...]int{1, 2, 3}
是的,当您阅读时,数组值表示其所有元素,并且在传递(或分配)时会复制其所有元素。切片不过是小的描述符,标头,描述了数组的连续部分。当切片被传递(或分配)时,仅复制此标头(包括指针),该标头指向相同的基础数组。因此,如果您修改切片副本的元素,则更改将反映在原始切片中,因为只有一个支持该元素的后备阵列。
如果您想确切地了解切片头中的内容,则可以检查reflect.SliceHeader类型:它struct包含指向切片第一个元素的指针,切片的长度和容量。
reflect.SliceHeader
struct
请阅读以下博客文章,其中详细说明了这一点:
切成薄片:用法和内部原理
数组,切片(和字符串):“追加”的机制