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] // <---- doesn't compile
}
登錄后復制
此解決方案最初是由 Robert Griesemer 在此建議 a>.
那么它是如何工作的呢？
Go 1.20 引入了實現接口和滿足約束：
第二個要點是允許接口和帶有接口的類型實例化 comparable 的例外。
現在在 Go 1.20 中，由于可滿足性異常，類型 Foo 本身可以實例化 comparable 。但類型參數 T 不是 Foo。類型參數的兼容性定義不同：
T 的類型集包含一個不嚴格可比的類型 Foo （因為它有一個接口字段），因此 T 不滿足 comparable。即使 Foo 本身也是如此。
如果 Foo 的運算符 == 和 != 在運行時可能會出現恐慌，則此技巧有效地使程序無法編譯。
