提高 Go 1.20 中编译时的严格一致性

哈喽！大家好，很高兴又见面了，我是golang学习网的一名作者，今天由我给大家带来一篇《提高 Go 1.20 中编译时的严格一致性》，本文主要会讲到等等知识点，希望大家一起学习进步，也欢迎大家关注、点赞、收藏、转发! 下面就一起来看看吧！

在 Go 1.18 和 Go 1.19 中，我可以在编译时确保类型严格可比，即它支持 == 和 != 运算符，并且保证这些运算符 运行时不要惊慌。

这很有用，例如可以避免无意中向结构添加字段，从而导致不必要的恐慌。

我只是尝试用它实例化 comparable ：

// supports == and != but comparison could panic at run time
type Foo struct {
    SomeField any
}

func ensureComparable[T comparable]() {
    // no-op
}

var _ = ensureComparable[Foo] // doesn't compile because Foo comparison may panic

由于 comparable 约束的定义，这在 Go 1.18 和 1.19 中是可能的：

The predeclared interface type comparable denotes the set of all non-interface types that are comparable

尽管 Go 1.18 和 1.19 规范没有提及不是接口但也不能严格比较的类型，例如[2]fmt.Stringer 或 struct { foo any }，gc 编译器确实拒绝将这些作为 comparable 的参数。

有几个示例的游乐场：https://go.dev/play/p/_Ggfdnn6OzZ

在 Go 1.20 中，实例化 comparable 将与更广泛的可比性概念保持一致。这使得 ensureComparable[Foo] 编译即使我不希望它。

有没有办法静态确保与 Go 1.20 的严格可比性？

正确答案

要测试 Foo 在 Go 1.20 中是否严格可比，请使用受 Foo 约束的类型参数实例化 ensureComparable。

// unchanged
type Foo struct {
    SomeField any
}

// unchanged
func ensureComparable[T comparable]() {}

// T constrained by Foo, instantiate ensureComparable with T
func ensureStrictlyComparable[T Foo]() {
    _ = ensureComparable[T] // <---- doesn't compile
}

_{此解决方案最初是由 Robert Griesemer 在此建议 a>.}

那么它是如何工作的呢？

Go 1.20 引入了实现接口和满足约束：

第二个要点是允许接口和带有接口的类型实例化 comparable 的例外。

现在在 Go 1.20 中，由于可满足性异常，类型 Foo 本身可以实例化 comparable 。但类型参数 T 不是 Foo。类型参数的兼容性定义不同：

T 的类型集包含一个不严格可比的类型 Foo （因为它有一个接口字段），因此 T 不满足 comparable。即使 Foo 本身也是如此。

如果 Foo 的运算符 == 和 != 在运行时可能会出现恐慌，则此技巧有效地使程序无法编译。

今天关于《提高 Go 1.20 中编译时的严格一致性》的内容介绍就到此结束，如果有什么疑问或者建议，可以在golang学习网公众号下多多回复交流；文中若有不正之处，也希望回复留言以告知！