内存分配：new 还是 make？什么情况下该用谁？

程序的运行都需要内存，比如像变量的创建、函数的调用、数据的计算等。所以在需要内存的时候就要申请内存，进行内存分配。在 C/C++ 这类语言中，内存是由开发者自己管理的，需要主动申请和释放，而在 Go 语言中则是由该语言自己管理的，开发者不用做太多干涉，只需要声明变量，Go 语言就会根据变量的类型自动分配相应的内存。

Go 语言程序所管理的虚拟内存空间会被分为两部分：堆内存和栈内存。栈内存主要由 Go 语言来管理，开发者无法干涉太多，堆内存才是我们开发者发挥能力的舞台，因为程序的数据大部分分配在堆内存上，一个程序的大部分内存占用也是在堆内存上。

小提示：我们常说的 Go 语言的内存垃圾回收是针对堆内存的垃圾回收。

变量

一个数据类型，在声明初始化后都会赋值给一个变量，变量存储了程序运行所需的数据。

变量的声明

和前面课程讲的一样，如果要单纯声明一个变量，可以通过 var 关键字，如下所示：

var s string

该示例只是声明了一个变量 s，类型为 string，并没有对它进行初始化，所以它的值为 string 的零值，也就是 ""（空字符串）。

string 其实是个值类型，现在我们来声明一个指针类型的变量试试，如下所示：

var sp *string

发现也是可以的，但是它同样没有被初始化，所以它的值是 *string 类型的零值，也就是 nil。

变量的赋值

变量可以通过 = 运算符赋值，也就是修改变量的值。如果在声明一个变量的时候就给这个变量赋值，这种操作就称为变量的初始化。如果要对一个变量初始化，可以有三种办法。

1. 声明时直接初始化，比如 var s string = "飞雪无情"。

2. 声明后再进行初始化，比如 s="飞雪无情"（假设已经声明变量 s）。

3. 使用 := 简单声明，比如 s:="飞雪无情"。

小提示：变量的初始化也是一种赋值，只不过它发生在变量声明的时候，时机最靠前。也就是说，当你获得这个变量时，它就已经被赋值了。

现在我们就对上面示例中的变量 s 进行赋值，示例代码如下：

func main() {
   var s string
   s = "张三"
   fmt.Println(s)
}

运行以上代码，可以正常打印出张三，说明值类型的变量没有初始化时，直接赋值是没有问题的。那么对于指针类型的变量呢？

在下面的示例代码中，我声明了一个指针类型的变量 sp，然后把该变量的值修改为“飞雪无情”。

func main() {
   var sp *string
   *sp = "飞雪无情"
   fmt.Println(*sp)
}

运行这些代码，你会看到如下错误信息：

panic: runtime error: invalid memory address or nil pointer dereference

这是因为指针类型的变量如果没有分配内存，就默认是零值 nil，它没有指向的内存，所以无法使用，强行使用就会得到以上 nil 指针错误。

而对于值类型来说，即使只声明一个变量，没有对其初始化，该变量也会有分配好的内存。

在下面的示例中，我声明了一个变量 s，并没有对其初始化，但是可以通过 &s 获取它的内存地址。这其实是 Go 语言帮我们做的，可以直接使用。

func main() {
   var s string
   fmt.Printf("%p\n",&s)
}

还记得我们在讲并发的时候，使用 var wg sync.WaitGroup 声明的变量 wg 吗？现在你应该知道为什么不进行初始化也可以直接使用了吧？因为 sync.WaitGroup 是一个 struct 结构体，是一个值类型，Go 语言自动分配了内存，所以可以直接使用，不会报 nil 异常。

于是可以得到结论：如果要对一个变量赋值，这个变量必须有对应的分配好的内存，这样才可以对这块内存操作，完成赋值的目的。

小提示：其实不止赋值操作，对于指针变量，如果没有分配内存，取值操作一样会报 nil 异常，因为没有可以操作的内存。

所以一个变量必须要经过声明、内存分配才能赋值，才可以在声明的时候进行初始化。指针类型在声明的时候，Go 语言并没有自动分配内存，所以不能对其进行赋值操作，这和值类型不一样。

小提示：map 和 chan 也一样，因为它们本质上也是指针类型。