Go 泛型对映射键的'可比较”约束可以放宽吗？

Go 泛型：映射键的类型约束？

在 Go 1.18 及更早版本中，用作映射键的类型需要预先声明的可比较约束。此约束确保类型支持 == 和 != 运算符，并且在使用这些运算符时不会出现恐慌。

但是，此约束并不总是适合可用作映射键的类型。例如，以下代码定义了一个通用链表：

type List[X any] interface {
    isList()
}

type Cons[X any] struct {
    Data X
    Next List[X]
}

func (Cons[X]) isList() {}

type Nil[X any] struct{}

func (Nil[X]) isList() {}

此代码定义了一个 List 接口，该接口由两种类型实现：Cons 和 Nil。 Cons 类型表示非空列表，而 Nil 类型表示空列表。

以下代码使用 List 接口创建列表到字符串的映射：

type List[X any] interface {
    isList()
}

func main() {
    x := Cons[int]{5, Nil[int]{}}
    m := map[List[int]]string{}
    m[x] = "Hi"        // succeeds
    fmt.Println(m[x])  // prints "Hi"
}

这段代码将成功编译并运行。但是，如果我们尝试在 Cons 类型上使用方法，则会收到编译器错误：

type List[X any] interface {
    isList()
}

func main() {
    x := Cons[int]{5, Nil[int]{}}
    fmt.Println(id(x)) // error: Cons[int] does not implement comparable
}

错误消息表明 Cons[int] 类型没有实现可比较约束。这是因为 Cons 类型有一个 List[int] 类型的字段，而 List[int] 接口没有实现可比较的约束。

解决此问题的一个可能的解决方案是使用较弱的类型约束。例如，我们可以使用以下约束：

type List[X any] interface {
    isList()
    Comparable() bool
}

此约束允许我们使用 Cons 类型作为映射键，即使它没有实现类似的约束。

Go 1.20（2023 年 2 月）

可比约束是映射键的正确包罗万象的约束。根据 Go 规范可比较的所有类型，即使比较可能在运行时发生恐慌，也可以满足可比较约束。您的代码将在 1.20 中按预期进行编译。

这最终修复了以前的 Go 版本中关于规范可比较类型与可比较类型的不一致问题。

以上是Go 泛型对映射键的'可比较”约束可以放宽吗？的详细内容。更多信息请关注PHP中文网其他相关文章！