Go 泛型切片转换的零值与类型推断

Go 泛型切片转换最容易出错的地方，不是语法，而是把“nil 切片”“空但已初始化的切片”和“命名切片”混成一种值。稳妥的做法是：先保留输入的 nil 语义，再用 S ~[]E 同时表达完整切片类型与元素类型，最后根据需求选择类型转换或复制。

官方地址：https://go.dev/

一、先分清 nil 切片与空切片

切片的零值是 nil。它可以参与 len、cap 和 range，但并不等价于已经初始化的空切片。这个差异在序列化、返回值约定和“是否提供过数据”的判断中很重要。

如果转换函数直接无条件 make(S, len(in))，nil 输入就会被改造成非 nil 的空结果。更稳妥的判断只围绕语义本身：

func clonePreserveNil[S ~[]E, E any](in S) S {
    // 先保留输入的 nil 状态，避免把“没有值”改成“已初始化但为空”。
    if in == nil {
        var zero S
        return zero
    }

    // make 创建同类型结果，copy 让结果拥有独立的底层数组。
    out := make(S, len(in))
    copy(out, in)
    return out
}

这里的 len(nilSlice) 仍然是 0，不能仅凭长度判断两种状态。若业务不关心 nil 语义，可以统一返回空切片；若 JSON 输出或接口约定区分两者，就应保留上述分支。

二、用 S ~[]E 约束保留命名切片

假设有 type UserIDs []int。如果函数只写成 func clone[E any](in []E) []E，调用命名切片时返回类型是基础的 []int。把切片本身抽成 S，再用 ~[]E 描述底层类型，才能让返回值继续是 UserIDs。

type UserIDs []int

func clone[S ~[]E, E any](in S) S {
    // S 保留调用方的命名切片类型，E 表示其元素类型。
    if in == nil {
        var zero S
        return zero
    }
    // 结果仍是 S，而不是退化后的 []E。
    out := make(S, len(in))
    copy(out, in)
    return out
}

ids := UserIDs{101, 102}
copied := clone(ids) // 编译器可推断 S=UserIDs、E=int。

推断依赖调用参数的具体类型和约束关系：参数先给出 S=UserIDs，而 UserIDs 的底层类型 []int 再让编译器得到 E=int。如果调用点没有提供足够的类型线索，才需要写成 clone[UserIDs, int](ids)。

三、区分类型转换与复制

命名切片与基础切片之间可以显式转换，例如 []int(ids)。这一步改变的是静态类型，不应被当成深拷贝。若后续代码会修改结果并要求不影响原切片，就必须分配新数组并复制元素。

还要注意约束的含义：~ 匹配的是底层类型，而不是任意可转换类型。一个底层类型为 []int 的命名切片可以满足 ~[]int，但 []string 不会因为“都是切片”而满足它。

四、把类型推断失败变成可定位的调用错误

当泛型函数有多个参数，且元素类型只出现在约束中，编译器可能无法从调用表达式唯一确定 E。排查时先看输入是不是命名切片，再看约束的底层元素类型是否一致，最后才补全类型参数；不要一开始就改成 any，那会丢掉编译期约束。

func toBase[S ~[]E, E any](in S) []E {
    // 显式转换只改变切片的静态类型，不主动复制底层数组。
    return []E(in)
}

func demo() {
    // 用命名切片调用时，S 和 E 都有明确推断来源。
    ids := UserIDs{7, 8}
    base := toBase(ids)
    _ = base
}

这类转换返回的基础切片与原值可能共享底层数组，所以它适合只读传递或明确接受共享的场景。需要安全边界时，使用前面的 clone，并在接口文档里写清 nil、空切片和副本语义。

延伸问答

nil 切片可以直接 range 吗？

可以。遍历次数为 0，但它仍然和非 nil 空切片是两个不同的状态。

为什么不把泛型参数只写成 []E？

这样会把命名切片映射为基础切片，调用方原本的类型身份不会出现在返回值中。

什么时候必须显式写出类型参数？

当输入是 nil 常量、类型信息只存在于约束，或多个参数让元素类型产生歧义时，显式写出 S 和 E 能让错误更直接。