我正在尝试在 golang 中编写通用函数，该函数将以类似的方式在切片和通道中搜索值。这是一个例子：

// minof returns the smallest number found among the channel / slice contents
func minof[t chan int | []int](input t) (result int) {
    for _, value := range input {
        if result > value {
            result = value
        }
    }

    return
}

但我收到以下编译错误：cannot range over input（类型 t 的变量受 chan int|[]int 约束）（t 没有核心类型）。

我尝试创建通用界面，如下所示：

type Rangable interface {
    chan int | []int
}

// MinOf returns the smallest number found among the channel / slice contents
func MinOf[T Rangable](input T) (result int) {
    for _, value := range input {
        if result > value {
            result = value
        }
    }

    return
}

虽然，错误已更改为 cannot range over input（t 类型的变量受 rangable 约束）（t 没有核心类型） 它基本保持不变...

有什么方法可以使用泛型或通道来解决此任务，并且切片无法“转换”为相同的核心类型吗？

感谢您的任何建议和想法！

正确答案

你不能这样做。

range 表达式必须具有一个核心类型开始。具有不同类型术语的联合没有核心类型，因为没有一个共同的基础类型。

你也可以直观地看出为什么 range 需要一个核心类型：切片和通道范围的语义是不同的。

1. 在通道上进行测距可能是阻塞操作，在切片上进行测距则不是

2. 迭代变量不同

for i, item := range someslice {}

对于切片，i 是 int 类型的索引，item 是切片元素的类型。

for item := range somechan {}

对于通道，item 是 chan 元素的类型，并且这是唯一可能的范围变量。

你能拥有的最好的就是类型开关：

func MinOf[T any, U chan T | []T](input U) (result int) {
    switch t := any(input).(type) {
    case chan T:
        // range over chan
    case []T:
        // range over slice
    }
    return
}

但同样，该函数的行为（阻塞与非阻塞）取决于类型，并且不清楚在这里使用泛型可以获得什么优势。