Go 1.26 new 如何初始化切片与映射：类型推断、零值和迁移边界

Go 1.26 的 new(expr) 让初始化写法更贴近变量真正需要的值：表达式先确定类型，再返回指向该值的新指针。切片和映射最容易暴露迁移差异，因为它们的零值、可写性和底层引用语义并不相同。

迁移时可以把 new([]int) 换成 new([]int{}) 来得到指向非 nil 空切片的指针，也可以用 new(map[string]int{}) 得到指向可直接写入映射的指针；但不要把“指针非 nil”误认为“底层容器已经可写”。

先把 new(expr) 的类型推断说清楚

旧版 Go 里，new(T) 的参数位置只能写类型。Go 1.26 放宽后，参数可以是表达式，编译器先计算这个表达式的静态类型，再返回一个指向新值的指针。下面四个标识符就是这条规则的完整链路：new(expr) 确定入口，[]int{} 提供表达式类型，*[]int 是结果类型，append 负责在解引用后的切片上继续追加。

empty := new([]int{})
empty = new([]int{1, 2})
*empty = append(*empty, 3)

fmt.Println(*empty) // [1 2 3]

这里的 empty 类型是 *[]int，不是 []int。表达式里的元素类型和结果指针类型都能在编译期确定，因此迁移后不需要额外的类型转换。

切片的两个零值边界不能混为一谈

new([]int) 创建的是一个指向切片零值的指针，解引用后仍然是 nil 切片；new([]int{}) 创建的是一个指向空切片值的指针，解引用后是非 nil 切片。两者都可以交给 append，但它们在 == nil 判断和 JSON 编码结果上可能不同。

var zero *[]int = new([]int)
empty := new([]int{})

fmt.Println(*zero == nil)  // true
fmt.Println(*empty == nil) // false

*zero = append(*zero, 7)
*empty = append(*empty, 8)

因此，迁移前先问清楚调用方是否把 nil 切片当成“未提供”。如果接口层会区分 nil 和空数组，替换表达式就可能改变输出；如果只是准备追加元素，两种写法通常都能工作。这个结果先别下结论，应该沿着序列化和校验代码再看一遍。

映射初始化要看写入路径

映射的风险更直接：nil map 可以读取，也可以调用 len，但不能写入。new(map[string]int) 只得到指向 nil map 的指针，解引用后直接赋值会触发运行时错误；new(map[string]int{}) 才会把一个已初始化的空映射放在指针后面。

counts := new(map[string]int{})
(*counts)["go"] = 1

fallback := new(map[string]int)
// (*fallback)["go"] = 1 // nil map 写入会触发运行时错误

ready := make(map[string]int)
ready["go"] = 1

这也是 new(expr) 和 make 的迁移边界：前者返回指针，后者返回已经可写的映射本身。若函数签名不需要指针，直接保留 make(map[string]int) 往往更清楚；只有确实需要“指向一个 map 值”的语义时，才使用 new(map[string]int{})。

迁移时要检查的三个边界

一、检查 nil 分支是否仍然成立

把 new([]int) 替换成 new([]int{}) 后，*value == nil 的分支会改变。搜索所有 nil 判断、默认值分支和 JSON 输出测试，确认它们表达的是业务语义，而不是偶然依赖旧写法。

二、检查指针层级是否被接口隐藏

当值被放入 any、结构体字段或泛型参数时，表面上只看到一个变量名，实际类型可能从 []int 变成 *[]int。先用编译器和小范围测试确认赋值、比较和方法调用，再扩大替换范围。

三、检查写入动作是否发生在解引用之后

切片需要对 *value 调用 append 并重新赋回，映射需要确认 *value 不是 nil；如果调用方不需要共享指针，直接使用 make 或字面量可以减少一层解引用。

用一组小测试锁住迁移结果

迁移不必一开始就改完整个仓库。先为 nil 语义、追加结果和映射写入各保留一个断言，再执行项目已有测试。下面的检查覆盖了最容易被忽略的行为差异：

func TestNewExprContainers(t *testing.T) {
	var nilSlice = new([]int)
	if *nilSlice != nil {
		t.Fatal("new([]int) should point to a nil slice")
	}

	values := new([]int{})
	*values = append(*values, 42)
	if len(*values) != 1 || (*values)[0] != 42 {
		t.Fatalf("unexpected slice: %v", *values)
	}

	counts := new(map[string]int{})
	(*counts)["go"]++
	if (*counts)["go"] != 1 {
		t.Fatalf("unexpected map: %v", *counts)
	}
}

测试名称和断言故意贴近行为，不依赖实现细节。若项目还支持旧版本编译器，先把这段写法放在对应的版本构建边界内，确认最低支持版本后再提交迁移。

常见问题

new(expr) 会复制切片或映射里的所有元素吗？

它创建的是一个新值并返回指针；切片值本身仍包含指向底层数组的描述信息，映射值也保留运行时映射结构的语义。不要把它当作深拷贝工具，是否共享底层数据要看表达式本身和后续赋值。

什么时候应该继续用 make？

函数需要返回可写的切片或映射本身，而不是指针时，make 更直接。new(expr) 适合结构体字段、可选值或确实需要指针层级的接口。

只要能通过编译就算迁移完成吗？

不算。至少还要验证 nil 分支、序列化输出、追加后的长度以及映射首次写入；这些行为差异通常不会在编译阶段暴露。

迁移清单

最后按“类型、零值、写入、测试”四项回看：先确认 new(expr) 推断出的指针类型，再确认切片或映射的 nil 语义，接着检查所有 append 和键值写入，最后运行覆盖边界的测试。这样改动才不会只是语法替换，而是一次可回滚、可验收的 Go 1.26 迁移。