为什么Go语言不支持泛型匿名函数？

首先，泛型函数可以通过普通命名函数的形式正常定义：

func f[T any](t T) T {
    var result T
    return result
}

但如果尝试以匿名函数形式定义泛型函数，会直接触发编译错误：

// 这段代码会报错！
var fAnonymous = func[T any](t T) T {
    var result T
    return result
}

对应的报错提示为：Function literal cannot have type parameters（函数字面量不能拥有类型参数）

原因解析 #

Go语言禁止泛型匿名函数的核心在于语言设计的简洁性优先级和泛型实现的复杂度权衡：

• 泛型在Go 1.18版本引入时，团队的核心目标是让泛型平稳融入现有语言体系，避免语法过度膨胀。匿名函数的设计定位是快速实现轻量、即时执行的逻辑，而泛型的类型参数机制会给匿名函数带来额外的语法复杂度——比如泛型匿名函数的实例化语法会变得晦涩，违背Go“简洁直观”的设计哲学。
• 从类型系统实现层面来看，匿名函数本质是一种函数值，而泛型函数需要在调用或显式实例化时确定具体类型参数。若支持泛型匿名函数，编译器的类型推断逻辑需要额外处理这类函数值的类型参数推导，大幅增加实现复杂度。Go团队当时优先保证命名泛型函数、泛型类型的稳定落地，将泛型匿名函数的支持推迟到了后续规划中（截至Go 1.22，该特性仍未被支持）。
• 实际使用中，泛型匿名函数的需求大多可以通过替代方案满足：先定义命名泛型函数，再显式实例化后赋值给变量，比如：

func f[T any](t T) T {
    var result T
    return result
}

// 显式指定类型参数实例化后赋值给变量
var fAnonymous = f[int]

内容的提问来源于stack exchange，提问作者Eric