Go语言能否基于泛型实现map和reduce功能？

Go泛型完全支持实现泛型版本的Map/Reduce，你的报错来自代码里的语法使用错误，和泛型本身的能力限制无关：

• 核心错误是for range的用法不对：Go语言中遍历切片时，for 变量 := range 切片的写法，拿到的变量是元素下标（索引），固定为int类型，不是切片里存储的实际元素。你把int类型的下标传给要求入参为类型参数I的mapper函数，编译器在检查泛型函数定义时，无法确认int类型可以匹配任意可能的I类型，因此抛出类型不匹配错误。正确的遍历写法需要接收两个返回值，用下划线忽略不需要的下标：for _, thing := range things，这时候拿到的thing才是切片里的元素，类型为I，可以正常传给mapper。
• 次要问题是泛型约束的写法：Go 1.18正式版引入泛型后，提供了any作为interface{}的别名，用来表示“任意类型”的约束，比直接写interface{}语义更清晰，是官方推荐的标准写法。

package main

import "fmt"

func main() {
    things := []int{1, 2, 3, 4}
    results := Map(things, func(t int) int {
        return t + 1
    })
    fmt.Printf("%v", results) // 运行输出：[2 3 4 5]
}

// Map 泛型实现：I为输入切片元素类型，O为输出切片元素类型
func Map[I any, O any](things []I, mapper func(thing I) O) []O {
    results := make([]O, 0, len(things))
    for _, thing := range things { // 忽略索引，拿到实际元素
        results = append(results, mapper(thing))
    }
    return results
}

Go泛型可以无压力实现各类集合高阶函数，以下是Reduce的泛型写法示例：

// Reduce 泛型实现：I为输入元素类型，R为累计结果类型
func Reduce[I any, R any](things []I, reducer func(acc R, item I) R, initial R) R {
    acc := initial
    for _, thing := range things {
        acc = reducer(acc, thing)
    }
    return acc
}

调用示例：

// 计算切片元素总和
sum := Reduce(things, func(acc int, item int) int {
    return acc + item
}, 0)
// sum 运行结果为10

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