Go generic 函数怎么让类型参数参与切片转换

如果一个 Go 泛型函数需要把 []E 变成 []R，最稳妥的写法不是尝试整体强转，而是把转换拆成两个边界：用 S ~[]E 描述输入切片，用 func(E) R 明确每个元素如何得到结果。这样普通切片和命名切片都能传入，结果切片的元素类型也不会依赖隐式协变。

先用 S ~[]E 接住输入切片

类型参数 E 表示元素类型，S 表示切片本身。波浪号约束允许底层类型为 []E 的定义类型进入函数，因此既能传 []int64，也能传自定义的 UserIDs。

package main

// MapSlice 只约束输入的底层结构，不限制输出元素类型。
func MapSlice[S ~[]E, E any, R any](src S, convert func(E) R) []R {
    // 先分配准确长度，避免 append 带来的额外扩容。
    dst := make([]R, len(src))
    for i, value := range src {
        // 转换规则由调用方显式提供，E 到 R 不靠隐式协变。
        dst[i] = convert(value)
    }
    return dst
}

type UserIDs []int64
type APIID int

func example() []APIID {
    ids := UserIDs{101, 102, 103}
    // E 从 ids 推断为 int64，R 从回调结果推断为 APIID。
    return MapSlice(ids, func(id int64) APIID {
        return APIID(id)
    })
}

这里返回的是 []APIID，而不是 UserIDs。输入切片的命名类型只用于约束和推断；一旦目标元素类型变了，结果容器就应该由返回类型明确表达。

用 func(E) R 把元素转换写清楚

通用映射函数不应该假设所有类型都能直接转换。比如 string 到 int 需要解析和错误处理，不能把它伪装成编译期类型转换。把逻辑放进回调后，业务可以选择强转、格式化或查表，并且可以在回调外统一处理错误策略。

如果转换可能失败，回调可以返回 (R, error)，外层函数再决定遇到第一条错误时立即返回，还是收集全部错误。不要为了省掉一个回调，把不相关的业务规则塞进类型约束。

只有约束足够窄，才直接写 R(value)

当输入和输出都限定为整数类型时，编译器能根据约束判断每个可能的类型参数都支持该转换。此时可以把显式类型转换放在泛型函数内部：

type SignedInt interface {
    ~int | ~int32 | ~int64
}

// ConvertNumbers 在约束允许的整数集合内执行显式转换。
func ConvertNumbers[S ~[]E, E SignedInt, R SignedInt](src S) []R {
    dst := make([]R, len(src))
    for i, value := range src {
        // 这是数值转换，不是切片整体转换；窄类型可能发生截断。
        dst[i] = R(value)
    }
    return dst
}

这个写法的重点是约束而不是语法糖：E 和 R 的类型集合都被限制为整数，转换关系对集合中的组合成立。若把约束放宽为 any，R(value) 就没有足够的编译期依据，应改用 func(E) R。

为什么不能把 []E 直接变成 []R

切片包含指向底层数组的指针、长度和容量；[]E 与 []R 的元素布局和写入规则可能不同，所以 Go 不提供按元素类型协变的整体转换。即使 APIID 的底层类型是 int，下面的思路也不成立：

// 错误思路：切片不是元素，不能用一次类型转换完成映射。
// result := []APIID(userIDs)

// 正确做法：明确每个元素如何从 int64 变成 APIID。
result := MapSlice(userIDs, func(id int64) APIID {
    return APIID(id)
})

还要留意三个边界：空切片和 nil 切片是否需要保持区分，数值缩窄是否允许溢出，以及结果是否需要继续使用命名切片类型。泛型只减少重复代码，不会替调用方做这些语义决策。

常见问题

为什么约束写成 S ~[]E 而不是 S []E？

~[]E 允许底层类型相同的命名切片；写成 []E 时，类型集合更窄，命名切片不能按同样方式参与。

MapSlice 会不会修改原切片？

不会。函数分配新的 []R，只读取 src；如果回调内部持有指针或修改元素指向的数据，仍需由调用方负责别名影响。

什么时候可以不用泛型？

只有一种元素类型、转换逻辑也不会复用时，普通函数往往更直观。泛型适合在输入切片形状稳定、元素类型需要复用且约束能表达真实边界时使用。

判断这类问题可以记住一句话：类型参数能描述切片和元素，但不会让不同元素类型的切片自动兼容；先约束输入，再逐元素转换，最后让结果切片类型显式落地。