内存分配: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 = "飞雪无情"。

  1. 声明后再进行初始化,比如 s="飞雪无情"(假设已经声明变量 s)。

  1. 使用 := 简单声明,比如 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 也一样,因为它们本质上也是指针类型。

猜你喜欢

转载自blog.csdn.net/qq_34556414/article/details/129397073
今日推荐