Go 1.27 给具体方法加类型参数：List.Map 链式转换，以及它不会触碰的接口
原文：Generic Methods，Mark Freeman，2026-08-26
链接：https://go.dev/blog/generic-methods
Go 1.18 引入泛型时，类型和函数可以带类型参数，方法不行。当时的提案给的理由是：泛型接口方法难以高效实现，既然如此，也没必要给非接口（具体）方法加类型参数——在这个视角里，方法的首要用途是实现接口。
Go 1.27 换了视角：方法也是组织代码的工具，这两件事可以解耦。于是非接口方法允许声明类型参数。
从 List 说起
type List[E any] struct {
elem E
next *List[E]
}
func NewList[E any](elems ...E) List[E]
func (List[E]) String() string
如果写一个 ToString 方法，接收 f func(E) string，返回 List[string]：对 List[int] 传 strconv.Itoa，对 List[[]byte] 传 hex.EncodeToString 或 base64.StdEncoding.EncodeToString。
问题在于，把 List 参数化只泛化了来源类型，目的地类型没有跟着动。在 1.18 里只能写泛型函数：
func MapList[E, R any](l List[E], f func(E) R) List[R]
MapList(MapList(NewList(0, 2, 4), add(2)), divideBy(2))
两个副作用：MapList 被抬到包级作用域；链式调用只能由内向外写。
1.27 把它变成方法：
func (List[E]) Map[R any](f func(E) R) List[R]
NewList(0, 2, 4).Map(add(2)).Map(divideBy(2))
方法表达式
任何方法都能用方法表达式转成等价的函数，泛型方法也一样：
f := List[int].Map[int]
f(f(NewList(0, 2, 4), add(2)), divideBy(2))
泛型方法和其他泛型一样，必须先实例化（显式或隐式）才能使用——无论是调用，还是转成函数。
不参与接口实现
type I interface{ M() }
type T struct{}
func (T) M[P any]() {}
T{}.M[int]() 的签名是 func M()，和 I.M 一样。但 T 并不实现 I。
接口实现是（可能已实例化的）类型的属性，不是某个具体方法的属性。T 声明的是泛型（未实例化）的 T.M，而不是 T.M[int]。要让 T.M 参与接口实现，接口侧得有一个对应的泛型方法 I.M，而 Go 1.27 的语法不允许接口方法声明类型参数。
接口方法为什么不能泛型
接口值是对另一个值的装箱，类型上声明的方法集是接口方法集的超集。在分离编译下，编译器在类型声明（或实例化）处就为该类型的所有非泛型方法生成代码，因此无论别的包怎么调用，方法都已存在。
如果 I.M 是泛型的，声明方就得用所有可能的类型实参去实例化 T.M——按 Go「每个类型实参一份专用代码」的做法，这不可行。另一条路是把方法参数装箱，按约束接口传值，代码可以共享，代价是间接调用开销；即便是对已实例化方法的直接调用，也要付这笔开销。
使用建议
- 适合容器类型、链式转换、局部代码组织，能避免把
MapList这类辅助泛型函数堆到包级作用域。 - 别指望它解决接口抽象问题：方法集与接口实现无关，接口方法不能带类型参数。
- 当心写出「看起来实现了接口」的代码——
T{}.M[int]()能调用，签名也对得上，但T并没有实现I。
总结一句：Go 1.27 给具体方法加了类型参数，这是长期被需要的；泛型接口方法仍然不支持，但具体方法这一块本身已经值得用。