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

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

解决方案
函数的工作方式相对直观。当你调用
时,它会为类型
分配一块内存,并将这块内存清零(即所有位都设为零),然后返回一个指向这块内存的
类型指针。这里的“零值”指的是该类型在Go语言中的默认初始值,比如整型是0,布尔型是false,字符串是空字符串"",指针是nil。
可以用于任何类型,无论是基本类型、结构体还是数组,它只是单纯地分配并清零内存,不进行任何额外的初始化操作。
函数则不同,它并非一个通用的内存分配函数。它仅限于创建切片、映射和通道。
的职责不仅仅是分配内存,更重要的是它会初始化这些复合数据结构的内部状态,使它们能够立即被使用。例如:
立即学习“go语言免费学习笔记(深入)”;

-
切片 (Slice):
make([]T, length, capacity)
登录后复制
会分配一个底层数组,并创建一个切片头(包含指向底层数组的指针、长度和容量)来引用这个数组。这个底层数组会被零值化,但切片头本身是根据你提供的和参数进行初始化的,而不是零值。
-
映射 (Map): 会分配一个哈希表结构,并初始化其内部状态,使其能够存储键值对。这包括分配桶(buckets)、设置负载因子等,而不是简单地清零一块内存。
-
通道 (Channel):
make(chan T, bufferSize)
登录后复制
会分配一个环形缓冲区以及相关的互斥锁和等待队列,并初始化这些结构,使其能够进行发送和接收操作。
因此,
是“给我一块干净的内存,我来决定怎么用”,而
则是“给我一个能直接用的切片/映射/通道,你帮我把它的内部结构都搭好”。
Golang中何时应该使用make,何时使用new?
选择
还是
,很大程度上取决于你想要创建的类型以及你希望如何使用它。这并不是一个非此即彼的难题,更多的是关于理解Go语言对不同数据结构的设计哲学。

当你需要为任何类型(包括自定义结构体、基本类型如
、
等)分配内存,并希望得到一个指向该类型零值的指针时,
是你的选择。比如,如果你想创建一个结构体的实例,并且希望通过指针来操作它,或者这个结构体比较大,你不想在栈上分配它(尽管Go的逃逸分析会帮你决定),那么
就非常合适。它给你一个
,所有字段都是其默认的零值。如果你只是声明一个变量,
var myStruct MyStruct
登录后复制
也会得到一个零值化的
,但它是一个值类型,而不是指针。
然而,对于切片、映射和通道这三种类型,你几乎总是需要使用
来初始化它们,除非你明确知道你想要一个
的切片、映射或通道。声明一个
会得到一个
切片,对其进行append操作通常没问题(Go运行时会处理),但如果你想直接通过索引访问或对
进行读写,
会导致运行时错误(panic)。
确保这些复合类型被正确地构造,拥有必要的内部数据结构和容量,从而能够立即进行操作。例如,
会创建一个长度为5的切片,底层有5个零值化的整数;
make(map[string]int)
登录后复制
会创建一个空的、可用的映射。我个人觉得,对于这三者,记住“能用”是关键,
就是为了让它们“能用”。
深入理解Golang中make和new的内存分配机制差异
从内存分配的底层视角来看,
和
的行为差异更为显著。
函数执行的是一个相对简单的内存分配过程。当你调用
时,Go运行时会在堆上(Heap)分配一块足够存储类型
值的内存空间。这块内存随后会被全部置为零。这个过程就像是
操作系统给你一块干净的、空白的土地,你可以随意在上面建造你的房子(数据结构)。因为Go有垃圾回收机制,你不需要手动管理这块内存的释放。它的主要特点是通用性和“零值化”。无论你分配的是一个简单的
,还是一个复杂的嵌套结构体,
都只是分配并清零相应的字节数。
而
则不仅仅是分配内存那么简单,它还包含了类型特定的初始化逻辑。
-
切片 (Slice): 当你时,Go运行时会在堆上分配一个底层数组(大小由决定)。这个数组的元素会被初始化为的零值。同时,还会创建一个切片头(一个包含三个字段的结构体:指向底层数组的指针、当前长度和容量),这个切片头通常会在栈上分配(如果切片变量没有逃逸到堆)。所以,不仅分配了数据存储空间,还构建了访问和管理这块空间的“控制器”。
-
映射 (Map): 的底层实现更为复杂。它会分配一个哈希表结构,这包括一系列的桶(buckets,用于存储键值对)以及一些管理哈希表状态的元数据。这些结构会在堆上分配,并且会执行一系列初始化操作,比如设置哈希函数、负载因子阈值等,以确保哈希表在插入第一个元素之前是有效且可用的。这远超简单的内存清零。
-
通道 (Channel):
make(chan T, bufferSize)
登录后复制
同样涉及复杂的初始化。它会在堆上分配一个环形缓冲区(如果),以及用于同步的互斥锁(mutex)和条件变量(cond vars)。会初始化这些同步原语和缓冲区,使其能够安全地进行并发读写操作。
可以说,
是内存分配的“原子操作”,而
则是针对特定Go内置复合类型的“构造函数”,它封装了更复杂的内存分配和内部状态设置。
Golang中make和new与变量声明的关联与最佳实践
理解
和
,也需要把它们和Go语言中常规的变量声明方式联系起来看。这三者共同构成了Go中内存和变量管理的主要手段。
当你使用
声明一个变量时,Go会根据
的零值来初始化
。如果
是一个值类型(如
,
,
),
会直接在栈上(或经过逃逸分析后在堆上)分配并初始化为零值。例如,
会得到
;
会得到一个所有字段都为零值的
实例。然而,如果
是切片、映射或通道,它们的零值是
。这意味着
会得到一个
切片,它没有底层数组,不能直接进行索引访问(虽然
操作可以),尝试访问其元素会引发运行时错误。同样,
var myMap map[string]int
登录后复制
和
也都是
,不能直接使用。
这就是
发挥作用的地方。对于切片、映射和通道,如果你打算立即使用它们(比如向切片中添加元素,向映射中插入键值对,或者在通道上发送/接收数据),那么
务必使用
进行初始化。这是最佳实践,它能保证这些数据结构是可用的,避免运行时错误。
// 错误示范: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
登录后复制
而
则更常用于获取一个指向自定义结构体零值的指针。虽然你也可以
,但这样
会是
,你还需要
或者
来分配内存。
直接给你一个非
的
,其所有字段都已初始化为零值。我个人在创建结构体实例时,如果需要一个指针,更倾向于使用复合字面量
,因为它允许我在创建的同时初始化字段,
代码可读性更好。但
在某些场景下,比如泛型编程中需要一个通用指针时,依然有其独特的价值。
总结来说,
是Go语言中为三种特定内建复合类型量身定制的“工厂”,确保它们在创建时就具备完整功能。而
则是一个通用的“内存分配器”,它只负责提供一块清零的内存空间,并返回指向它的指针。理解它们各自的职责和使用场景,是写出健壮Go代码的关键一步。
以上就是Golang的make和new函数有什么区别 对比内存分配方式的底层差异的详细内容,更多请关注php中文网其它相关文章!