Go语言中new(T)与&T{}的区别及使用场景详解

go语言中`new(t)`和`&t{}`均在堆上分配零值内存并返回指针,但语义与适用范围不同:前者适用于所有类型(尤其基础类型),后者仅支持可字面量化的复合类型(如struct、slice、map等),且支持显式字段初始化。

在Go中,new(T) 和 &T{} 确实都会为类型 T 分配内存、初始化为零值,并返回指向该内存的指针——这是它们行为上的共性。但二者在语言设计意图、语法限制和实际工程实践中存在关键差异:

✅ 本质区别

特性 new(T) &T{}
适用类型 所有类型(int, string, struct{}, []int, map[string]int 等) 仅支持可复合字面量类型(即结构体、数组、切片、映射、函数)
初始化能力 仅能创建零值(无法指定字段/元素初始值) 支持显式初始化(如 &struct{X int}{X: 42} 或 &[]int{1,2,3})
语法表达 函数调用形式,无括号参数列表(new(int)) 复合字面量取址,需大括号(&int{} ❌非法;&struct{X int}{} ✅)

⚠️ 注意:&int{} 是语法错误,因为 int 不是复合类型,不能使用 {} 字面量;而 new(int) 合法且等价于声明一个零值 int 后取地址:

p1 := new(int)          // ✅ 合法:*int,值为 0
// p2 := &int{}         // ❌ 编译错误:cannot take the address of int literal

// 等价写法(更推荐):
var x int
p2 := &x                // ✅ 语义清晰,由编译器决定栈/堆分配

? 结构体场景:new(T) 几乎无优势

对于结构体,new(T) 与 &T{} 在零值初始化时效果一致,但后者更灵活、更惯用:

type Person struct {
    Name string
    Age  int
}

p1 := new(Person)           // *Person,Name="", Age=0
p2 := &Person{}              // 完全等价
p3 := &Person{Name: "Alice"} // ✅ 唯有 &T{} 支持字段初始化

因此,在结构体初始化中,new(Person) 不仅冗余,还丧失初始化能力,属于非惯用(non-idiomatic)写法。

? 何时真正需要 new?

仅当需为不可字面量化的基础类型获取零值指针时,new 才不可替代:

p := new(bool)    // ✅ *bool,值为 false;无法用 &bool{} 表达
q := new(string)  // ✅ *string,值为 "";&string{} 语法错误
r := new([3]int)  // ✅ *[3]int,值为 [0,0,0];&[3]int{} 合法但冗长

然而,即使在此类场景,更符合Go惯用法的做法通常是避免显式堆分配

// 推荐:让编译器自动决定逃逸行为
func process() {
    flag := false     // 栈上分配(通常)
    processPtr(&flag) // 传指针,无需关心内存位置
}

Go编译器的逃逸分析会智能决定变量是否需分配到堆,手动调用 new 反而可能干扰优化,且降低代码可读性。

✅ 最佳实践总结

  • 优先使用 &T{...}:对结构体、切片、映射等,支持初始化,语义明确,符合Go社区惯例;
  • 避免 new(T) 初始化结构体:冗余且不支持字段赋值;
  • 基础类型指针需求?先考虑局部变量 + 取址:var x T; return &x 更清晰、更安全;
  • ⚠️ 仅在极少数必须动态获取基础类型零值指针时(如泛型约束、反射辅助),才谨慎使用 new

简言之:new 是语言底层机制,&T{} 是面向开发者的惯用语法——理解其等价性很重要,但选择更清晰、更灵活、更符合Go哲学的写法,才是工程实践的关键。