当Go 1.18在2022年引入泛型时，它为函数和结构体带来了泛型类型参数，但不包括方法。随着Go 1.27的发布，这一长期限制已被解除。方法现在可以定义自己的类型参数，而无需将它们添加到接收结构体中。为什么会引入这个变化如果您想创建一个持有泛型值的图节点，您可能会这样实现它： ```go type Node[T any] struct { value T } ``` 想象一下添加一个将类型T的节点转换为另一种类型U的Map方法。在Go 1.27之前，您被迫将U直接添加到Node结构体本身： ```go type Node[T any, U any] struct { value T } func (n *Node[T, U]) Map() Node[T, U] { // ... } ``` 将U添加到结构体本身是糟糕的设计，因为U是特定于Map的方法类型参数。尽管其他方法不会使用U，但它们仍然必须在接收者声明中保留它。唯一的变通方法是将Map实现为包级函数而非方法，因为函数可以定义自己的类型参数。但方法不能，这导致了尴尬和不符合习惯的代码API设计。从Go 1.27开始，U可以专门在Map方法中定义： ```go func (n *Node[T]) Map[U any]() Node[U] { // ... } ``` 为什么需要这么长时间？答案在于Go中泛型的实现方式。编译器主要通过单态化处理泛型，这意味着它将为使用的每个特定类型创建泛型结构体或函数的副本。因为在某个时刻，泛型的抽象概念需要转换为直接的机器代码。然而，Go的接口系统在运行时工作。传入接口参数的值的具体类型在程序运行时解决。这种动态调度与在编译时解析的泛型发生冲突。考虑一下如果我们想在接口中声明我们的Map方法会发生什么： ```go type Mapper interface { Map[T any, U any](element T) U } ``` 为了使其正常工作，运行时需要一个即时编译器来动态生成具体类型的机器代码，或者需要提前为每种可能的类型创建这些副本，从而导致产生一个庞大的二进制文件。最终，Go团队决定将泛型方法与接口分离。Go 1.27允许在具体类型上使用泛型方法，但不允许在接口上使用。这个区别就是为什么上述示例无法编译，以及围绕它的讨论花费了一段时间。 进一步阅读: - Go 1.27发布说明 (go.dev) - 提案：Go的泛型方法 (GitHub) - Go中泛型的性能 (dominik.info)