
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)写法。
立即学习“go语言免费学习笔记(深入)”;
? 何时真正需要 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哲学的写法,才是工程实践的关键。








