Go 中 new(T) 与 &T{} 的本质区别及使用场景解析

13次阅读

Go 中 new(T) 与 &T{} 的本质区别及使用场景解析

`new(t)` 和 `&t{}` 都返回指向新分配零值内存的指针,但语义和适用范围不同:前者适用于所有类型(包括基本类型),后者仅适用于可字面量化的复合类型(如 StructArray、slice、map);实践中 `new` 使用极少,推荐优先使用 `&t{}` 或局部变量取址。

go 中,new(T) 和 &T{} 常被误认为完全等价,但实际上二者存在关键差异——不仅在于语法限制,更在于设计意图与实际工程价值。

✅ 行为一致之处:都分配零值内存并返回指针

两者均在上(或经逃逸分析后)分配内存,初始化为类型的零值,并返回 *T 类型指针:

p1 := new(int)      // *int,指向零值 int(0) p2 := &int{}        // 编译错误!❌ 不合法:int 不支持复合字面量 p3 := &struct{}{}   // *struct{},合法,但无字段意义 p4 := &User{}       // *User,合法(User 是 struct)

注意:&T{} 要求 T 必须是复合类型(composite type),即 struct、array、slice、map、chan 或 func 类型;而 new(T) 对任意类型 T(包括 int、Stringbool)均有效。

❌ 语法限制决定适用边界

  • &int{} → 编译失败:基本类型不支持字面量初始化
  • &string{} → 编译失败(同理)
  • new(string) → 合法,返回 *string 指向空字符串 “”
  • &[]int{} → 合法,返回 *[]int(指向 nil slice)
  • new([]int) → 合法,同样返回 *[]int(也指向 nil slice)

因此,new 的唯一不可替代场景是:需要获取基本类型或函数类型等非复合类型的零值指针。例如:

func setupConfig() *int {     return new(int) // 明确表达“我需要一个可修改的、初始为 0 的 int 指针” }

但即便如此,更惯用、更清晰的写法通常是:

func setupConfig() *int {     zero := 0     return &zero // 语义更直观,且由编译器决定/堆分配 }

? new 的实际使用频率极低

Go 官方文档与主流代码库(如 net/http、io、sync)中,new 出现场景极少。原因有三:

  1. 冗余性高:对 struct,&T{} 支持字段初始化(如 &User{Name: “Alice”}),new(User) 只能得零值;
  2. 可读性弱:new(T) 隐含“零值”,不如 &T{} 或 var t T; return &t 直观;
  3. 逃逸控制透明化:现代 Go 编译器自动完成/堆决策,无需手动用 new “强制堆分配”。

✅ 推荐实践总结

场景 推荐方式 说明
初始化 struct 并获取指针 &T{Field: val} 支持字段赋值,语义清晰
初始化零值 struct 指针 &T{} 简洁高效,等价于 new(T) 但更 idiomatic
获取基本类型零值指针 var x T; return &x 比 new(T) 更易读,且利于编译器优化
初始化 slice/map/chan 指针 &[]int{} / &map[string]int{} 合法且常用(注意:&[]int{} 创建的是指向 nil slice 的指针)

? 小技巧:若需创建非-nil 的 slice 指针,应显式 make: s := make([]int, 0, 10) ps := &s // 指向已初始化 slice 的指针

综上,new 是语言遗留的底层机制,技术上正确但非惯用(non-idiomatic)。在日常开发中,应优先选择 &T{}(复合类型)或局部变量取址(基本类型),让代码更简洁、可读、可维护。

text=ZqhQzanResources