Go new 表达式怎样直接初始化带默认值指针

Go 1.26 起，可以直接用 new(3)、new(false) 或 new(计算表达式) 创建带初始值的指针。例如字段类型为 *int 时，写 Retries: new(3) 即可。这里的“默认值”由调用方明确提供，不会自动读取结构体标签或某个默认配置。

旧写法 new(int) 继续有效，但它创建的是值为 0 的 int 变量。要把初始值设成 3，应传表达式 3；如果需要 *int64，就显式写 new(int64(3))。下面用任务重试配置说明实际写法。

Go 官方地址：https://go.dev/

先确认工具链和模块语言版本

表达式作为 new 参数是 Go 1.26 加入的语言能力。除了工具链支持，也要确认模块启用的语言版本；不能因为机器装了新工具链，就假定旧模块自动接受全部新语法。新建独立示例时可以这样准备：

# 在独立目录建立示例，并显式启用所需语言版本
mkdir new-default-demo
cd new-default-demo
go mod init example.com/new-default-demo
go mod edit -go=1.26.0
# 查看实际工具链，后续命令供读者自行执行
go version

不要为试一行语法直接提高业务仓库的最低 Go 版本。团队工具链与 CI 都满足要求时再修改模块配置。本文代码和后文结果均供读者复现，没有把推导出的值当作本机实测记录。

给可选配置字段设置明确初始值

把以下内容保存为 main.go。Retries 和 Enabled 都使用指针，借此区分“未指定”与“指定了一个值”。fallback 是本例业务代码定义的回退值，不是 new 提供的特殊机制。

package main

import "fmt"

type TaskOptions struct {
    Retries *int
    Enabled *bool
}

func retriesOrDefault(value *int, fallback int) int {
    // 必须先判断 nil；显式的 0 不能被误当成未指定。
    if value == nil {
        return fallback
    }
    return *value
}

func main() {
    preset := TaskOptions{
        Retries: new(3),
        Enabled: new(false),
    }
    explicitZero := TaskOptions{Retries: new(0)}
    unspecified := TaskOptions{}

    // new(false) 返回非 nil 指针，解引用后才是 false。
    fmt.Printf("preset=%d enabled=%t\n",
        retriesOrDefault(preset.Retries, 5), *preset.Enabled)
    fmt.Printf("zero=%d missing=%d\n",
        retriesOrDefault(explicitZero.Retries, 5),
        retriesOrDefault(unspecified.Retries, 5))
}

按程序逻辑，preset 的重试值为 3，enabled 为 false；显式零次重试仍为 0，未指定重试次数才使用 fallback 5。若只是普通 int 字段而不需要区分未指定，直接存 int 往往更简单，不必为使用新语法而增加指针。

# 在启用 Go 1.26 语言版本的示例模块内运行
go run .

读者可以检查两行打印值是否符合上面的预期，再把 new(3) 改成 new(1 + 2) 观察同样的值。表达式也可以是返回单个值的函数调用；若调用带有副作用，它仍会正常求值，不要把 new 当成延迟执行器。

区分 new(变量) 与对原变量取地址

new(x) 会创建一个新变量，以 x 当前的值初始化。它不把指针直接指向 x。因此修改返回指针指向的 int，不会修改原来的 int。下面片段可放在 main 函数中：

// copied 指向独立变量，alias 指向 original 本身。
original := 7
copied := new(original)
alias := &original

*copied = 9
fmt.Println(original, *copied) // 预期为 7 和 9。

*alias = 11
fmt.Println(original, *alias) // 预期为 11 和 11。

如果本意是让其他代码修改 original，就应使用 &original。若要创建一个独立的默认标量值，则 new(original) 表达得更直接。这种独立是变量层面的，不是所有对象的深拷贝：表达式是切片或 map 时，其值中引用的底层数据仍可能共享；不能由“新变量”推导出“完整复制所有数据”。

显式控制类型，并分清 nil 与零值

字段上下文不能把 new(3) 的结果自动变成 *int64。先让表达式具有所需类型，再创建指针。命名类型也可以采用相同思路：

type RetryCount int

// 通过转换明确表达式类型，保留业务命名类型。
count := new(RetryCount(3))
fmt.Printf("%T %d\n", count, *count)

若需要的是一个未指定的 *int，直接声明 var value *int 即可，不要写 new(nil)。若确实要创建“指向一个 nil 指针变量的指针”，那是 **int 这一类不同需求，应先明确类型，避免在默认配置代码中混淆层级。

旧项目怎样保留同样的行为

项目暂时不启用 Go 1.26 时，仍可用局部变量取地址。下面函数与创建一个初始值为 3 的独立 int 指针表达相同目的，不需要手动释放局部变量：

// 传统写法适用于不采用 new 表达式语法的项目。
func defaultRetries() *int {
    value := 3
    return &value
}

对于已经有通用指针辅助函数的代码库，应把最低语言版本、现有风格和可读性一起考虑，没必要仅为了缩短几个字符而全量迁移。new 也不承诺对象一定在堆上；不要把语法变化当成减少分配或提高性能的证据。

结构体字段没有赋值时会自动得到 new(默认值) 吗？

不会。未赋值的指针字段仍是 nil。需要默认指针时，在构造函数或结构体字面量中明确赋值。

new(false) 与 nil 有什么区别？

new(false) 表示已经指定 false；nil 可以由业务解释成未指定。应先判断指针，再读取指向的值。

为什么升级 Go 后仍然报语法不支持？

除了实际工具链，也要检查 go.mod 语言版本和编辑器使用的工具链配置。对本例，先确认示例模块显式使用 Go 1.26 或更高语言版本。

语言能力引入见 Go 1.26 发布说明；类型、初始值与 nil 规则见 Go 语言规范 Allocation。