確保 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 }#器確實拒絕將這些作為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中文網其他相關文章！