理解Golang中的数组（array）、切片（slice）和map

我比较喜欢先给出代码，然后得出结论

数组

package main

import (
    "fmt"
)

func main() {
    arr := [...]int{1, 2, 3}
    //打印初始的指针
    fmt.printf("the pointer is : %p \n", &arr)
    printpointer(arr)
}

func printpointer(any interface{}) {
    fmt.printf("the pointer is : %p \n", &any)
}

结果

1 the pointer is : 0xc082008580
2 the pointer is : 0xc0820001d0

切片

package main

import (
    "fmt"
)

func main() {
    arr := make([]int, 3)
    //打印初始的指针
    fmt.printf("the pointer is : %p \n", arr)
    printpointer(arr)
}

func printpointer(any interface{}) {
    fmt.printf("the pointer is : %p \n", any)
}

结果

1 the pointer is : 0xc082008580
2 the pointer is : 0xc082008580

map

package main

import (
    "fmt"
)

func main() {
    arr := make(map[int]string)
    //arr := [3]int{1, 2, 3}
    //打印初始的指针
    fmt.printf("the pointer is : %p \n", arr)
    printpointer(arr)
}

func printpointer(any interface{}) {
    fmt.printf("the pointer is : %p \n", any)
}

运行结果

1 the pointer is : 0xc082007c80
2 the pointer is : 0xc082007c80

由此，我们看到数组本身传过去的是值，传到函数之后，被开辟了另外一个空间。

因为数组就是他本身。这一句好像不太好理解。

这是切片 arr := make([]int, 3)  而arr 本身不是一个数组，至少不是我们所想要的指向的一个数组。只是arr里有一个地址指向数组。

这么举个例子：

arr := [...]int{1,2,3,4,5} 这是一个数组，懂得go语言的都明白。  arr本身就是数组

arrslice := arr[0:5]  这是一个切片。 打印所得的值是一样的，和上面。  arrslice本身不是数组，只是arrslice本身有一个值是指向arr的指针。

切片是指一个结构体，大体结构像这样：

struct slice{
     ptr *elem
    len int
    cap int
 }

也就是说，上面的arrslice其实是一个结构体。里面有一个属性 ptr指向数组 arr

其实arrslice也是传到函数里，也是进行了复制。但是尽管传过去是一个复制的结构体，他的属性ptr，没有变。还是一个指向原数组的指针。

下面的例子见证他自己传过去，是一个复制的过程：

package main

import (
    "fmt"
)

func main() {
    arrslice := make([]int, 4)
    fmt.printf("the pointer is : %p \n", arrslice)
    fmt.printf("the pointer is : %p \n", &arrslice) //这是arrslice本身的指针，也就是结构体的指针
    printpointer(arrslice)
}

func printpointer(any interface{}) {
    fmt.printf("the pointer is : %p \n", any)
    fmt.printf("the pointer is : %p \n", &any) //打印传过来的结构体arrslice的指针
}

看结果：

the pointer is : 0xc0820085a0
the pointer is : 0xc082008580
the pointer is : 0xc0820085a0
the pointer is : 0xc0820001d0

第1、3个的打印是打印这个结构体的ptr属性，也就是指向数组的指针。

其实这个结构体传到函数里，是一个复制的过程，第2、4的指针不一样。

大家在对照下面的图片理解一下: