确保 Go 1.20 中编译时的严格可比性？

php小编百草为您介绍Go语言1.20版本中的重要功能——编译时的严格可比性。在Go语言1.20版本中，引入了新的编译器标志，可以确保编译时生成的二进制文件在不同编译环境下的可比性。这意味着，不同编译环境下生成的二进制文件将具有相同的行为和结果，从而减少了由于编译环境不同而引起的潜在问题。这一功能的引入将进一步提高Go语言的可靠性和稳定性，为开发者提供更好的开发体验。

问题内容

在 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 编译器确实拒绝将这些作为 [2]fmt.Stringer 或 struct { foo any }，gc 编译器确实拒绝将这些作为 comparable 的参数。

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

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

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

解决方法

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

实例化 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
}

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

那么它是如何工作的呢？

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

：

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

的例外。

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

：

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

。即使 Foo 本身也是如此。

Foo 的运算符 == 和 !=如果 Foo 的运算符

在运行时可能会出现恐慌，则此技巧有效地使程序无法编译。🎜

以上是确保 Go 1.20 中编译时的严格可比性？的详细内容。更多信息请关注PHP中文网其他相关文章！