Go 1.27 泛型方法：能写在类型上，但仍然进不了接口

Go 1.27 的 Release Notes（2026-08-19）在“Changes to the language”一节列出了三项语言变更，其中第一项是泛型方法。下面按照文档顺序记录实际写法和编译边界。

泛型方法：从包作用域移到类型命名空间

方法声明现在可以带自己的类型参数。以前这类函数只能声明在包作用域，现在可以挂在某个类型上。

标准库直接给出了示例：math/rand/v2 现在声明泛型方法 (*Rand) N[Int intType](Int) Int，而此前只有包级泛型函数 N[Int intType](Int) Int，后者使用全局随机源。

import "math/rand/v2"

r := rand.New(rand.NewPCG(1, 2))
n := r.N(100)        // 方法，使用 r 自己的源
m := rand.N(100)     // 包级函数，仍然可用

两者签名对应，区别只在于随机源来自接收者还是全局。

接口这条路仍然堵着

文档明确写了两条否定约束：

• 接口的方法不能声明类型参数；
• 接口方法也不能由泛型方法实现。

第一条在声明处就会失败：

type Number interface{ ~int | ~int64 | ~float64 }

type Adder interface {
    Add[T Number](T) // 编译错误: interface method must have no type parameters
}

第二条更隐蔽：接口本身完全合法，问题出在实现侧。

type Adder interface{ Add(int) }

type Counter struct{ n int64 }

func (c *Counter) Add[T Number](v T) { c.n += int64(v) }

var _ Adder = (*Counter)(nil) // 编译错误: *Counter does not implement Adder
                              // (wrong type for method Add)

*Counter 上有 Add，但它是泛型方法，不会被当作 Add(int) 的实现。想要满足接口，只能再写一个非泛型方法，或者改用包级泛型函数。

struct literal 的 key 支持字段选择器

struct literal 的 key 不再局限于顶层字段名，可以是该 struct 类型的任意合法字段选择器，因此提升字段也能直接指定：

type Inner struct{ Field int }

type Outer struct {
    Inner
    Name string
}

o := Outer{Inner.Field: 1, Name: "x"}

这对嵌入层级较深的结构体初始化有用，不必再单独构造内层值。

函数类型推断的泛化

当泛型函数被赋给或转换为匹配的函数类型变量时，现在在所有上下文中都能推断类型实参。典型场景是作为实参传递：

func double[T Number](v T) T { return v + v }

func apply(f func(int) int, v int) int { return f(v) }

n := apply(double, 3) // 从目标函数类型 func(int) int 推断出 T = int

显式写法 double[int] 依然有效，不建议为了少写几个字去和推断器较劲。

其他变更

• go fix 新增 modernizers：atomictypes、embedlit、slicesbackward、unsafefuncs；移除 fmtappendf；waitgroup 分析器改名为 waitgroupgo。
• go test 默认运行 stdversion vet。
• go doc 支持 package@version 与 -ex。

升级时容易踩的编译错误

1. 给接口方法加类型参数：interface method must have no type parameters。
2. 用泛型方法实现接口：does not implement / wrong type for method。
3. 实参无法确定类型参数时仍需显式实例化，例如 c.Add[float64](1)。
4. go test 默认跑 stdversion vet，go 指令版本与实际使用的标准库 API 不匹配会被拦下。
5. 依赖 go fix 的 fmtappendf 的脚本需要调整，分析器名从 waitgroup 换成 waitgroupgo。

项目信息：https://go.dev/doc/go1.27