Golang面试常考题汇总及教程

本文深入剖析了Go语言中make和new这两个极易混淆的内置函数的本质区别：make专用于初始化slice、map、chan三种引用类型，返回可直接使用的值（虽为值类型但具引用语义）；而new适用于任意类型，仅分配零值内存并返回指向它的指针，不执行任何初始化逻辑。文章不仅厘清了二者在作用对象、返回类型、使用场景和语义意图上的根本差异，还通过典型错误示例（如用new初始化map导致编译失败、误解make返回指针等）揭示常见陷阱，并强调在Go中内存分配不等于对象构造——真正的初始化逻辑必须显式编写，无法依赖make或new自动触发，是Golang面试必考、工程实践必懂的核心基础。

什么时候必须用 make？

只用于初始化三种引用类型：slice、map、chan。其他类型用 make 会编译报错。

• make([]int, 3) 返回一个长度为 3 的切片，底层数组已分配，可直接读写
• make(map[string]int) 返回一个空但可用的 map，不 panic；而 var m map[string]int 是 nil map，直接赋值会 panic
• make(chan int, 10) 创建带缓冲的 channel；不传缓冲大小就是无缓冲 channel
• 注意：make 返回的是**值**（比如 []int），不是指针；但这个“值”本身是引用语义（如切片修改会影响原底层数组）

什么时候只能用 new？

new(T) 只做一件事：分配一块零值填充的内存，返回 *T —— 永远是指针。

• 适用于任何类型，包括 struct、int、自定义类型等
• new(int) 返回 *int，值为 nil 指针，解引用前需赋值，否则 panic
• new(MyStruct) 返回 *MyStruct，字段全为零值（0、""、nil），适合需要明确取地址且暂不初始化字段的场景
• 它不会调用任何构造逻辑，也不支持传参，和面向对象语言的 “new Object()” 完全不是一回事

常见踩坑：混淆返回值类型和使用方式

最典型错误是拿 new 初始化 slice 或 map，或误以为 make 返回指针。

• s := new([]int) → 得到的是 *[]int，一个指向 nil 切片的指针，不是能直接 append 的切片
• m := make(map[string]int) → 正确；m := new(map[string]int → 错！编译失败：“cannot use new(map[string]int) (value of type *map[string]int) as map[string]int value”
• 对 new 返回的指针解引用后仍需手动初始化：比如 p := new([]int); *p = []int{1,2} 才能用，绕远且易错
• struct 初始化更明显：想创建非零值实例，用字面量 MyStruct{Field: 42} 或工厂函数，而不是先 new 再逐字段赋值

性能与语义差异其实很清晰

这不是“哪个更快”的问题，而是“你到底想要什么”——语义决定选型。

• make 隐含“我要一个可用的集合/通信载体”，关注行为能力（append、store、send）
• new 隐含“我要一个确定地址的变量占位符”，关注内存布局和地址传递需求
• 两者都不触发 GC 扫描（因为都只是分配零值内存），但 make 对 slice/map/chan 有额外初始化逻辑（如 hash 表桶分配、channel ring buffer 构建）
• 实际项目中，new 使用频率远低于 make；多数时候 struct 直接字面量初始化更直观，new 多见于需要延迟构造或统一指针接收的接口实现中

今天关于《Golang面试常考题汇总及教程》的内容介绍就到此结束，如果有什么疑问或者建议，可以在golang学习网公众号下多多回复交流；文中若有不正之处，也希望回复留言以告知！