Go 面试题: new 和 make 是什么,差异在哪?

在 Go 语言中,有两个比较雷同的内置函数,分别是 newmake 方法,其主要用途都是用于分配相应类型的内存空间。

在 Go 语言中,newmake 都是用于内存分配的关键字,但它们的用途和行为有所不同。理解这两者的差异,对于编写高效且可维护的 Go 代码至关重要。本文将详细解释这两者的含义、用法以及它们之间的区别。

一、new 关键字

new 关键字用于为某个类型分配内存并返回该类型的指针。

看上去 newmake 都是分配内存的,那他们有什么区别呢?这个细节点也成为了不少 Go 语言工程师的面试题之一,值得大家一看。

在这篇文章中我们将来解答这个问题。

基本特性

make

在 Go 语言中,内置函数 make 仅支持 slicemapchannel 三种数据类型的内存创建,其返回值是所创建类型的本身,而不是新的指针引用

函数签名如下:

go 复制代码
func make(t Type, size ...IntegerType) Type

具体使用示例:

go 复制代码
func main() {
 v1 := make([]int, 1, 5)
 v2 := make(map[int]bool, 5)
 v3 := make(chan int, 1)
    
 fmt.Println(v1, v2, v3)
}

在代码中,我们分别对三种类型调用了 make 函数进行了初始化。你会发现有的入参是有多个长度指定,有的没有。

这块的区别主要是长度(len)和容量(cap)的指定,有的类型是没有容量这一说法,因此自然也就无法指定。

输出结果:

css 复制代码
[0] map[] 0xc000044070

有一个细节点要注意,调用 make 函数去初始化切片(slice)的类型时,会带有零值,需要明确是否需要。

见过不少的小伙伴在这上面踩坑。

new

在 Go 语言中,内置函数 new 可以对类型进行内存创建和初始化。其返回值是所创建类型的指针引用 ,与 make 函数在实质细节上存在区别。

函数签名如下:

dart 复制代码
func new(Type) *Type

具体使用示例:

go 复制代码
type T struct {
 Name string
}

func main() {
 v := new(T)
 v.Name = "煎鱼"
}

从上面的例子的效果来看,是不是似曾相似?其实与下面这种方式的一样的:

go 复制代码
func main() {
 v := T{}
 v.Name = "煎鱼"
}

输出结果均是:

css 复制代码
&{Name:煎鱼}

其实 new 函数在日常工程代码中是比较少见的,因为他可被替代。

一般会直接用快捷的 T{} 来进行初始化,因为常规的结构体都会带有结构体的字面属性:

csharp 复制代码
func NewT() *T {
 return &T{Name: "煎鱼"}
}

这种初始化方式更方便。

区别在哪里

可能会有的小伙伴会疑惑一点,就是 new 函数也能初始化 make 的三种类型:

go 复制代码
v1 := new(chan bool)
 v2 := new(map[string]struct{})

make 函数的区别,优势是什么呢?

本质上在于 make 函数在初始化时,会初始化 slicechanmap 类型的内部数据结构,new 函数并不会。

例如:在 map 类型中,合理的长度(len)和容量(cap)可以提高效率和减少开销。

更进一步的区别:

  • make 函数:
    • 能够分配并初始化类型所需的内存空间和结构,返回引用类型的本身。
    • 具有使用范围的局限性,仅支持 channelmapslice 三种类型。
    • 具有独特的优势,make 函数会对三种类型的内部数据结构(长度、容量等)赋值。
  • new 函数:
    • 能够分配类型所需的内存空间,返回指针引用(指向内存的指针)。
    • 可被替代,能够通过字面值快速初始化。

三、newmake 的差异

  1. 用途不同

    • new 用于为某个类型分配内存并返回该类型的指针。适用于结构体、数组、切片、映射等类型的内存分配,但不负责初始化数据。
    • make 专门用于初始化切片、映射和通道。它会分配内存并且初始化这些数据结构。
  2. 返回值类型不同

    • new 返回的是类型的指针(*T),而 make 返回的是具体类型本身(例如,mapchan[]T)。
  3. 适用场景不同

    • new 适用于任何类型的内存分配,但不会初始化数据。它适用于需要指针的类型。
    • make 只适用于切片、映射和通道,它会初始化底层的数据结构。
  4. 初始化行为

    • new 分配的内存会被初始化为零值。例如,对于整数类型,new(int) 会分配一个值为 0 的内存。
    • make 会为切片、映射和通道分配内存并进行初始化。比如,对于 make([]int, 5),它不仅会分配一个长度为 5 的切片,还会初始化切片的元素。

四、总结

  • new:用于为任意类型分配内存,并返回指向该类型的指针。适用于结构体、数组等类型。返回值是指针,内存初始化为零值。
  • make:专门用于初始化切片、映射和通道,并返回相应的对象。适用于切片、映射、通道。返回值是对象本身,且已被初始化。

理解这两个关键字的差异,有助于我们更好地掌握 Go 语言的内存管理和数据结构初始化,从而编写更加高效和健壮的程序。

相关推荐
码兄科技8 小时前
实战:基于Spring Boot + UniApp的地理信息小程序开发
spring boot·后端·uni-app
腾讯云云开发9 小时前
腾讯云 CloudBase 登上 WAIC:我们为 Agent 重新设计了云的生产线
后端
星栈10 小时前
从装一堆工具到看懂 Node 工程化思维:我的项目复盘记录
后端·node.js
触底反弹10 小时前
🚀 从 DOM0 级到 React 合成事件:前端事件监听的 20 年演进史
前端·react.js·面试
65岁退休Coder10 小时前
LangChain v1.3.4 笔记 - 05 Agent 上下文记忆
后端
kyriewen10 小时前
我给前端项目的接口请求套了6层保护——才发现以前一直在裸奔
前端·javascript·面试
颜酱10 小时前
04 | 召回前置准备:搭好召回所需的四个数据库
前端·人工智能·后端
wdfk_prog10 小时前
嵌入式面试真题第 15 题:不可恢复异常后的通用崩溃快照、调用栈保存与离线分析架构
linux·开发语言·面试·架构
JaneConan10 小时前
鸿蒙 韶非 UI 系列:能力调用 startAbilityForResult,跳能力拿回参,鸿蒙能力路由入门
后端·harmonyos
晴空了无痕10 小时前
从 Go 基础到 K8s:一条可落地的 Go 服务端成长路线
开发语言·后端·golang·kubernetes