new() 和 make() 区别?哪些类型必须用 make?

10次阅读

new()分配零值内存并返回指针,适用于所有类型;make()构造slice、map、chan并返回可用值,仅限这三种类型,误用会panic。

new() 和 make() 区别?哪些类型必须用 make?

new() 和 make() 都是 go 的内置函数,都涉及内存操作,但职责完全不同:new 负责“分配并清零”,make 负责“构造并就绪”。不是所有类型都能互换使用,选错会直接 panic。

new():给任意类型分配零值内存,返回指针

new(T) 接收一个类型(不能是值),在上分配足够存放 T 的内存,把整块内存置为 T 的零值(比如 int 是 0,String 是 “”,*T 是 nil),然后返回 *T。

  • 适用所有类型:基础类型(int、bool)、结构体、数组、甚至 slice/map/chan 的指针类型(如 *[]int)
  • 它不初始化内部结构——比如 new(map[string]int) 得到的是一个指向 nil map 的指针,不能直接赋值
  • 典型用法是快速获得一个可取地址的零值,比如传参需要 *int 或初始化结构体指针

make():专用于 slice、map、chan,返回可用的值本身

make 只接受三种类型:slice、map、channel。它不只是分配内存,还会完成关键的初始化工作,让值真正可操作。

  • slice:分配底层数组,设置 lencap,返回可 append、可索引的切片
  • map:创建哈希表结构,分配桶数组,返回可安全写入的映射
  • channel:初始化同步状态和缓冲区(如有),返回可发送/接收的通道
  • 返回值就是类型本身([]int、map[k]v、chan T),不是指针

必须用 make() 的类型只有三个:slice、map、channel

这三者在 Go 中属于“引用类型”,但它们的底层是描述符(descriptor)——比如 slice 是一个包含指针、len、cap 的结构体。声明 var s []int 或 var m map[string]int 得到的是零值(nil slice / nil map),此时任何读写都会 panic。必须用 make 初始化才能使用。

  • ✅ 正确:s := make([]int, 5)m := make(map[string]int)ch := make(chan bool, 1)
  • ❌ 错误:s := new([]int) → 得到 *[]int,解引用后仍是 nil slice;m := new(map[string]int) → 解引用后仍是 nil map

常见误区与建议

别被“都是分配内存”误导。new 是通用内存分配器,make 是特定类型的构造器。

  • 需要指针且类型简单(如 *int、*Struct)→ 优先用 new,或更惯用的 &T{}(等价于 new(T) 后赋零值)
  • 要创建 slice/map/chan → 只能用 make,没有替代方案
  • 不要对 slice/map/chan 用 new,也不要用 make 处理 int、string、struct 等类型(编译报错)
  • var 声明 + make 赋值也合法:var s []int; s = make([]int, 3),但通常直接 make 更清晰
text=ZqhQzanResources