Go语言中make与new的区别及实现原理解析

基本用法与区别

make 专门用于初始化语言内置的数据结构，包括数组和切片（Slice）、哈希表（Map）以及通道（Channel）。它的作用不仅是分配内存，还会对数据结构进行必要的初始化（例如切片的长度和容量设置）：

slice := make([]int, 0, 100)
hash := make(map[int]bool, 10)
ch := make(chan int, 5)

需要注意的是，这三者返回的类型各不相同：slice` 是一个包含数据指针、长度和容量的结构体；hash 是一个指向 hmap 的内部结构体的指针；而 ch 也是一个指向 hchan 的指针。

相比之下，new 的语义更简单：它接收一个类型作为参数，分配一块对应大小的内存空间并清零，最后返回指向这块空间的指针。它适用于任何类型：

i := new(int)
// 等价于
var v int
i := &v

总结来说：make 用于创建具有复杂结构的切片、映射和管道等；new 仅用于为普通类型申请堆内存并返回其指针。

编译器层面处理

理解这两个关键字的差异，还需要从编译器的角度看看它们在源码处理阶段是如何被转换的。

make 的处理逻辑

在编译期间的类型检查阶段，代表 make 关键字的节点（OMAKE）会根据传入的参数类型，被转换为三种特定的中间表示节点：OMAKESLICE、OMAKEMAP 和 OMAKECHAN。随后，这些节点会调用对应的运行时函数来完成具体数据结构的构建。

new 的处理逻辑

new 在编译生成 SSA 代码阶段由 callnew 函数进行处理。该函数的主要逻辑如下：

• 若请求分配的内存大小为 0，则直接返回空指针常量 zerobase。
• 否则，将其转换为调用 newobject 函数。

func callnew(t *types.Type) *Node {
    // ... 省略权限检查 ...
    if t.Size() == 0 {
        // 零大小类型直接返回 zerobase
        z := newname(Runtimepkg.Lookup("zerobase"))
        z.SetClass(PEXTERN)
        return typecheck(nod(OADDR, z, nil), ctxExpr)
    }
    fn := syslook("newobject")
    fn = substArgTypes(fn, t)
    v := mkcall1(fn, types.NewPtr(t), nil, typename(t))
    return v
}

此外，如果是局部变量或参数且不需要逃逸到堆上，通常会在栈上分配（不通过 newobject）；若确定需要在堆上存活，才会调用 newobject 进而触发 mallocgc 进行实际的内存分配。

总结

在 Go 语言开发中，选择哪个关键字取决于需求：如果需要操作的是需要“初始化”行为的内置容器（如向切片中追加元素），请使用 make；如果只是想获取某个简单类型（如 struct、int 或自定义类型）的指针以便统一访问方式，应使用 new。

以上就是Go语言中make和new的详细解析内容，更多关于Go语言基础的文章请关注本站其它相关文章！