Go语言 - 指针 | new | make

区别于C/C++中的指针，Go语言中的指针不能进行偏移和运算，是安全指针。

要搞明白Go语言中的指针需要先知道3个概念：指针地址、指针类型和指针取值。

 概念

任何程序数据载入内存后，在内存都有他们的地址，这就是指针。而为了保存一个数据在内存中的地址，我们就需要指针变量。

比如，“人生苦短,Let's go”这句，我想把它写入程序中，程序一启动这句话是要加载到内存（假设内存地址0x123456），我在程序中把这段话赋值给变量A，把内存地址赋值给变量B。这时候变量B就是一个指针变量。通过变量A和变量B都能找到这句话。

Go语言中的指针不能进行偏移和运算，因此Go语言中的指针操作非常简单，我们只需要记住两个符号：

&（取地址）和*（根据地址取值）。

指针地址和指针类型

每个变量在运行时都拥有一个地址，这个地址代表变量在内存中的位置。

Go语言中使用&字符放在变量前面对变量进行“取地址”操作。

Go语言中的值类型（int、float、bool、string、array、struct）都有对应的指针类型，如：*int、*int64、*string等。

取变量指针的语法:

ptr := &v    // v的类型为T

• v:代表被取地址的变量，类型为T
• ptr:用于接收地址的变量，ptr的类型就为*T，称做T的指针类型。*代表指针。

普通变量声明：

var v1 int 

声明 v1 变量 类型为 int 会在内存中生成v1指向的内存地址，此时这个地址上的值为int类型的零值

v2 := 999

声明并初始化 v2 变量 赋值为999,此时自动推到类型为 int 会在内存中生成v2指向的内存地址，此时这个地址上的值为999

​​​​​​​

指针变量声明

变量只能接收对应数据类型的指针

var v3 *int  

声明指针变量 v3 类型为 *int 会在内存中生成v3指向的内存地址，此时这个地址上的值为0x0，即空指针

v4 := new(int)   

声明并初始化指针变量 v4，new开辟了内存空间并将内存地址 赋值给v4,此时这个地址上的值为int类型的初始值

func main() {
    a := 10
    var b *int //int类型的指针变量，这个变量只能接收int类型的指针
    b = &a
    fmt.Printf("a:%d ptr:%p\n", a, &a) // a:10 ptr:0xc00001a078
    fmt.Printf("b:%p type:%T\n", b, b) // b:0xc00001a078 type:*int
    fmt.Println(&b)                    // 0xc00000e018
}

type Abc struct {
	n string
}

var abc Abc
var pabc *Abc

func main() {
	fmt.Printf("%p \n", &abc)  // 0x5794b0
	fmt.Println(&abc)  // &{}
	fmt.Println(abc.n)  // 输出 空字符串
	abc = Abc{"gg"}
	fmt.Println(abc.n)  // 输出 gg

	fmt.Printf("%p \n",pabc)  // 输出指针变量pabc存储的地址：0x0 这个地址不能被访问
	fmt.Println(&pabc)  //输出指针pabc变量本身的地址：0x578cd8
	fmt.Println(pabc.n)  // 报错，因为 pabc 此时是空指针，是nil，还没有开辟内存空间

	pabc = new(Abc)  // new开辟了内存空间
	fmt.Printf("%p \n",pabc)  // 输出指针变量pabc存储的地址：0xc000032210  这个地址可以被访问
	fmt.Println(pabc.n)  // 输出 空字符串
	pabc.n = "kk"
	fmt.Println(pabc.n)  // 输出 kk

}

指针取值

在对普通变量使用&操作符取地址后会获得这个变量的指针，然后可以对指针使用*操作，也就是指针取值，代码如下。

func main() {
    //指针取值
    a := 10
    b := &a // 取变量a的地址，将指针保存到b中
    fmt.Printf("type of b:%T\n", b)　　//type of b:*int
    c := *b // 指针取值（根据指针去内存取值）
    fmt.Printf("type of c:%T\n", c)　　//type of c:int
    fmt.Printf("value of c:%v\n", c)　　//value of c:10
}

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

• 对变量进行取地址（&）操作，可以获得这个变量的指针变量。
• 指针变量的值是指针地址。
• 对指针变量进行取值（*）操作，可以获得指针变量指向的原变量的值

数组指针与指针数组

    //数组指针
	arr := [3]int{1,2,3}
	fmt.Printf("%T,%p\n",arr,&arr)  // [3]int,0xc000014280
	var parr *[3]int
	parr = &arr
	fmt.Println(parr)  // &[1 2 3]
	fmt.Println(*parr)  // [1 2 3]
	//(*parr)[0] = 100
	parr[0] = 100  // 简写
	fmt.Println(*parr)  // [100 20 30]


	//指针数组
	a = 10
	b := 20
	c := 30
	arr1 := []int{a,b,c}  //初始化arr1
	arr2 := []*int{&a,&b,&c}  //初始化arr2

	fmt.Println(arr1)  //[10 20 30]
	arr1[0] = 100
	fmt.Println(arr1)  //[100 20 30]
	fmt.Println(a)  //10

	fmt.Println(arr2)  //[0xc0000160d0 0xc000016128 0xc000016130]  --> [10 20 30]
	*arr2[0] = 200  // 修改了变量a地址上的数值
	fmt.Println(arr2)  //[0xc0000160d0 0xc000016128 0xc000016130]  --> [200 20 30]
	fmt.Println(a)  //200

	a = 300
	fmt.Println(arr1)  //[10 20 30]  int类型是值传递，在初始化arr1时a的值复制了一份到切片中
	fmt.Println(arr2)  //[0xc0000160d0 0xc000016128 0xc000016130]  --> [300 20 30]

函数与指针

函数参数指针传值:

func test(a1 [3]int)  {
    a1[0] = 100
}
// 接收一个指针,对指针取值
func test1(a1 *[3]int)  {  // 只有指针类型才能用*方法取值
    a1[0] = 100
}
func main() {
    a := [3]int{1,2,3}
    test(a)  // 在函数的名称空间中复制了数组并赋值给变量a1
    fmt.Println(a)  // [1 2 3]
    test1(&a)  // test1函数的形参接收的是指针,所以需要传入指针
    fmt.Println(a)  // [100 2 3]  因为是通过指针拿到的同一个地址
}

函数返回指针

func main() {
	arr := test()
	fmt.Printf("%T,%p\n",arr,&arr)  // [3]int,0xc0000142a0

	parr := ptest()
	fmt.Printf("%T,%p\n",parr,parr)  //*[3]int,0xc000014280
}
//函数返回　值类型　数据　-->　将数据复制了一份
func test() [3]int {
	arr := [3]int{1,2,3}
	fmt.Printf("%T,%p\n",arr,&arr)  // [3]int,0xc000025680
	return arr
}
//函数返回　指针类型　数据  --> 返回原数据
func ptest() *[3]int {
	arr := [3]int{1,2,3}
	parr := &arr
	fmt.Printf("%T,%p\n",parr,parr)  //*[3]int,0xc000014280
	return parr
}

new

上面的案例都是通过某一数据类型利用＆来获取对应数据类型的指针

使用new函数可以直接得到一个类型的指针，并且该指针对应的值为该类型的零值。

 new针对值类型初始化得到指针

签名

func new(Type) *Type

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

func main()  {
    var a = new(int)  // 得到一个int类型的指针
    fmt.Println(a)  // 0xc000054058
    *a = 10  // 给指针赋值
    fmt.Println(a)  // 0xc000054058 
    fmt.Println(*a)  // 10

    var c = new([3]int)
    fmt.Println(c)  // &[0 0 0]
    // (*c)[0] = 10
    c[0] = 10
    fmt.Println(*c)  // [10 0 0]
}

注意: var a *int只是声明了一个指针变量a但是没有初始化，指针作为引用类型需要初始化后才会拥有内存空间，才可以给它赋值

make

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

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

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)
}

new与make的区别

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

nil

nil指go语言中的空值。

go语言中类型为nil的几种情况

空指针：var a *int
空列表：var a []int
空字典：var a map[string] int
空队列：var a chan int
空函数：var a func(string) int
空接口：var a error // error 是接口