
go 中 `new(t)` 与 `&t{}` 都返回指向新分配零值内存的指针,但语义、适用类型和惯用性截然不同:前者适用于所有类型却缺乏初始化能力,后者仅适用于可字面量化的复合类型但支持字段赋值,现代 go 开发中绝大多数情况应优先使用 `&t{}` 或直接声明变量。
在 Go 语言中,new(T) 和 &T{} 确实都会在堆(或根据逃逸分析决定的位置)上分配内存,并返回一个指向该内存的指针,且所指向的值均为类型的零值。表面上看二者功能重叠,但它们的设计定位与实际用途存在关键差异。
✅ 语义与能力对比
| 表达式 | 类型支持 | 是否支持初始化 | 是否可读/惯用 |
|---|---|---|---|
| new(T) | 所有类型(int, string, struct, []int 等) | ❌ 仅零值 | ⚠️ 低(尤其对结构体) |
| &T{} | 仅可字面量化的复合类型(struct, array, map, slice) | ✅ 支持字段/元素初始化(如 &struct{X int}{X: 42}) | ✅ 高(Go 社区标准惯用法) |
例如:
// ✅ 合法且常用:结构体字面量取地址(支持初始化)
s := &struct{ Name string; Age int }{Name: "Alice", Age: 30}
// ✅ 合法但无初始化能力:new 对结构体仅得零值
s2 := new(struct{ Name string; Age int }) // s2 指向 {Name: "", Age: 0}
// ✅ new 对基础类型有意义(&T{} 不合法)
p := new(int) // OK: p 是 *int,指向 0
// q := &int{} // ❌ 编译错误:int 不可作复合字面量
// ✅ 更地道的替代写法(无需显式分配)
var x int
ptr := &x // 编译器自动决定栈/堆分配,语义清晰,性能更优⚠️ 为什么 new 在实践中很少使用?
- 对结构体几乎无优势:&T{} 更简洁、可初始化、支持匿名字段和嵌入,而 new(T) 只能返回零值,后续还需逐字段赋值,冗余且易错。
- 对基础类型非必需:如需指向整数的指针,var i int; p := &i 比 p := new(int) 更直观,且让编译器管理内存位置(避免过早假设堆分配)。
- 无泛型时代的历史遗留感:new 在早期 Go 中用于统一内存分配接口,但随着语言演进,显式、语义明确的初始化方式(&T{...}、make、短变量声明)已全面覆盖其用途。
? 最佳实践建议
- ✅ 优先使用 &T{...}:对 struct、array 等复合类型,它兼具分配、初始化和可读性;
- ✅ 基础类型指针用 &var:如 var n int; pn := &n,交由编译器优化内存布局;
- ✅ 切片/映射/通道用 make():make([]int, 0, 10)、make(map[string]int) 等,因其需额外运行时元信息;
- ❌ 避免 new:除非在极少数需要“仅分配零值内存且类型不支持字面量”(如某些泛型约束下的底层操作),否则无实际收益。
总之,new 在语言规范中虽保留其理论完整性,但在日常 Go 编程中已基本被更安全、更清晰、更具表现力的语法所取代。理解其存在有助于阅读旧代码,但主动使用它既不符合 Go 的惯用风格,也无助于写出更健壮或高效的程序。









