乱立Flag害死人

年初的立的各种Flag，已经被我抛到九霄云外去了。2018年已经过去了一半，终于开始了第三篇文章，距离全年30篇的输出计划，仅剩27本，我很有“信心完成”剩下的部分。

2018年伊始，开始从PHP转到Go的开发方向，虽然说学习路线并不是非常陡峭，但是过程中遇到不少坑以及有意思的地方，忍不住想总结分享给大家。今天先来聊一聊Go中初始化变量的几种方式。

Go中初始化值类型的招式

Golang的数据类型可以分为：值类型 与 引用类型，我先来总结一下Go中值类型（以 string 为例）的初始化方式：

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
var a1 string
fmt.Printf("a1: %#v \n", a1) // a1: ""

var a2 *string
fmt.Printf("a2: %#v \n", a2) // a2: (*string)(nil)
// panic: runtime error: invalid memory address or nil pointer dereference
//fmt.Printf(**"a2: %#v \n"**, *a2)

a3 := new(string)
fmt.Printf("a3: %#v \n", a3) // a3: (*string)(0xc42000e200)
fmt.Printf(**"a3: %#v \n"**, *a3) // a3: ""

a4 := "hello"
fmt.Printf("a4: %#v \n", a4) // a4: "hello"

a5 := string("hello")
fmt.Printf("a5: %#v \n", a5) // a5: "hello"

a6 := &a5
fmt.Printf("a6: %#v \n", a6) // a6: (*string)(0xc42000e1e0)

// 报错，cannot make type string
//a7 := make(string, 1)

// 报错，cannot take the address of string("hello")
//a8 := &string("hello")

注释部分是输出的信息，可以看到有的结果打出来是个值，有的是一个指针。这一部分重点我只想说明两个点：

  1. Go会自动将申明变量初始化为0值，所谓的0值是：int就是0，string就是空字符，bool就是false等
  2. 对于通过new创建的变量，是一个指针，它与var声明的变量是不同的，var声明的变量仅是一个nil。而new(string) 为string分配一片内存，初始化为 0。通过上面注释的报错信息大家可以理解。

Go中初始化引用类型的招式

这是我想说的重点，Go中的引用类型仅有三种：::map:: ::slice:: ::channel::，这里举例就用slice来进行。

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
var s1 []string
fmt.Printf("s1: %#v\n", s1) // s1: []string(nil)
s1 = append(s1, "hello")
fmt.Printf("s1: %#v\n", s1) // s1: []string{"hello"}

var s2 *[]string
fmt.Printf("s2: %#v\n", s2) // s2: (*[]string)(nil)

s3 := []string{"a", "b", "c"}
fmt.Printf("s3: %#v\n", s3) // s3: []string{"a", "b", "c"}

s4 := &[]string{}
fmt.Printf("s4: %#v\n", s4) // s4: &[]string{}

s5 := &s3
fmt.Printf("s5: %#v\n", s5) // s5: &[]string{"a", "b", "c"}

s6 := new([]string)
fmt.Printf("s6: %#v\n", s6) // s6: &[]string(nil)
// first argument to append must be slice; have *[]string
//s6 = append(s6, "hello") // 这是一个空引用的指针，所以报错

s7 := make([]string, 0)
fmt.Printf("s7: %#v\n", s7) // s7: []string{}

// 有毛病才用这种方式
s8 := new([]string)
*s8 = make([]string, 0)
fmt.Printf("s8: %#v\n", s8) // s8: &[]string{}

arr := [5]string{"a", "b", "c"}
s9 := arr[:]
fmt.Printf("s9: %#v\n", s9) // s9: []string{"a", "b", "c", "", ""}

这里我重点分析一下s6、s7、s8这三种初始化方式。先说s6，使用的是new。

new(T) 为每个新的类型T分配一片内存，初始化为 0 并且返回类型为*T的内存地址：这种方法 返回一个指向类型为 T，值为 0 的地址的指针
这里所谓的值为0，并不是数值0，而是go的默认0值，对应 ::slice:: 就是nil。

在Go中绝对不会采用这种方式来初始化 ::slice:: 的，原因是为什么呢？我这里先简单说一下，是因为Go中::slice::是如下定义的：

1
2
3
4
5
type slice struct{
	array unsafe.Pointer
	len   int
	cap   int
}

如果用 new 因为返回的是 T 的内存地址，无法完成对 ::slice::的初始化，无法让slice正常使用，想要让他可以正常使用，就得像s8的处理方式一样，再用make对应 T 进行一次初始化。如果这么干，你说是不是有毛病才用的方式？

slice 的初始化需要初始化 len、cap的值，让 array 指向一个数组的指针。完成这些初始化后，slice才能正常使用。

总结

关于自定义结构的初始化与上面string的初始化一样，map、channel与slice一样。大家可以自己写点代码试试

  • 记住make只用于map，slice和channel，并且不返回指针。
  • 要获得一个显式的指针，使用new进行分配，或者显式地使用一个变量的地址。

接下来计划分享的内容：

  1. Go中值、引用、指针方面的知识，重点是函数参数的传参方式
  2. Go中::slice::与::array::的亲密关系
  3. Go中接口的知识，从::sort::的源代码角度来介绍