Go 泛型中的波形符 (~) 有什麼用？

理解Go 泛型中的波形符(~)

Go 中波形符(~) 的引入為泛型帶來了新的維度編程。此令牌允許開發人員定義共享公共基礎類型的類型。

什麼是波形符令牌？

在 Go 中，波形符 (~) 表示集合具有基礎類型 T 的所有類型。例如，~T 表示基礎類型為 T 的所有類型。

為什麼它有用嗎？

波形符標記提供了一種靈活的方法來定義可以接受具有特定基礎類型的類型的通用介面。例如，Ordered 介面可以定義為：

type Ordered interface {
  Integer | Float | ~string
}

此介面指定類型必須是 Integer、Float 或其基礎類型為字串的類型。這允許具有基礎字串類型的自訂類型（例如 MyString）滿足此介面。

基礎類型

基礎類型的概念對於理解波形符至關重要令牌。類型 T 的基礎類型通常是 T 本身，除了：

• 對於預先聲明的數字、布林或字串類型，基礎類型是類型本身。
• 對於複合型別（結構體、切片等），底層型別是複合型別在其型別中所引用的型別宣告。

實際範例

使用波形符號標記，可以建立限制來限制可以滿足特定介面的類型。例如，可以將名為 ExactSigned 的約束定義為僅允許恰好為 int、int8、int16、int32 或 int64 的型別。這樣的約束不允許像 MyInt8 這樣的自訂類型。

另一方面，名為constraints.Signed 的限制使用 ~ 近似元素來允許基礎型別為 int8 的型別。這允許像 MyInt8 這樣的自訂類型滿足約束。

語法糖

波形符標記可以在聯合、匿名約束甚至語法糖中使用。值得注意的是，您可以使用單一類型的近似元素來簡化限制的編寫。

例如，以下匿名限制是等效的：

func echoFixedSize[T interface { ~int8 | ~int32 | ~int64 }](t T) { /* ... */ }

func echoFixedSizeSugar[T ~int8 | ~int32 | ~int64](t T) { /* ... */ }

func echoFixedSizeSugarOne[T ~int8](t T) { /* ... */ }

常見用例

近似元素對於處理需要具有方法的複合類型特別有用。例如，要允許為 ByteSeq 類型宣告方法，其基礎型別必須綁定到識別符：

type ByteSeq []byte

func (b ByteSeq) DoSomething() {}

透過在約束中指定 ~[]byte，可以實例化 ByteSeq作為有效類型。

限制

需要注意的是波形符號標記不能與型別參數一起使用。例如，以下程式碼是無效的：

type AnyApprox[T any] interface {
  ~T
}

以上是Go 泛型中的波形符 (~) 有什麼用？的詳細內容。更多資訊請關注PHP中文網其他相關文章！