go语言学习系列教程（6）---数组和切片

1：数组

数组是同一类型元素的集合，Go 语言中不允许混合不同类型的元素，例如包含字符串和整数的数组。当然，如果是 interface{} 类型数组，可以包含任意类型

1.1 数组的声明

一个数组的表示形式为 [n]T。n 表示数组中元素的数量，T 代表每个元素的类型。元素的数量 n 也是该类型的一部分
直接上代码：

package main

import (
    "fmt"
)

func main() {
    var a [3]int //int array with length 3
    fmt.Println(a) //输出 [0 0 0]
  	//赋值
    a[0] = 11 // array index starts at 0
    a[1] = 12
    a[2] = 13
		fmt.Println(a) 输出 [11,12,13]
  	//简略声明
    b := [3]int{12, 78, 50} // short hand declaration to create array
    fmt.Println(b)//输出 [12 78 50]
    //可以忽略声明数组的长度，并用 ... 代替，让编译器为你自动计算长度
    c := [...]int{12, 78, 50} // ... makes the compiler determine the length
    fmt.Println(c)//输出 [12 78 50]

    //数组的大小是类型的一部分,因此 [5]int 和 [25]int 是不同类型
  	m := [3]int{5, 78, 8}
    var n [5]int
    n = m //试图将类型 [3]int 的变量赋给类型为 [5]int 的变量,这是不允许的，编译器将抛出错误
    
}

1.2 数组是值类型

Go 中的数组是值类型而不是引用类型。这意味着当数组赋值给一个新的变量时，该变量会得到一个原始数组的一个副本。如果对新变量进行更改，则不会影响原始数组
上代码：

package main

import "fmt"

func main() {
    a := [...]string{"USA", "China", "India", "Germany", "France"}
    b := a // a 的副本被赋给 b
    b[0] = "Singapore"
    fmt.Println("a is ", a)//输出 a is [USA China India Germany France]
    fmt.Println("b is ", b) //输出 b is [Singapore China India Germany France]
	  //上面的示例说明，副本的改变并不会影响原始数组的改变

  	//同样，当数组作为参数传递给函数时，它们是按值传递，而原始数组保持不变
		num := [...]int{5, 6, 7, 8, 8}
    fmt.Println("before passing to function ", num)//输出：before passing to function  [5 6 7 8 8]
    changeLocal(num) //num is passed by value
    fmt.Println("after passing to function ", num)//输出：after passing to function  [5 6 7 8 8]
}

func changeLocal(num [5]int) {
    num[0] = 55
    fmt.Println("inside function ", num)//输出：inside function  [55 6 7 8 8]
}

1.3 数组长度

通过len函数可以得到数组的长度

package main

import "fmt"

func main() {
    a := [...]int{1,2,3,4,5,9}
    fmt.Println("length of a is",len(a)) //输出：length of a is 5
}

1.4 数组迭代（遍历）

可通过for循环遍历

package main

import "fmt"

func main() {
    a := a := [...]int{1,2,3,4,5,9}
    for i := 0; i < len(a); i++ { 
        fmt.Printf("%d th element of a is %d\n", i, a[i])
    }

  	//通过使用 for 循环的 range 方法来遍历数组
		for i, v := range a {
       fmt.Printf("%d th element of a is %d\n", i, v)
    }

  	//如果你只需要值并希望忽略索引，则可以通过用 _ 空白标识符替换索引来执行
    for _, v := range a {
    	fmt.Printf("%d\n", v)
    }
}

1.5 多维数组

代码来解释

package main

import (
    "fmt"
)

func printarray(a [3][2]string) {
    for _, v1 := range a {
        for _, v2 := range v1 {
            fmt.Printf("%s ", v2)
        }
        fmt.Printf("\n")
    }
}

func main() {
    a := [3][2]string{
        {"lion", "tiger"},
        {"cat", "dog"},
        {"pigeon", "peacock"}, // this comma is necessary. The compiler will complain if you omit this comma
    }
    printarray(a)
    var b [3][2]string
    b[0][0] = "apple"
    b[0][1] = "samsung"
    b[1][0] = "microsoft"
    b[1][1] = "google"
    b[2][0] = "AT&T"
    b[2][1] = "T-Mobile"
    fmt.Printf("\n")
    printarray(b)
}

2：切片

切片是由数组建立的一种方便、灵活且功能强大的包装（Wrapper）。切片本身不拥有任何数据。它们只是对现有数组的引用

2.1 如何创建一个切片

代码实践是最好的说明

package main

import (
    "fmt"
)

func main() {
    a := [5]int{76, 77, 78, 79, 80}
    var b []int = a[1:4] // 创建一个从 a 数组索引 start 开始到 end - 1 结束的切片
    fmt.Println(b)//切片 b 的值为 [77 78 79]

  	//创建一个有 3 个整型元素的数组，并返回一个存储在 c 中的切片引用
  	c := []int{6, 7, 8} // 另一种创建切片的方,注意与数组的区别
    fmt.Println(c)

  	//使用 make 创建一个切片
  	//func make（[]T，len，cap）[]T 通过传递类型，长度和容量来创建切片。容量是可选参数, 
		//默认值为切片长度。make 函数创建一个数组，并返回引用该数组的切片。
  	i := make([]int, 5, 5)
    fmt.Println(i)
}

2.2 切片的修改

切片自己不拥有任何数据。它只是底层数组的一种表示。对切片所做的任何修改都会反映在底层数组中

package main

import (
    "fmt"
)

func main() {
    darr := [...]int{57, 89, 90, 82, 100, 78, 67, 69, 59}
    dslice := darr[2:5]
    fmt.Println("array before", darr)
    for i := range dslice {
        dslice[i]++
    }
    fmt.Println("array after", darr)
}

在上述程序的第 9 行，我们根据数组索引 2,3,4 创建一个切片 dslice。for 循环将这些索引中的值逐个递增。当我们使用 for 循环打印数组时，我们可以看到对切片的更改反映在数组中。该程序的输出是
array before [57 89 90 82 100 78 67 69 59]
array after [57 89 91 83 101 78 67 69 59]

2.3 切片的长度和容量

切片的长度是切片中的元素数。切片的容量是从创建切片索引开始的底层数组中元素数

package main

import (
    "fmt"
)

func main() {
    fruitarray := [...]string{"apple", "orange", "grape", "mango", "water melon", "pine apple", "chikoo"}
    fruitslice := fruitarray[1:3]
    fmt.Printf("length of slice %d capacity %d", len(fruitslice), cap(fruitslice)) // length of is 2 and capacity is 6
}

在上面的程序中，fruitslice 是从 fruitarray 的索引 1 和 2 创建的。 因此，fruitlice 的长度为 2。
fruitarray 的长度是 7。fruiteslice 是从 fruitarray 的索引 1 创建的。因此, fruitslice 的容量是从 fruitarray 索引为 1 开始，也就是说从 orange 开始，该值是 6。因此, fruitslice 的容量为 6。该程序输出切片的 长度为 2 容量为 6 。
切片可以重置其容量。任何超出这一点将导致程序运行时抛出错误。

package main

import (
    "fmt"
)

func main() {
    fruitarray := [...]string{"apple", "orange", "grape", "mango", "water melon", "pine apple", "chikoo"}
    fruitslice := fruitarray[1:3]
    fmt.Printf("length of slice %d capacity %d\n", len(fruitslice), cap(fruitslice)) // length of is 2 and capacity is 6
    fruitslice = fruitslice[:cap(fruitslice)] // re-slicing furitslice till its capacity
    fmt.Println("After re-slicing length is",len(fruitslice), "and capacity is",cap(fruitslice))
}

在上述程序的第 11 行中，fruitslice 的容量是重置的。以上程序输出为

length of slice 2 capacity 6  
After re-slicing length is 6 and capacity is 6

2.4 追加切片元素

正如我们已经知道数组的长度是固定的，它的长度不能增加。 切片是动态的，使用 append 可以将新元素追加到切片上。append 函数的定义是 func append（s[]T，x … T）[]T。
x … T 在函数定义中表示该函数接受参数 x 的个数是可变的。这些类型的函数被称为可变函数。
有一个问题可能会困扰你。如果切片由数组支持，并且数组本身的长度是固定的，那么切片如何具有动态长度。以及内部发生了什么，当新的元素被添加到切片时，会创建一个新的数组。现有数组的元素被复制到这个新数组中，并返回这个新数组的新切片引用。现在新切片的容量是旧切片的两倍。下面的程序会让你清晰理解

package main

import (
    "fmt"
)

func main() {
    cars := []string{"Ferrari", "Honda", "Ford"}
    fmt.Println("cars:", cars, "has old length", len(cars), "and capacity", cap(cars)) // capacity of cars is 3
    cars = append(cars, "Toyota")
    fmt.Println("cars:", cars, "has new length", len(cars), "and capacity", cap(cars)) // capacity of cars is doubled to 6
}

在上述程序中，cars 的容量最初是 3。在第 10 行，我们给 cars 添加了一个新的元素，并把 append(cars, “Toyota”) 返回的切片赋值给 cars。现在 cars 的容量翻了一番，变成了 6。上述程序的输出是

cars: [Ferrari Honda Ford] has old length 3 and capacity 3   
cars: [Ferrari Honda Ford Toyota] has new length 4 and capacity 6

切片类型的零值为 nil。一个 nil 切片的长度和容量为 0。可以使用 append 函数将值追加到 nil 切片。

package main

import (  
    "fmt"
)

func main() {  
    var names []string //zero value of a slice is nil
    if names == nil {
        fmt.Println("slice is nil going to append")
        names = append(names, "John", "Sebastian", "Vinay")
        fmt.Println("names contents:",names)
    }
}

在上面的程序 names 是 nil，我们已经添加 3 个字符串给 names。该程序的输出是

slice is nil going to append   
names contents: [John Sebastian Vinay]

也可以使用 … 运算符将一个切片添加到另一个切片

package main

import (
    "fmt"
)

func main() {
    veggies := []string{"potatoes", "tomatoes", "brinjal"}
    fruits := []string{"oranges", "apples"}
    food := append(veggies, fruits...)
    fmt.Println("food:",food)
}

2.4 切片的函数传递
我们可以认为，切片在内部可由一个结构体类型表示。这是它的表现形式，

type slice struct {  
    Length        int
    Capacity      int
    ZerothElement *byte
}

切片包含长度、容量和指向数组第零个元素的指针。当切片传递给函数时，即使它通过值传递，指针变量也将引用相同的底层数组。因此，当切片作为参数传递给函数时，函数内所做的更改也会在函数外可见。让我们写一个程序来检查这点。

package main

import (
   "fmt"
)

func subtactOne(numbers []int) {
   for i := range numbers {
       numbers[i] -= 2
   }
}
func main() {
   nos := []int{8, 7, 6}
   fmt.Println("slice before function call", nos)
   subtactOne(nos)                               // function modifies the slice
   fmt.Println("slice after function call", nos) // modifications are visible outside
}

上述程序的行号 17 中，调用函数将切片中的每个元素递减 2。在函数调用后打印切片时，这些更改是可见的。如果你还记得，这是不同于数组的，对于函数中一个数组的变化在函数外是不可见的。上述程序的输出是

array before function call [8 7 6]  
array after function call [6 5 4]

2.5 多维切片
类似于数组，切片可以有多个维度。

package main

import (
    "fmt"
)

func main() {  
     pls := [][]string {
            {"C", "C++"},
            {"JavaScript"},
            {"Go", "Rust"},
            }
    for _, v1 := range pls {
        for _, v2 := range v1 {
            fmt.Printf("%s ", v2)
        }
        fmt.Printf("\n")
    }
}

 C C++   
JavaScript  
 Go Rust

2.6 内存优化
切片持有对底层数组的引用。只要切片在内存中，数组就不能被垃圾回收。在内存管理方面，这是需要注意的。让我们假设我们有一个非常大的数组，我们只想处理它的一小部分。然后，我们由这个数组创建一个切片，并开始处理切片。这里需要重点注意的是，在切片引用时数组仍然存在内存中。
一种解决方法是使用 copy 函数 func copy(dst，src[]T)int 来生成一个切片的副本。这样我们可以使用新的切片，原始数组可以被垃圾回收。

package main

import (
    "fmt"
)

func countries() []string {
    countries := []string{"USA", "Singapore", "Germany", "India", "Australia"}
    neededCountries := countries[:len(countries)-2]
    countriesCpy := make([]string, len(neededCountries))
    copy(countriesCpy, neededCountries) //copies neededCountries to countriesCpy
    return countriesCpy
}
func main() {
    countriesNeeded := countries()
    fmt.Println(countriesNeeded)
}

在上述程序的第 9 行，neededCountries := countries[:len(countries)-2 创建一个去掉尾部 2 个元素的切片 countries，在上述程序的 11 行，将 neededCountries 复制到 countriesCpy 同时在函数的下一行返回 countriesCpy。现在 countries 数组可以被垃圾回收, 因为 neededCountries 不再被引用