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中文网其他相关文章！