指针

区别于 C/C++中的指针,Go 语言中的指针不能进行偏移和运算,是安全指针。 Go 语言中的指针需要先知道 3 个概念:指针地址、指针类型和指针取值。

Go 语言中的指针

Go 语言中的函数传参都是值拷贝,当我们想要修改某个变量的时候,我们可以创建一个指向该变量地址的指针变量。传递数据使用指针,而无须拷贝数据。类型指针不能进行偏移和运算。Go 语言中的指针操作需要记住两个符号:&(取地址)和*(根据地址取值)。

package main

import "fmt"

func swap1(a int ,b int) {
	var temp int
	temp = a
	a = b
	b = temp
}

func swap2(pa *int, pb *int) {
	var temp int
	temp = *pa //temp = main::a
	*pa = *pb  // main::a = main::b
	*pb = temp // main::b = temp
    rh
}


func main() {
	var a int = 10
	var b int = 20

  swap1(a, b)
	fmt.Println("swap1 a = ", a, " b = ", b)

	swap2(&a, &b)
	fmt.Println("swap2 a = ", a, " b = ", b)


	var p *int

	p = &a

	fmt.Println(&a)
	fmt.Println(p)

	var pp **int //二级指针

	pp = &p

	fmt.Println(&p)
	fmt.Println(pp)
}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45

总结: 取地址操作符&和取值操作符*是一对互补操作符,&取出地址,*根据地址取出地址指向的值。

变量、指针地址、指针变量、取地址、取值的相互关系和特性如下:\

1.对变量进行取地址(&)操作,可以获得这个变量的指针变量。
2.指针变量的值是指针地址。
3.对指针变量进行取值(*)操作,可以获得指针变量指向的原变量的值。
1
2
3

空指针

  • 当一个指针被定义后没有分配到任何变量时,它的值为 nil
  • 空指针的判断
package main
import "fmt"
func main() {
    var p *string
    fmt.Println(p)
    fmt.Printf("p的值是%v\n", p)
    if p != nil {
        fmt.Println("非空")
    } else {
        fmt.Println("空值")
    }
}
1
2
3
4
5
6
7
8
9
10
11
12

new 和 make

我们先来看一个例子:

func main() {
    var a *int
    *a = 100
    fmt.Println(*a)
    var b map[string]int
    b["测试"] = 100
    fmt.Println(b)
}
1
2
3
4
5
6
7
8

执行上面的代码会引发 panic,为什么呢? 在 Go 语言中对于引用类型的变量,我们在使用的时候不仅要声明它,还要为它分配内存空间,否则我们的值就没办法存储。而对于值类型的声明不需要分配内存空间,是因为它们在声明的时候已经默认分配好了内存空间。要分配内存,就引出来今天的 new 和 make。 Go 语言中 new 和 make 是内建的两个函数,主要用来分配内存

new

new 是一个内置的函数,它的函数签名如下:

func new(Type) *Type
1

其中,

1.Type表示类型,new函数只接受一个参数,这个参数是一个类型
2.*Type表示类型指针,new函数返回一个指向该类型内存地址的指针。
1
2

new 函数不太常用,使用 new 函数得到的是一个类型的指针,并且该指针对应的值为该类型的零值。举个例子:

func main() {
    a := new(int)
    b := new(bool)
    fmt.Printf("%T\n", a)
    fmt.Printf("%T\n", b)
    fmt.Println(*a)
    fmt.Println(*b)
}
1
2
3
4
5
6
7
8

本节开始的示例代码中var a *int只是声明了一个指针变量 a 但是没有初始化,指针作为引用类型需要初始化后才会拥有内存空间,才可以给它赋值。应该按照如下方式使用内置的 new 函数对 a 进行初始化之后就可以正常对其赋值了:

func main() {
    var a *int
    a = new(int)
    *a = 10
    fmt.Println(*a)
}
1
2
3
4
5
6

make

make 也是用于内存分配的,区别于 new,它只用于 slice、map 以及 chan 的内存创建,而且它返回的类型就是这三个类型本身,而不是他们的指针类型,因为这三种类型就是引用类型,所以就没有必要返回他们的指针了。make 函数的函数签名如下:

func make(t Type, size ...IntegerType) Type
1

make 函数是无可替代的,我们在使用 slice、map 以及 channel 的时候,都需要使用 make 进行初始化,然后才可以对它们进行操作。这个我们在上一章中都有说明,关于 channel 我们会在后续的章节详细说明。

本节开始的示例中var b map[string]int只是声明变量 b 是一个 map 类型的变量,需要像下面的示例代码一样使用 make 函数进行初始化操作之后,才能对其进行键值对赋值:

func main() {
    var b map[string]int
    b = make(map[string]int, 10)
    b["测试"] = 100
    fmt.Println(b)
}
1
2
3
4
5
6

new 与 make 的区别

1.二者都是用来做内存分配的。
2.make只用于slice、map以及channel的初始化,返回的还是这三个引用类型本身。
3.new用于类型的内存分配,并且内存对应的值为类型零值,返回的是指向类型的指针。
1
2
3

指针小练习

  • 程序定义一个 int 变量 num 的地址并打印
  • 将 num 的地址赋给指针 ptr,并通过 ptr 去修改 num 的值
package main
import "fmt"
func main() {
    var a int
    fmt.Println(&a)
    var p *int
    p = &a
    *p = 20
    fmt.Println(a)
}
1
2
3
4
5
6
7
8
9
10