Golang的数组、切片、映射的理解

妖狐艹你老母 2022-10-19 00:55 122阅读 0赞

1、数组  
        go的数组是值类型，**赋值和传参操作都会复制整个数组数据**，因此一般使用指针在函数间传递大数组。

如果数组长度不确定，可以使用 ... 代替数组的长度，编译器会根据元素个数自行推断数组的长度：balance := \[...\]float32\{\}，同时还可以通过指定下标来初始化元素。

2、切片  
        引用类型，创建的变量被称作标头（ header）值，标头值里包含一个指针，指向底层数据结构，因此通过复制传递一个引用类型的值的副本时（go语言中所有都是值传递），本质上是传递指针，还是共享底层的数据结构。

Go 中切片其实可以看作是对数组的抽象，Go中数组的长度不可改变，Go中提供了一种功能强悍的切片("动态数组")，与数组相比切片的长度是不固定的，可以追加元素，在追加时可能使切片的容量增大。切片不需要说明长度，\[\] 表示是切片类型。

切片由3个字段组成：指向底层数组首地址的指针、切片的长度、切片的容量（即允许增长到的元素个数也是底层数组的长度）。

// 使用make 创建空的整型切片
    slice := make([]int, 0)
    // 使用切片字面量创建空的整型切片，初始的长度和容量会基于初始化时提供的元素的个数确定。
    slice := []int{}

2.1、append扩容：append 会首先使用可用容量（长度小于容量的部分），没有可用容量了才会分配一个新的底层数组即一个包含修改结果的新切片。又因为切片赋值或截取的切片会共享同一个底层数组，对切片进行修改后，就很可能会导致不同的结果（原先赋值的变量或截取的切片还是指向之前的地层结构，而扩容后指向了新的底层数组，导致不一致），因此建议设置切片长度和容量相等，这样每次append都会返回一个新的切片。  
返回的新切片按以下规则进行扩容：在切片的容量小于1000 个元素时，总是会成倍地增加容量。一旦元素个数超过1000，容量的增长因子会设为1.25，也就是会每次增加25%的容量。

a := make([]int, 5)
    b := a[0:4]
    a = append(a, 1)
    a[1] = 5
    fmt.Println(b)
    // [0 0 0 0]
    fmt.Println(a)
    // [0 5 0 0 0 1]
    //由于 a 的长度超出了容量，所以切片 a 指向了一个增长后的新数组，而 b 仍然指向原来的老数组。
    //所以之后对 a 进行的操作，对 b 不会产生影响。

3、映射

引用类型，创建的变量被称作标头（ header）值，标头值里包含一个指针，指向底层数据结构，因此通过复制传递一个引用类型的值的副本时，本质上是传递指针，还是共享底层的数据结构。

dict := make(map[string]int)
    dict := map[string]int{}

映射底层使用两个数据结构来存储数据。

第一个数据结构是一个数组，数组存储的是键的散列值的高八位值，用于选择键值对存储在哪个对应的桶。

第二个数据结构是一个字节数组（对应一个逻辑上的桶），用于存储整个键值对，该字节数组先依次存储了这个桶里所有的键，之后依次存储了这个桶里所有的值，目的在于减少每个桶所需的内存。  
映射的键可以是任何值。这个值的类型可以是内置的类型，也可以是结构类型，只要这个值可以使用==运算符做比较。但是**切片、映射、函数以及包含切片的结构类型这些类型由于具有引用语义，不能作为映射的键。**  
在golang中，通过键来索引映射时，即便这个键不存在也总会返回一个值。在这种情况下，返回的是该值对应的类型的零值。