Go Academy · 课时

约束：comparable 与接口

Q: 「约束：comparable 与接口」这节课中我会学到什么？

联合约束与内置 comparable 类型 你通过在浏览器中直接运行的动手代码来练习 Go Academy，全天候 AI 导师会在你学习这节课的过程中回答你的问题。

联合约束与内置 comparable 类型

约束：comparable 与接口 是 CoddyKit 上的免费 Go Academy 课时。这是第 2 节课，共 4 节。你可以在下方免费阅读本课时的完整内容 — 然后在浏览器中使用内置代码编辑器和全天候 AI 导师进行实践。这是 Go Academy 学习路径的一部分，你的进度在网页和 CoddyKit 应用中同步。 Go Academy 课程共包含 4 节课。

什么是约束

约束会限制可用作类型实参的类型。没有约束时，类型参数就是 any（空接口——仅支持赋值以及通过 == 进行比较）。

any 约束

any（interface{} 的别名）是范围最宽的约束——所有类型都满足它。您只能使用所有类型都支持的操作：赋值，以及将值传递给接口参数。

func Print[T any](v T) { fmt.Println(v) }

comparable 约束

comparable 会将类型参数限制为支持 == 和 != 的类型。将该类型用作映射键或进行相等性检查时需要此约束。

func Contains[T comparable](s []T, v T) bool {
    for _, item := range s {
        if item == v { return true }
    }
    return false
}

接口约束

使用接口作为约束，可以要求类型具有特定方法。类型参数必须拥有该接口的所有方法。

type Stringer interface { String() string }

func Print[T Stringer](v T) {
    fmt.Println(v.String())
}

联合约束

使用 | 连接类型的联合，将类型限制为一组具体类型。这样便可以使用不属于任何接口的运算符（例如 +）。

type Number interface {
    int | int64 | float64
}

func Sum[T Number](s []T) T {
    var total T
    for _, v := range s { total += v }
    return total
}

~T 作为底层类型

使用 ~T 不仅可以包含 T，还可以包含所有以 T 为底层类型的类型（例如使用 type MyInt int 定义的自定义类型）。

type Integer interface { ~int | ~int64 }

type MyInt int
// MyInt satisfies Integer because its underlying type is int

golang.org/x/exp/constraints

constraints 包提供了常用的约束接口：Ordered（支持 <）、Integer、Float、Signed、Unsigned。

import "golang.org/x/exp/constraints"

func Min[T constraints.Ordered](a, b T) T {
    if a < b { return a }
    return b
}

cmp 包（Go 1.21）

Go 1.21 在标准库中新增了 cmp.Ordered 约束以及 cmp.Compare/cmp.Less 函数，取代了 exp/constraints 依赖项。

import "cmp"
func Min[T cmp.Ordered](a, b T) T { return min(a, b) }

组合约束

在约束中嵌入多个接口，以要求类型具备多个属性：

type Printable interface {
    comparable
    fmt.Stringer
}

约束推断

编译器会根据参数推断类型参数。如果约束过于宽泛（any），可能需要显式指定类型参数来引导推断。

何时使用 comparable

当泛型函数需要对值使用 ==、将值存储为映射的键，或将值用作映射/集合元素时，请使用 comparable。并非所有类型都支持比较（切片、映射和函数不支持）。

快速检查

在像 ~int 这样的联合约束中，~ 前缀表示什么？

回顾：约束

要点：

any：范围最广；comparable：支持 ==；interface：要求实现相应方法
联合约束（int|float64）支持使用算术运算符
~T 包含以 T 为底层类型的命名类型
使用 cmp.Ordered（Go 1.21+）约束 <、>、<=、>=

常见问题解答

「约束：comparable 与接口」课时是免费的吗？

是的 — 「约束：comparable 与接口」的完整文本可在网页上免费阅读。要进行交互式练习（内置代码编辑器和全天候 AI 导师）并解锁 Go Academy 课程的其余内容，请升级到 CoddyKit PRO。 Go Academy 课程共包含 4 节课。

「约束：comparable 与接口」这节课中我会学到什么？

联合约束与内置 comparable 类型你通过在浏览器中直接运行的动手代码来练习 Go Academy，全天候 AI 导师会在你学习这节课的过程中回答你的问题。

学习 Go Academy 需要有经验吗？

无需任何先前经验。CoddyKit 上的 Go Academy 课程适合初学者到高级学习者，你可以从这里开始或从头开始，按照自己的节奏学习。这是第 2 节课，共 4 节。

「约束：comparable 与接口」课时需要多长时间？

大多数 CoddyKit 课程大约需要 5–10 分钟。每节课都很精短且互动，所以你能稳步进步，并在网页和应用中从离开的地方继续。

我能在这节 Go Academy 课中编写并运行代码吗？

能。每节 Go Academy 课都包含内置代码编辑器，你可以在浏览器中直接编写并运行真实代码，并获得即时 AI 反馈 — 无需本地设置。

此课程中的所有课时

← 返回 Go Academy