Go new 怎样直接用初始值创建可选指针字段

如果结构体字段用指针表达“可选”，以前常见的写法是先声明一个变量，再取它的地址。Go 1.26 开始，内置函数 new 可以接收表达式，因此 new(3) 直接得到一个初始值为 3 的 *int，new(false) 得到一个非 nil 的 *bool。它解决的是构造语法冗长的问题，不会改变指针字段本身的语义。

先把两种 new 的含义分开

排查这类代码时，我会先看括号里放的是类型还是值。放类型时，new(T) 返回 *T，新变量先按 T 的零值初始化；放表达式时，表达式的类型决定返回指针的元素类型，表达式的值成为新变量的初始值。

package main

import "fmt"

func main() {
	zero := new(int)       // 按 int 的零值 0 创建 *int。
	initial := new(42)     // 按常量默认类型 int 创建初始值为 42 的 *int。
	wide := new(int64(42)) // 显式转换决定元素类型为 int64。

	// 每次 new 都创建独立的新变量，修改其中一个不会改变另一个。
	*zero = 7
	fmt.Printf("%T %d; %T %d; %T %d\n", zero, *zero, initial, *initial, wide, *wide)
}

这里的 new(42) 不是把 42 当成类型，而是把它当成初始值表达式。无类型整数常量会先转换成默认类型 int；如果希望得到 *int64，要写成 new(int64(42))。这也是第一个检查点：编译错误或字段类型不符合预期时，先看表达式是否携带了正确的类型信息。

可选字段最适合用“nil 与显式零值”做区分

在配置、JSON 请求或协议对象中，int 字段的 0 往往有两种含义：调用方没有传，或者调用方明确传了 0。改成 *int 后，nil 表示没有提供，非 nil 指针表示提供过，即使指针指向 0 也保留了“出现过”的信息。

package main

import (
	"encoding/json"
	"fmt"
)

type Options struct {
	// omitempty 只在指针为 nil 时省略字段，非 nil 的零值仍会被编码。
	Retry  *int    `json:"retry,omitempty"`
	Active *bool   `json:"active,omitempty"`
	Label  *string `json:"label,omitempty"`
}

func main() {
	missing := Options{} // 三个字段都未提供。
	explicitZero := Options{
		Retry:  new(0),     // 明确提供 retry=0，而不是缺失。
		Active: new(false), // 明确提供 active=false。
		Label:  new(""),    // 明确提供空字符串。
	}

	for _, item := range []Options{missing, explicitZero} {
		data, err := json.Marshal(item)
		if err != nil {
			// 序列化失败时立即返回，避免把不完整请求继续传递。
			panic(err)
		}
		fmt.Println(string(data))
	}
}

第一项会省略三个字段，第二项会保留 retry、active 和 label 的显式零值。这个差异比“少写一行临时变量”更重要：它决定了服务端能否区分默认策略和调用方的明确选择。

遇到异常时按三个证据检查

如果结果和预期不一样，我通常依次检查表达式类型、指针是否为 nil、以及解引用后的值。尤其要注意：new(value) 保存的是 value 的副本，不会让指针反向绑定到原变量。

package main

import "fmt"

func main() {
	count := 7
	ptr := new(count) // 复制 count 的当前值，不是取得 count 的地址。
	count = 9

	fmt.Println(count, *ptr) // 9 7：原变量和新变量彼此独立。
	if ptr == nil {
		// 可选字段只有 nil 才表示缺失，非 nil 指针即使指向零值也算已提供。
		fmt.Println("missing")
	}
}

另一个边界是 new(nil) 不合法，因为 nil 没有可以推导的具体类型。若确实需要一个指向空指针值的二级指针，必须显式写出类型，例如 new((*int)(nil))，但这种写法应有清楚的 API 语义，不能为了炫技使用。

旧工具链要保留同样语义

new(表达式) 是 Go 1.26 的语言变化。项目如果仍需兼容 Go 1.25 或更早版本，直接使用新语法会在编译阶段失败。此时可以保留一个小型辅助函数，等最低版本升级后再迁移：

// Ptr 返回 value 的地址，给旧工具链提供 new(表达式) 的等价写法。
func Ptr[T any](value T) *T {
	return &value
}

type Request struct {
	// nil 仍然表示调用方没有设置 Limit。
	Limit *int `json:"limit,omitempty"`
}

func newRequest(limit int) Request {
	return Request{
		Limit: Ptr(limit), // 通过函数参数创建独立的指针值。
	}
}

泛型辅助函数的优点是兼容范围广，缺点是项目里会多一个命名约定；显式临时变量的可读性也很好，但在结构体字面量中不够紧凑。不要把兼容函数和 new(表达式) 混用成两套风格，建议按项目最低 Go 版本统一。

采用前的最后检查清单

1. 项目的最低工具链是否为 Go 1.26；如果不是，改用临时变量或 Ptr[T]。
2. 字段是否真的需要区分“缺失”和“显式零值”；不需要时，普通值字段更简单。
3. 无类型常量是否会推导成你想要的类型；需要 int64、float32 时显式转换。
4. 是否误把 new(value) 当成 &value；前者保存副本，后者指向原变量。
5. 配合 omitempty 时，是否确认 nil 才是要省略的状态。

官方语言说明可参考 https://go.dev/doc/go1.26、https://go.dev/ref/spec 和 https://pkg.go.dev/builtin#new。如果你的文章或项目需要兼容多个 Go 版本，把版本门槛写进 README 和 CI，比在代码审查时临时解释更稳妥。

相关问题

new(0) 得到的是 *int 还是 *int64？

无类型整数常量会先使用默认类型，通常得到 *int。需要 *int64 时写 new(int64(0))，不要依赖调用上下文猜测。

new(变量) 会返回变量本身的地址吗？

不会。它创建并初始化一个新变量，使用的是传入表达式当时的值；如果要指向原变量，仍应使用 &变量。

所有可选字段都应该改成指针吗？

不应该。只有业务上需要表达“未提供”和“提供了零值”的字段才适合用指针；否则普通值字段更直接，也少一层判空。