Go语言new()和make()函数：内存分配与零值详解

Go语言的new()和make()函数都用于内存分配，但它们在返回值类型和初始化方式上存在关键差异，容易造成混淆，尤其在处理零值方面。本文将详细对比new()和make()函数在零值处理上的区别，并澄清一些常见误解。

Effective Go文档指出new()函数“不初始化内存，只将其清零”，而make()函数“仅用于创建切片、映射和通道，并返回一个已初始化（非清零）的类型T值（而非*T）”。这需要更深入的理解。

首先，“初始化内存”指的是为分配的内存赋予有效初始状态。不同数据类型初始化方式不同：数值类型通常设为0，字符串设为空字符串，复合类型（如结构体）则需逐个成员初始化。

Go语言（Golang）1.26.0

Go语言（Golang）1.26.0版本官方下载，版本号 1.26.0，适合旧项目维护、兼容性测试和指定版本开发环境搭建。

下载

立即学习“go语言免费学习笔记（深入）”；

其次，Effective Go中关于new()“清零”和make()“非清零”的描述需要更精确的解释。new(T)返回一个指向类型T零值的指针，这意味着它分配内存并将所有字节设为零。但这并不意味着所有类型成员都初始化为有意义的值。对于map、slice、channel等类型，它们的零值是nil，表示它们未指向任何实际数据结构。

make(T, args...)则不同，它只用于创建slice、map、channel。它返回一个已初始化的类型T值（而非指针），而非零值。虽然这些类型的零值是nil，但make()返回的并非nil，而是一个可立即使用的空slice、map或channel。例如，make([]int, 0, 10)创建一个容量为10的空切片，它不是零值（nil），而是一个可用的空切片。

总结：new()分配内存并清零，返回指向零值的指针；make()为slice、map、channel分配内存并初始化，返回一个已初始化的空值，而非零值（nil）。两者根本区别在于返回值的类型和状态：new()返回指向零值的指针；make()返回已初始化的值。