go特性之数组与切片的问题
数组:
复制传递(不要按照c/c++的方式去理解,c/c++中数组是引用传递),定长
切片:
引用传递,底层实现是3个字段 array(数组) + len(长度) +cap(容量)
go/src/runtime/slice.go slice结构定义: type slice struct { array unsafe.Pointer len int cap int }
要特别注意的是,切片的引用传递指的是切片传递时,切片的array字段是引用传递的,len和cap字段依然是赋值传递。
写个伪代码:
type Slice struct { Array []interface{} Len int Cap int } func fake() { slice1 := &Slice{ Array: 指向一块连续内存的定长数组, Len: 0, Cap: 4 } slice2 := slice1 // 这一行相当于如下: slice2 := &Slice{} slice2.Array = slice1.Array // 指向同一块内存,所以说切片是引用传递 slice2.Len = slice1.Len // len字段被复制了 slice2.Cap = slice2.Cap // cap字段被复制了 // 后续如果触发了任一slice的array重新分配内存,另一个slice都是不知道的 // 已经修改任一slice的len和cap,另一个slice也是不知道的 }
最后总结题
// //输出结果: //array1: [1 2 3] array2 [100 2 3] //slice1: [100 2 3] slice2 [100 2 3] // func TestSlice1(t *testing.T) { // 数组是赋值传递 array1 := [3]int{1,2,3} // 这里array1复制了一份,array2和array1已经不是同一份数据了 // 所以对数组array1,array2的修改是互不影响的 array2 := array1 array2[0] = 100 fmt.Println("array1:", array1, "array2", array2) // 切片是引用传递 slice1 := make([]int, 0) slice1 = append(slice1, 1, 2, 3) // slice2和slice1引用的同一份数据,所以slice2对已有元素的修改,会影响到slice1 // 这里有个细节需要注意,往下面TestSlice2继续看 slice2 := slice1 slice2[0] = 100 fmt.Println("slice1:", slice1, "slice2", slice2) } /* 输出结果 slice1: [1 2 3] slice2 [1 2 3 4] slice1: [1 2 3] slice2 [1 2 3 4 5] slice1: [1 2 3] slice2 [100 2 3 4 5] */ func TestSlice2(t *testing.T) { // 切片是引用传递 slice1 := make([]int, 0, 4) // 容量是4 slice1 = append(slice1, 1, 2, 3) // slice2和slice1引用的同一份数据,所以slice2对元素的修改,会影响到slice1 // 特别要注意的是,这里说的引用同一份数据,实际上是指的slice1和slice2内部的ptr指向了同一个数组 // 但是slice1和slice2结构中的len和cap是复制传递的 slice2 := slice1 // 添加第4个元素,容量足够,不会触发内部ptr数组重新分配 slice2 = append(slice2, 4) fmt.Println("slice1:", slice1, "slice2", slice2) // 添加第5个元素,容量不足,slice2.ptr重新分配内存,此时slice2.ptr和slice1.ptr已经不是同一份内存了 slice2 = append(slice2, 5) fmt.Println("slice1:", slice1, "slice2", slice2) // 所以这里slice2对已有元素的修改,不会影响到slice1了 slice2[0] = 100 fmt.Println("slice1:", slice1, "slice2", slice2) }
到此这篇关于go特性之数组与切片的问题的文章就介绍到这了,更多相关go数组切片内容请搜索我们以前的文章或继续浏览下面的相关文章希望大家以后多多支持我们!
赞 (0)