如何在Golang中理解指针和内存分配_使用new和make创建变量_技术教程

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。

适用于所有类型：基本类型、结构体、数组、指针等
不支持 slice、map、channel —— 因为这些是引用类型，需要额外的运行时初始化（比如设置底层数组、哈希表、队列等）
返回的是指针，且所指内存内容一定是零值，无法自定义初始值

示例：

p := new(int) // 分配一个 int，值为 0，p 类型是 *int，等价于 var v int; p := &v
p := 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 的切片，元素全为 0
s := 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 切片，行为不同）。