Golang中make与new区别解析

知识点掌握了，还需要不断练习才能熟练运用。下面golang学习网给大家带来一个Golang开发实战，手把手教大家学习《Golang中make与new的区别：内存分配底层解析》，在实现功能的过程中也带大家重新温习相关知识点，温故而知新，回头看看说不定又有不一样的感悟！

new用于分配任意类型的内存并返回指向零值的指针，而make专用于初始化切片、映射和通道并返回已初始化实例。1.new(T)为类型T分配清零内存并返回*T指针，适用于基本类型、结构体等；2.make仅用于创建切片、映射和通道，会初始化其内部结构使其可直接使用；3.声明变量时零值可能为nil（如切片、映射、通道），需make确保可用性；4.new是通用内存分配器，make则是特定复合类型的构造函数，封装了复杂初始化逻辑。

Golang中的make和new函数，它们的核心区别在于用途和返回值的类型。简单来说，new负责分配内存并返回一个指向零值（zeroed value）的指针，而make则专门用于初始化切片（slice）、映射（map）和通道（channel）这三种内建类型，并返回一个已初始化（非零值）的实例。new是通用的内存分配器，而make则是特定复合数据结构的初始化器。

解决方案

new函数的工作方式相对直观。当你调用new(T)时，它会为类型T分配一块内存，并将这块内存清零（即所有位都设为零），然后返回一个指向这块内存的*T类型指针。这里的“零值”指的是该类型在Go语言中的默认初始值，比如整型是0，布尔型是false，字符串是空字符串""，指针是nil。new可以用于任何类型，无论是基本类型、结构体还是数组，它只是单纯地分配并清零内存，不进行任何额外的初始化操作。

make函数则不同，它并非一个通用的内存分配函数。它仅限于创建切片、映射和通道。make的职责不仅仅是分配内存，更重要的是它会初始化这些复合数据结构的内部状态，使它们能够立即被使用。例如：

• 切片 (Slice): make([]T, length, capacity)会分配一个底层数组，并创建一个切片头（包含指向底层数组的指针、长度和容量）来引用这个数组。这个底层数组会被零值化，但切片头本身是根据你提供的length和capacity参数进行初始化的，而不是零值。
• 映射 (Map): make(map[K]V)会分配一个哈希表结构，并初始化其内部状态，使其能够存储键值对。这包括分配桶（buckets）、设置负载因子等，而不是简单地清零一块内存。
• 通道 (Channel): make(chan T, bufferSize)会分配一个环形缓冲区以及相关的互斥锁和等待队列，并初始化这些结构，使其能够进行发送和接收操作。

因此，new是“给我一块干净的内存，我来决定怎么用”，而make则是“给我一个能直接用的切片/映射/通道，你帮我把它的内部结构都搭好”。

Golang中何时应该使用make，何时使用new？

选择make还是new，很大程度上取决于你想要创建的类型以及你希望如何使用它。这并不是一个非此即彼的难题，更多的是关于理解Go语言对不同数据结构的设计哲学。

当你需要为任何类型（包括自定义结构体、基本类型如int、string等）分配内存，并希望得到一个指向该类型零值的指针时，new是你的选择。比如，如果你想创建一个结构体的实例，并且希望通过指针来操作它，或者这个结构体比较大，你不想在栈上分配它（尽管Go的逃逸分析会帮你决定），那么new(MyStruct)就非常合适。它给你一个*MyStruct，所有字段都是其默认的零值。如果你只是声明一个变量，var myStruct MyStruct也会得到一个零值化的MyStruct，但它是一个值类型，而不是指针。

然而，对于切片、映射和通道这三种类型，你几乎总是需要使用make来初始化它们，除非你明确知道你想要一个nil的切片、映射或通道。声明一个var mySlice []int会得到一个nil切片，对其进行append操作通常没问题（Go运行时会处理），但如果你想直接通过索引访问或对map进行读写，nil会导致运行时错误（panic）。make确保这些复合类型被正确地构造，拥有必要的内部数据结构和容量，从而能够立即进行操作。例如，make([]int, 5)会创建一个长度为5的切片，底层有5个零值化的整数；make(map[string]int)会创建一个空的、可用的映射。我个人觉得，对于这三者，记住“能用”是关键，make就是为了让它们“能用”。

深入理解Golang中make和new的内存分配机制差异

从内存分配的底层视角来看，new和make的行为差异更为显著。

new函数执行的是一个相对简单的内存分配过程。当你调用new(T)时，Go运行时会在堆上（Heap）分配一块足够存储类型T值的内存空间。这块内存随后会被全部置为零。这个过程就像是操作系统给你一块干净的、空白的土地，你可以随意在上面建造你的房子（数据结构）。因为Go有垃圾回收机制，你不需要手动管理这块内存的释放。它的主要特点是通用性和“零值化”。无论你分配的是一个简单的int，还是一个复杂的嵌套结构体，new都只是分配并清零相应的字节数。

而make则不仅仅是分配内存那么简单，它还包含了类型特定的初始化逻辑。

• 切片 (Slice): 当你make([]T, len, cap)时，Go运行时会在堆上分配一个底层数组（大小由cap决定）。这个数组的元素会被初始化为T的零值。同时，make还会创建一个切片头（一个包含三个字段的结构体：指向底层数组的指针、当前长度len和容量cap），这个切片头通常会在栈上分配（如果切片变量没有逃逸到堆）。所以，make不仅分配了数据存储空间，还构建了访问和管理这块空间的“控制器”。
• 映射 (Map): make(map[K]V)的底层实现更为复杂。它会分配一个哈希表结构，这包括一系列的桶（buckets，用于存储键值对）以及一些管理哈希表状态的元数据。这些结构会在堆上分配，并且make会执行一系列初始化操作，比如设置哈希函数、负载因子阈值等，以确保哈希表在插入第一个元素之前是有效且可用的。这远超简单的内存清零。
• 通道 (Channel): make(chan T, bufferSize)同样涉及复杂的初始化。它会在堆上分配一个环形缓冲区（如果bufferSize > 0），以及用于同步的互斥锁（mutex）和条件变量（cond vars）。make会初始化这些同步原语和缓冲区，使其能够安全地进行并发读写操作。

可以说，new是内存分配的“原子操作”，而make则是针对特定Go内置复合类型的“构造函数”，它封装了更复杂的内存分配和内部状态设置。

Golang中make和new与变量声明的关联与最佳实践

理解make和new，也需要把它们和Go语言中常规的变量声明方式联系起来看。这三者共同构成了Go中内存和变量管理的主要手段。

当你使用var x Type声明一个变量时，Go会根据Type的零值来初始化x。如果Type是一个值类型（如int, bool, struct），x会直接在栈上（或经过逃逸分析后在堆上）分配并初始化为零值。例如，var i int会得到i=0；var s MyStruct会得到一个所有字段都为零值的MyStruct实例。然而，如果Type是切片、映射或通道，它们的零值是nil。这意味着var mySlice []int会得到一个nil切片，它没有底层数组，不能直接进行索引访问（虽然append操作可以），尝试访问其元素会引发运行时错误。同样，var myMap map[string]int和var myChan chan int也都是nil，不能直接使用。

这就是make发挥作用的地方。对于切片、映射和通道，如果你打算立即使用它们（比如向切片中添加元素，向映射中插入键值对，或者在通道上发送/接收数据），那么务必使用make进行初始化。这是最佳实践，它能保证这些数据结构是可用的，避免运行时错误。

// 错误示范：nil map不能直接赋值
// var m map[string]int
// m["key"] = 1 // panic: assignment to entry in nil map

// 正确使用make初始化map
m := make(map[string]int)
m["key"] = 1 // OK

而new则更常用于获取一个指向自定义结构体零值的指针。虽然你也可以var p *MyStruct，但这样p会是nil，你还需要p = &MyStruct{}或者p = new(MyStruct)来分配内存。new(MyStruct)直接给你一个非nil的*MyStruct，其所有字段都已初始化为零值。我个人在创建结构体实例时，如果需要一个指针，更倾向于使用复合字面量&MyStruct{}，因为它允许我在创建的同时初始化字段，代码可读性更好。但new在某些场景下，比如泛型编程中需要一个通用指针时，依然有其独特的价值。

总结来说，make是Go语言中为三种特定内建复合类型量身定制的“工厂”，确保它们在创建时就具备完整功能。而new则是一个通用的“内存分配器”，它只负责提供一块清零的内存空间，并返回指向它的指针。理解它们各自的职责和使用场景，是写出健壮Go代码的关键一步。

本篇关于《Golang中make与new区别解析》的介绍就到此结束啦，但是学无止境，想要了解学习更多关于Golang的相关知识，请关注golang学习网公众号！