Go泛型：如何正确定义接收者为切片类型的Reduce方法？

你的问题出在Go对泛型方法接收者的约束上：结构体MyType[T]的方法接收者不能直接指定为*MyType[[]T]，因为这相当于把结构体的类型参数T替换成了[]T，会导致类型参数语义冲突，Go编译器不允许这种在接收者中嵌套类型参数作为结构体实参的写法。

下面提供两种可行的解决方案：

方案一：调整结构体设计，专门处理切片类型 #

如果MyType的核心用途是处理切片，直接把结构体的类型参数设为切片的元素类型，内部存储切片：

type MyType[T any] struct {
    I []T // 直接存储切片，类型参数T是切片的元素类型
}

// Reduce方法接收者为*MyType[T]，自然可以遍历内部的切片
func (m *MyType[T]) Reduce(init T, fnReduce func(acc T, elem T) T) T {
    acc := init
    for _, v := range m.I {
        acc = fnReduce(acc, v)
    }
    return acc // 直接返回归约后的单个值，更符合Reduce语义
}

如果确实需要返回*MyType[T]，可以把结果包装成切片后返回：

func (m *MyType[T]) Reduce(init T, fnReduce func(acc T, elem T) T) *MyType[T] {
    acc := init
    for _, v := range m.I {
        acc = fnReduce(acc, v)
    }
    return &MyType[T]{I: []T{acc}}
}

方案二：保留通用结构体，改用普通函数实现Reduce #

如果需要MyType[T]保持通用性（可以存储任意类型T，包括切片），可以把Reduce实现为普通函数，而非结构体方法：

type MyType[T any] struct {
    I T
}

// 普通函数接收*MyType[[]T]，明确约束T是切片的元素类型
func Reduce[T any](mt *MyType[[]T], init T, fnReduce func(acc T, elem T) T) *MyType[T] {
    acc := init
    for _, v := range mt.I {
        acc = fnReduce(acc, v)
    }
    return &MyType[T]{I: acc}
}

调用示例：

func main() {
    // 创建存储int切片的MyType实例
    sliceMT := MyType[[]int]{I: []int{1, 2, 3, 4}}
    // 调用Reduce函数求和
    resultMT := Reduce(&sliceMT, 0, func(a, b int) int {
        return a + b
    })
    fmt.Println(resultMT.I) // 输出10
}

内容的提问来源于stack exchange，提问作者Ninja Ikta