Go new 初始值和取地址字面量在可读性上怎么选

标量需要带初值的指针时，Go 1.26 的 new(expr) 能省去只为取地址而声明的临时变量；结构体有多个命名字段时，&Config{...} 通常更便于扫读。要让修改作用于已有变量，应保留 &x。选择首先取决于对象身份和类型，再考虑字符多少。

现象：同样得到指针，读者却可能理解成不同对象

下面的完整示例以 Go 1.26 或更高语言版本为前提。它把独立初值、已有变量的地址和结构体字段放在一起，方便按语义比较；文中推导不冒充实测输出。

package main

import "fmt"

type Retries int
type Config struct {
    Retry   *Retries
    Enabled *bool
}

func main() {
    x := Retries(3)
    independent := new(x) // Go 1.26：新变量使用 x 的当前值
    alias := &x          // 原变量的地址
    *independent = 5
    *alias = 7
    cfg := &Config{
        Retry: new(Retries(2)), // 明确保留自定义类型
        Enabled: new(false),   // 明确提供 false，而非未提供
    }
    zero := new(Retries) // 类型参数表达零值
    fmt.Println(x, *independent, *cfg.Retry, *cfg.Enabled, *zero)
}

按代码赋值关系推导，最终五个值为 7 5 2 false 0。这里最容易误读的是 independent：它指向新变量，不会因为 alias 改写 x 而变成 7。

分层检查：先看语言版本，再看指针的具体类型

如果 new(false) 被判为非法，先核对当前工具链以及项目 go.mod 的 go 指令。表达式参数由 Go 1.26 引入；安装了新编译器，并不意味着模块自动采用相同语言版本。官方发布说明特别指出，Go 1.26 的 go mod init 默认写入 go 1.25.0。是否提升模块要求，应结合团队和依赖环境决定。

随后检查赋值目标。new(2) 得到的是 *int，并不会因为接收字段是 *Retries 就自动改变常量的默认类型。示例写成 new(Retries(2))，让领域类型与初值同时可见。没有类型的 nil 不能直接作为 new 的实参。

证据判断：新变量与原变量是否共享身份

new(x) 用 x 的当前值初始化一个新变量；&x 取得 x 本身的地址。标量例子中的修改各自独立。这里的“新变量”不代表深复制：如果初值含切片、映射或指针，其引用的数据仍可能共享，因此不能把 new 当作数据隔离工具。

修复动作：按表达目标选写法

new(Config{...}) 在支持表达式参数的语言版本中也能表达结构体初值；已有项目普遍使用取地址复合字面量时，为了统一风格保留后者即可。不要为了统一外观，把所有结构体初始化改写成 new。

&42 和对普通函数返回值直接取地址不满足可寻址要求；复合字面量是规范允许的例外。若模块需要兼容旧语言版本，可以先声明有意义的局部变量，再传递其地址。临时变量有业务名称时也不必急于消除，它可能比短表达式更容易解释。

反向验证：缩短代码后是否改变了调用契约

审查改动时，重点看接收方是否依赖原变量的后续变化。若原来传入 &x，替换成 new(x) 后，对方持有的是另一变量。对可选布尔字段，nil 与指向 false 的非 nil 指针也不是同一含义；具体编码结果还取决于所用序列化库及字段标签，不能仅凭 false 推断字段缺失。

这类选择没有通用的性能结论。源码中出现 new 不等于必定在堆上分配，取地址字面量也不保证少一次分配。本文讨论可读性，不据此给出分配次数或吞吐量比较。

检查清单与常见问题

• 表达式参数是否处在 Go 1.26 或更高语言版本下？
• 指针元素类型是否准确，是否需要显式转换？
• 是否确实需要新变量，而不是原变量的地址？
• 结构体字段名是否仍然清楚，团队写法是否一致？

new(int) 和 new(0) 有什么区别？

两者都可得到指向零值 int 的指针，前者强调类型，后者强调一个初值；后者还要求支持表达式参数的语言版本。

标量初值用 new 后，还需要指针辅助函数吗？

仅包装“值转指针”的辅助函数可以重新评估；如果函数还承担校验、标准化或兼容旧版本的职责，就不能只因语法变短而删除。

是不是任何字面量都可以取地址？

不是。结构体、数组等复合字面量存在规范例外，普通数字常量没有这一例外。

参考：Go 规范：Allocation；Go 规范：Address operators；Go 1.26 发布说明。