将类型（int、float 等）转换为 `T` [go1.18]

Question

场景：支持泛型的 Go 1.18问题：无法将数字转换为泛型。说明：我正在尝试移植我的general purpose库以支持泛型。我正在处理数字转换错误。我定义了一个包含所有数字类型的包，如下所示：package typestype Number interface {    int | int8 | int16 | int32 | int64 | uint | uint8 | uint16 | uint32 | uint64 | uintptr | float32 | float64}处理泛型我没有特别的问题。我唯一不明白的是：如何将定义的类型（如int）转换为泛型？让我们假设以下示例：// FindIndexValue is delegated to retrieve the index of the given value into the input array.func FindIndexValue[T types.Number](array []T, value T) []T {    var indexs []T    for i := range array {        if array[i] == value {            indexs = append(indexs, i)        }    }    return indexs}在上面的代码片段中，错误位于以下行： ... for i := range array {   ...}这是因为range内置迭代数组并返回int给定位置的索引（）。问题是：如何将定义的类型（int在这种情况下）转换为泛型T？ 错误：cannot use i (variable of type int) as type T in argument to append

Answer 1

您可以像往常一样将值转换为参数类型。

从提案类型转换：

在具有两个类型参数From和的函数中，如果From 约束的类型集中的所有类型都可以转换为 To 约束的类型集中的所有类型，则 type 的值可以转换为 type 的值To。FromTo

在这种情况下，您实际上并没有 aFrom因为它是切片索引int；目标类型将是T（即使这可能不是您想要的，请参阅下面的原因）。当然int可以转换为T' 类型集，因为它仅包括数字类型（尽管在or 的情况下会截断或丢失精度int8！float64）

indexs = append(indexs, T(i))

但是您的程序将索引切片声明为[]T，这意味着将您的通用函数实例化为：

is := FindIndexValue([]float64{1,5,7,9}, float64(9))

将产生类型的结果[]float64。由于返回的值是切片索引，总是int，这没有多大意义。

最好简单地返回[]int：

func FindIndexValue[T Number](array []T, value T) []int {

    var indices []int

    for i := range array {

        // match on the generically typed slice item

        if array[i] == value {

            // store slice indices as ints

            indices = append(indexs, i)

        }

    }

    return indices

}

游乐场：https ://gotipplay.golang.org/p/EykXppG2qJa

Answer 2

int无论切片的元素类型如何，索引始终是整数类型 ( )。所以结果类型应该是[]int.

你为什么要这样[]T？如果T是uint8并且传递的切片包含超过 256 个元素，您甚至无法返回正确的索引。

func FindIndexValue[T types.Number](array []T, value T) []int {

    var indices []int

    for i, v := range array {

        if v == value {

            indices = append(indices, i)

        }

    }

    return indices

}