make 返回 slice/map/channel 值本身,其内部含指针字段(如 slice 的 ptr);new 返回 *t 指针,仅用于零值内存分配,不适用于复合类型。

make 本身不返回指针,但底层操作常涉及指针
make 返回的是 slice、map 或 channel 类型的值本身(不是 *[]T、*map[K]V 等),但它创建的对象内部**必然包含指针字段**。比如 slice 是一个三字段结构体:ptr *T、len int、cap int——其中 ptr 就是指向底层数组的指针。这意味着你用 make([]int, 5) 得到的变量虽是值类型,其行为却高度依赖堆上分配的指针内存。
- 不要对
make的结果取地址来“获取底层指针”,比如&make([]int, 5)是非法语法(编译报错:cannot take address of make(...)') - 若需传递 slice 给函数并允许修改底层数组内容,直接传
[]int即可——因为它的ptr字段本身就是指针,函数内修改元素会反映到原 slice - map 和 channel 同理:它们是引用类型,赋值或传参时复制的是包含指针的 header,不是数据本体
new 返回指针,但和 make 完全不重叠
new(T) 唯一作用就是分配一块清零的内存,返回 *T。它**从不用于 slice/map/channel**;你写 new([]int) 得到的是一个指向 nil slice 的指针,这个 slice 无法追加、不能索引——它只是个零值容器头,没初始化内部结构。
-
new([]int)→ 返回*[]int,解引用后是[]int(nil),此时调用append会 panic(nil slice 可 append,但某些旧版本或误用场景下易出问题) -
make([]int, 3)→ 返回可用的[]int,长度为 3,可读写、可 append - 结构体场景更明显:
new(Person)返回*Person,字段全零;&Person{Name:"A"}更常用,语义更清晰
什么时候该用指针?和 make/new 没直接关系
是否用指针,取决于你要传递/共享的是「值拷贝」还是「同一份数据」。这和 make 或 new 无关,而是 Go 类型系统的设计选择。
- 基础类型(
int、string)、小结构体:通常传值,避免不必要的指针间接访问开销 - 大结构体、需要修改原值、或实现接口(如
io.Reader):传指针更合理 -
make创建的 slice/map/channel 本身已含指针语义,再套一层指针(如*[]int)极少必要,反而增加理解成本和 nil 检查负担 - 错误常见于:把
make(map[string]int)的结果存进*map[string]int变量里,导致后续必须解引用才能用——纯属多此一举
逃逸分析才是决定内存在哪的关键
你写 make([]int, 10) 或 new(int),Go 编译器会通过逃逸分析决定这块内存到底分配在栈还是堆。开发者无法强制指定,也不该关心——GC 全权负责回收。
立即学习“go语言免费学习笔记(深入)”;
- 栈分配快、自动释放;堆分配由 GC 清理,有微小延迟但无泄漏风险
- 逃逸常见诱因:返回局部变量地址、闭包捕获、传入 interface{}、被更大作用域变量引用等
- 用
go build -gcflags="-m"可查看变量是否逃逸,但日常开发中无需过度优化这点 - 真正要注意的是:别为了“省一次拷贝”而盲目加
*,尤其是对小类型——现代 CPU 缓存友好性往往比指针跳转更快
make 和 new 的分工很明确,混淆它们往往是因为没分清「零值分配」和「结构初始化」这两件事。










