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 }#器確實拒絕將這些作為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 中編譯時的嚴格可比性？的詳細內容。更多資訊請關注PHP中文網其他相關文章！
