new用于为任意类型分配零值内存并返回* T,make专为slice/map/channel初始化并返回T本身;指针是存地址的变量,需用&取址才能有效使用。

在 Go 语言中,理解指针和内存分配的关键不在于死记语法,而在于搞清 new 和 make 分别解决什么问题、作用于哪些类型、返回什么——它们不是可互换的“创建变量”工具,而是面向不同场景的内存初始化机制。
指针本质:保存地址的变量,不是“指向对象”的魔法
Go 中的指针就是存储另一个变量内存地址的变量,它本身也占内存(通常是 8 字节)。声明 var p *int 只是定义了一个未初始化的指针(值为 nil),此时它不指向任何有效内存。要让它真正可用,必须让它指向一个已分配的 int 值:
-
x := 42→ 在栈上分配一个 int,值为 42 -
p := &x→&x取出 x 的地址,赋给 p;p 现在持有该地址 -
*p = 100→ 解引用,把 100 写入 p 所指的那块内存(也就是修改了 x)
注意:& 操作符要求操作数必须是“可寻址的”(比如变量、结构体字段、切片元素),不能对字面量或函数调用结果取地址(如 &42 或 &fmt.Sprintf(...) 是非法的)。
new(T):为任意类型 T 分配零值内存,返回 *T
new 是一个内置函数,功能非常单一:申请一块足够存放类型 T 的内存,将这块内存按 T 的零值清零(比如 int→0,string→"",*int→nil,struct→各字段均为零值),然后返回指向它的指针 *T。
立即学习“go语言免费学习笔记(深入)”;
- 适用于所有类型:基本类型、结构体、数组、指针等
- 不支持 slice、map、channel —— 因为这些是引用类型,需要额外的运行时初始化(比如设置底层数组、哈希表、队列等)
- 返回的是指针,且所指内存内容一定是零值,无法自定义初始值
示例:
p := new(int) // 分配一个 int,值为 0,p 类型是 *int,等价于 var v int; p := &vp := new([3]int) // 分配一个 [3]int 数组,每个元素为 0,p 类型是 *[3]int
make(T, args...):只为 slice/map/channel 初始化,返回 T(非指针)
make 是专为三种引用类型设计的内置函数,它不只是分配内存,还要完成类型特定的初始化工作,并返回一个**已经就绪可用的值**(不是指针):
-
make([]T, len)→ 分配底层数组,创建 slice header(包含指针、长度、容量),返回[]T -
make(map[K]V)→ 初始化哈希表结构,返回map[K]V -
make(chan T, cap)→ 创建带缓冲或无缓冲 channel,返回chan T
关键点:
- 只能用于 slice、map、channel,对其他类型调用会编译错误
- 返回的是值本身(如
[]int),不是指针;你不需要也不应该对 make 的结果再取地址来“获得指针” - 它内部做了比
new更多的事:比如make(map[string]int)不仅分配内存,还构建了哈希桶、设置了负载因子等运行时结构
对比记忆:
s := make([]int, 5) // ✅ 正确:创建长度为 5 的切片,元素全为 0s := new([]int) // ❌ 编译失败:[]int 不在 make 支持列表中,但 new 虽然能通过,返回的是 *[]int(指向一个 nil 切片),几乎没用
m := make(map[string]int // ✅ 正确
m := new(map[string]int // ❌ 编译失败:map 不支持 new
何时用哪个?看你要什么
一句话判断:
- 你需要一个**刚分配、已清零、可直接解引用的指针** → 用
new(T) - 你需要一个**已初始化、可立即使用的 slice/map/channel** → 用
make(T, ...) - 你只是想获取一个已有变量的地址 → 直接用
&x,不用 new 也不用 make - 你要初始化一个结构体并获取其指针,且希望字段有非零初值 → 用字面量加取地址:
p := &MyStruct{Field: "hello"},而不是 new + 逐个赋值
常见误区:以为 make 返回指针(它不返回)、以为 new 能初始化 map(它不能)、以为 make([]T, 0) 和 new([]T) 效果类似(前者是空切片,后者是 nil 切片,行为不同)。










