区分 比较 和 任何 的不同

偷偷努力，悄无声息地变强，然后惊艳所有人！哈哈，小伙伴们又来学习啦~今天我将给大家介绍《区分 比较 和 任何 的不同》，这篇文章主要会讲到等等知识点，不知道大家对其都有多少了解，下面我们就一起来看一吧！当然，非常希望大家能多多评论，给出合理的建议，我们一起学习，一起进步！

我尝试在 Go 中使用泛型，但我不太明白何时使用 any 或 comparable 作为类型参数。有人可以帮助理解这些吗？

正确答案

这取决于您想要使用参数类型的值的内容/方式。约束限制了您可以使用这些类型的值执行的操作。

any 是 interface{} 的别名，允许任何类型。如果参数可以是任何类型，那么基本上不允许您对它执行任何操作，因为您无法保证它将是什么。

comparable 约束仅允许可比较的类型，即允许对它们的值使用 == 和 != 运算符。如果您想使用类型作为映射中的键（映射要求键类型具有可比性），或者您想在切片中查找元素，并且想要使用 == 运算符，那么这非常有用将元素与某物进行比较。

作为示例，让我们编写一个通用的地图获取函数：

func get[k comparable, v any](m map[k]v, key k) v {
    return m[key]
}

k 键类型必须是 comparable，否则不能用作某些映射的键类型（示例中为 m[k]v）。另一方面，v 不应该受到约束，值类型可以是任何类型，并且我们不会对其执行任何操作（只是返回 v 类型的值），因此这里使用 any 是最佳选择。

另一个例子，切片查找函数：

func find[V comparable](what V, s []V) int {
    for i, v := range s {
        if v == what {
            return i
        }
    }
    return -1
}

find() 返回 what 在切片 s 中第一次出现的索引，如果不在切片中，则返回 -1。这里的类型参数v必须是comparable，否则不能写v == what，使用v任何都会出现编译时错误。约束 comparable 确保此 find() 函数只能使用定义并允许 == 运算符的类型实例化（并使用值调用）。

comparable 和 any 之间的差异将随go 1.20（2023 年第一季度）并（接受）提案“56548: spec: allow basic interface types to instantiate comparable type parameters”。

any 将实现类似的约束（go 1.20 之前没有）。

Go 1.20-rc1 状态：

原理是：

“满足”是：

示例：

（“spec-comparable”适用于 comparable operands 的类型）
（与“严格可比较”相反，它针对 comparable 中的类型，即定义 == 和 != 的（非接口）类型集，并且保证这些操作不会出现恐慌）

实施已开始：

• CL 453979：“cmd/compile：默认启用新的可比较语义”
• CL 453978：“go/types、types2：将新的可比较语义设置为默认值”

理论要掌握，实操不能落！以上关于《区分 比较 和 任何 的不同》的详细介绍，大家都掌握了吧！如果想要继续提升自己的能力，那么就来关注golang学习网公众号吧！