如何为切片创建泛型接收器函数？遇Undeclared Name: T错误

你写的代码里出现Undeclared Name: T错误，核心原因是泛型类型slice没有声明类型参数T，Go编译器不知道T代表什么类型。另外还有两个小问题：遍历指针接收器时需要解引用，以及你的移除逻辑需要元素类型支持相等比较，得给T加约束。

修正后的代码 #

// 定义泛型切片类型，声明类型参数T，且约束为可比较类型（因为要做!=判断）
type slice[T comparable] []T

// 接收器带上类型参数T，遍历的时候解引用指针s
func (s *slice[T]) remove(element T) []T {
    newSlice := []T{}
    // 遍历*s而不是s，因为s是指向泛型切片的指针
    for _, i := range *s {
        if i != element {
            newSlice = append(newSlice, i)
        }
    }
    return newSlice
}

关键说明 #

1. 泛型类型必须声明类型参数：定义slice时要加上[T comparable]，comparable约束确保T类型可以用==或!=比较，这是你移除逻辑必须的。如果不需要比较，可以用[T any]，但你的代码里用到了i != element，所以必须用comparable。
2. 指针接收器的遍历处理：因为接收器是*slice[T]，所以遍历的时候要访问*s才能拿到底层的切片元素。
3. 如果你不需要修改原切片，其实可以用值接收器，代码更简洁：

type slice[T comparable] []T

func (s slice[T]) remove(element T) []T {
    newSlice := []T{}
    for _, i := range s {
        if i != element {
            newSlice = append(newSlice, i)
        }
    }
    return newSlice
}

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