new仅分配零值内存并返回指针,不初始化map/slice/channel;make专为这三者创建可用实例,需指定类型与参数,返回直接可用的值。

new 只是分配零值内存,返回指针
new 的作用非常单纯:在堆(或逃逸后的栈)上为任意类型 T 分配一块内存,把整块内存填成零值(0、nil、""、false),然后返回指向它的 *T。它不关心你拿这个指针干啥,也不做任何初始化逻辑。
常见误用:
-
new([]int)→ 返回*[]int,但解引用后仍是nil切片,len(*p) == 0且不能append或下标赋值 -
new(map[string]int)→ 返回*map[string]int,但*p是nil,直接(*p)["k"] = v会 panic - 结构体字段全为零值?对。但你想设初值?
new做不到 —— 它不支持参数,只能靠后续赋值或改用字面量:&MyStruct{Field: 1}
make 是 slice/map/channel 的“启动器”
make 不是通用分配器,它专为三种内置引用类型服务:必须传类型 + 参数,返回的是可直接使用的值(不是指针)。
参数差异很关键:
立即学习“go语言免费学习笔记(深入)”;
-
make([]int, 5)→ 长度 5,容量 5;make([]int, 3, 10)→ 长度 3,容量 10(避免早期扩容) -
make(map[string]int)→ 底层哈希表初始化完成,可立即写入;加容量如make(map[string]int, 16)只是预分配 bucket,提升性能 -
make(chan int, 2)→ 带缓冲的 channel;make(chan int)→ 无缓冲,收发必须同步
试图 make(int, 5) 或 make(struct{})?编译直接报错:cannot make type int。
为什么不能用 new 初始化 map/slice/channel?
因为它们的底层不是简单一块连续内存 —— slice 需要 header + 底层数组指针,map 需要 hash 表结构和 bucket 数组,channel 需要环形缓冲区、互斥锁、等待队列等运行时组件。new 只清零那块 header 内存,不构造这些结构,结果就是个“空壳指针”,一碰就崩。
典型 panic 场景:
-
var m map[string]int; m["a"] = "b"→assignment to entry in nil map -
p := new([]int); (*p)[0] = 1→panic: runtime error: index out of range c := new(chan int); →fatal error: all goroutines are asleep - deadlock!(因*c是nil chan,阻塞永不唤醒)
什么时候该用 new,什么时候必须用 make?
看目标是否“能立刻用”:
- 要一个干净的
*int、*struct传参或延迟初始化?→ 用new,简洁明确 - 要一个能
append的切片、能key=value的映射、能收发数据的通道?→ 必须用make,没得商量 - 想拿指针指向 slice/map/channel?别用
new,也别写&make(...)(语法错误),真需要就先make出值,再取地址:s := make([]int, 3); ps := &s(但极少需要)
最容易被忽略的一点:即使 new 和 make 都可能触发堆分配,它们的语义鸿沟不在内存位置,而在“是否完成了类型所需的运行时构造”。前者是 malloc+memset,后者是专用构造函数 —— 这才是 panic 和正常运行的分水岭。










