Go 泛型中的波浪號 (~) 標記如何定義基礎型別？

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

在Go 泛型中，波形符(~) 在定義中起著至關重要的作用給定類型的基礎類型。它以 ~T 的形式運行，表示共享 T 作為其基礎類型的類型的集合。

當您想要指定一個允許派生自某個類型的限制時，此概念特別有用。特定的基礎類型。例如，考慮以下接口約束：

type Ordered interface {
    Integer | Float | ~string
}

在此範例中，約束定義了一個接口，該接口可以接受任何類型：整數、浮點數或基礎類型為字串的類型。這意味著像 MyString 這樣定義自訂字串類型的類型，只要其基礎類型仍然是字串，也可以滿足此約束。

Go 中的底層類型

術語「基礎類型」指的是給定類型之下的基本類​​型。在 Go 中，這是根據類型聲明確定的。對於 int、string 和 bool 等基本型別，它們的基礎型別就是型別本身。但是，對於結構體、切片和介面等複合類型，基礎類型是類型聲明中引用的類型。

波浪線標記的用法範例

以下程式碼示範了波形符號標記的使用：

type Foo struct {
    n int
}

type ByteSlice []byte

type MyInt8 int8

type MyString string

func echoExact[T ExactSigned](t T) T {
    // Only allows exact types, excluding MyInt8
}

func echo[T constraints.Signed](t T) T {
    // Allows types with underlying type int8, including MyInt8
}

在此範例中，ExactSigned僅使用精確類型，不包括MyInt8。另一方面，constraints.Signed 允許使用 MyInt8，因為它包含類似 ~int8 的近似元素。

注意：波浪線標記的限制

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

type AnyApprox[T any] interface {
    ~T
}

以上是Go 泛型中的波浪號 (~) 標記如何定義基礎型別？的詳細內容。更多資訊請關注PHP中文網其他相關文章！