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 编译器确实拒绝将这些作为 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] // 登录后复制
此解决方案最初是由 Robert Griesemer 在此建议 a>.
那么它是如何工作的呢？
Go 1.20 引入了实现接口和满足约束：
第二个要点是允许接口和带有接口的类型实例化 comparable 的例外。
现在在 Go 1.20 中，由于可满足性异常，类型 Foo 本身可以实例化 comparable 。但类型参数 T 不是 Foo。类型参数的兼容性定义不同：
T 的类型集包含一个不严格可比的类型 Foo （因为它有一个接口字段），因此 T 不满足 comparable。即使 Foo 本身也是如此。
如果 Foo 的运算符 == 和 != 在运行时可能会出现恐慌，则此技巧有效地使程序无法编译。
以上就是确保 Go 1.20 中编译时的严格可比性？的详细内容，更多请关注每日运维网(www.mryunwei.com)其它相关文章！
