Go 1.18泛型下reflect.Type无法满足comparable约束问题咨询

这个报错是Go 1.18、1.19版本泛型系统的规则限制导致的：

• 你的Set实现使用内置comparable作为类型参数约束，在这两个版本的规则中，comparable仅接收静态可确定为完全可比较、比较操作绝不会触发运行时panic的类型作为实参。
• reflect.Type本质是接口类型，虽然语法层面完全可以作为map键使用，但接口的动态值可能是slice、map、func这类不可比较类型，比较这类接口值会触发运行时panic，因此Go 1.18/1.19会判定接口类型不满足comparable约束。

方案1：升级Go版本到1.20及以上（推荐） #

Go 1.20官方调整了comparable约束的校验规则，正式允许接口类型作为满足comparable约束的类型实参。
调整后的规则和原生map的键校验逻辑完全对齐：

• 实例化泛型类型时，编译器不再静态拦截接口类型作为实参
• 仅当实际往map中写入动态类型不可比较的值时，才会触发运行时panic

升级后你现有的Set[T comparable]代码不需要做任何改动，就可以直接声明Set[reflect.Type]实例，编译器不会再抛出类型不匹配错误。这个方案对reflect.Type场景完全安全：reflect包内部所有实现reflect.Type接口的类型都是指针类型，永远可比较，不会出现运行时比较panic。

方案2：Go 1.18/1.19环境下自定义兼容接口的可比较约束 #

如果暂时无法升级Go版本，可以自定义一个类型约束替代内置comparable，利用约束并集规则绕开静态校验：

type Comparable interface {
	comparable
	any
}

将原Set定义中的comparable替换为这个自定义Comparable约束即可：

type Set[T Comparable] struct {
    values map[T]bool
}

这个修改不会改变Set的底层存储结构，实际运行时行为和原生map完全一致，存储reflect.Type时不会有运行时风险。

注意：以上两种方案中，如果用Set[any]这类宽泛接口类型实例化Set后，往集合中存入slice、map、func类型的值，会和原生map使用这类值作为键一样触发运行时panic，仅在存储reflect.Type这类所有动态实现都可比较的接口类型时是完全安全的。

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