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函数有什么区别 对比内存分配方式的底层差异的详细内容,更多请关注骃骐网【www.myinqi.com】。

相关推荐:

Python中如何对NumPy数组执行快速幂运算_使用power函数实现向量化

np.power 比 快因底层C向量化实现,避免Python循环开销;支持out/where/dtype等参数,更安全可控;对负底数非整指数默认报错,而 静默返回nan;np.float_power专为负底数浮点指数设计。 为什么 np.power 比循环调用 ** 快得多 因为 np.power 是底层 C 实现的向量化函数,它一次性处理整个数组,避免 Python 循环开销和逐元素类型检查。而...

为什么Python中的位运算比乘除法快_解析底层算术逻辑单元优化

位运算在Python中未必比乘除法快,其性能取决于数值大小、Python版本及解释器优化;整数为任意精度,负数右移与整除行为在部分情况下一致但语义不同,非2的幂次除法无法用位移替代。 位运算在Python中并不总是比乘除法快;是否更快,取决于数值大小、Python版本、解释器优化策略,以及你测的是什么操作。 Python里和>>不等于硬件级位移 Python的整数是任意精度的(PyLo...

如何在Python中实现带参数的装饰器_通过三层函数嵌套传递外部参数

带参数的装饰器必须三层:外层接收参数并返回装饰器,中层接收函数,内层接收调用参数;不加@functools.wraps会导致__name__、__doc__等元信息丢失,影响调试、反射和IDE功能;参数校验应放在外层。 为什么带参数的装饰器必须用三层函数 因为 Python 的 @ 语法只接受一个可调用对象作为装饰器,而你传进去的 @log(level="DEBUG") 实际上是先执行 log(l...

如何在对象属性批量更新后仅执行一次回调函数

本文介绍一种优雅的 python 设计模式:通过私有属性 + 只读属性 + 显式 update() 方法,确保对象状态变更时回调函数(如数据校验、视图刷新等)仅被触发一次,避免重复计算,同时保持 ide 类型提示与代码可维护性。 本文介绍一种优雅的 python 设计模式:通过私有属性 + 只读属性 + 显式 update() 方法,确保对象状态变更时回调函数(如数据校验、视图刷新等)仅被触发一次...

Python中如何求NumPy数组的百分位数_使用percentile函数进行统计

numpy.percentile用于计算数组指定百分位数,关键参数包括a(输入数组)、q(0–100间百分位数)、axis(计算轴,默认None展平);含NaN需设nan_policy='omit';method控制插值方式;keepdims配合axis保留维度。 percentile函数的基本用法和参数含义 numpy.percentile 是计算数组中指定百分位数的主力函数,它不修改原数组,返...

如何确保对象属性批量更新后仅触发一次回调函数

本文介绍一种优雅的 Python 设计方案:通过禁用直接属性赋值 + 提供类型安全的 update() 方法,实现在多个属性变更后统一、且仅执行一次回调函数,兼顾 IDE 智能提示、代码可维护性与运行时可靠性。 本文介绍一种优雅的 python 设计方案:通过禁用直接属性赋值 + 提供类型安全的 `update()` 方法,实现在多个属性变更后统一、且仅执行一次回调函数,兼顾 ide 智能提示、代...

Python如何实现图的深度优先遍历_基于栈结构或递归函数实现

递归DFS栈溢出风险高因CPython默认递归深度仅1000,长链或环易触发RecursionError;隐式栈不可控,闭包和帧对象加剧内存开销;图应优先用显式栈实现。 递归实现DFS时,为什么栈溢出风险比预期高? Python默认递归深度限制是1000层,图中存在长链或环状结构时极易触发RecursionError。这不是算法错,而是CPython解释器对递归调用的硬性约束。 用sys.setr...

如何使用Python中的calendar模块判断闰年_调用isleap函数

应直接使用 calendar.isleap() 判断闰年,它准确实现公历规则、线程安全、性能优且自 Python 2.3 起稳定兼容,避免手写逻辑出错或误用类型。 直接用 calendar.isleap() 判定闰年,别自己写逻辑 Python 的 calendar.isleap() 是最可靠、最省事的闰年判断方式。它封装了格里高利历(公历)全部规则:能被 4 整除但不能被 100 整除,或能被 ...

Python中如何获取当前正在运行的所有异步任务_使用asyncio.all_tasks函数

asyncio.all_tasks 返回当前事件循环中所有未完成的Task对象集合(set),为空常因未启动事件循环、无活跃循环、任务已完结或跨线程未正确设置循环。 asyncio.all_tasks 返回什么,为什么有时为空 asyncio.all_tasks 返回当前事件循环中所有未完成的 Task 对象集合(set),但它**只作用于当前线程中已运行且未关闭的事件循环**。常见误区是直接调用...

如何修复Python中NumPy不支持中文路径的问题_通过open函数读取字节流

NumPy的loadtxt等函数无法读取中文路径的根本原因在于其底层调用C标准库fopen时依赖系统默认编码(如Windows的GBK),而Python 3传递的是Unicode字符串,未做显式编码适配,导致OSError或UnicodeDecodeError;正确做法是用open('rb')读字节流,再经io.BytesIO包装后传入NumPy函数。 NumPy的loadtxt、genfromt...