2023年2月17日 Go生态洞察：所有可比较类型的新变化

2023年2月17日 Go生态洞察：所有可比较类型的新变化 🐾

摘要

👋 大家好，我是猫头虎博主！今天，我们要聊聊Go语言中一个有趣的变化：自Go 1.20版本起，所有可比较类型现在都满足comparable类型约束了。这个变化看似小，但实际上对Go的通用编程模式有重大影响。如果你对Go的类型系统感兴趣，那么不要错过这篇文章哦！搜索词条：Go语言, 类型约束, comparable, 泛型编程。

引言

在Go的世界里，类型系统一直是一个引人入胜的话题。随着Go 1.20的发布，我们迎来了关于comparable类型约束的新变化。这个变化虽然细微，但它在Go的泛型编程中扮演了重要的角色。让我们深入探索这个变化，并理解其背后的语言机制。

正文

🧩 类型参数和约束

Go 1.18引入了泛型，从而增加了类型参数这一新的语言结构。在泛型函数或类型中，类型参数覆盖了一系列的类型，这些类型受其类型约束限制。类型约束定义了作为类型参数允许的类型集合。

🔄 接口的新视角

Go 1.18还改变了我们对接口的看法：接口现在不仅定义了一组方法，而且定义了一组类型。这种新视角与旧的方法集视角完全向后兼容。例如，给定一个io.Writer接口，我们可以想象所有具有相应Write方法的类型集合。所有这些类型都实现了该接口。

🚀 可比较类型

与其他一元和二元操作不同，==操作不仅定义在有限的预声明类型上，而且适用于无限种类型，包括数组、结构体和接口。我们需要通过comparable预声明类型来表达类型参数必须支持==。

var lookupTable map[any]string

然而，在Go 1.20之前，一些可比较类型并未满足comparable，比如：

type genericLookupTable[K comparable, V any] map[K]V
var lookupTable genericLookupTable[any, string] // ERROR: any does not implement comparable (Go 1.18 and Go 1.19)

Go 1.20之后，上述代码将正常编译。

🧐 接口实现与约束满足

Go 1.20中，我们引入了对于接口实现和约束满足的区别。这允许我们为comparable引入特定的例外，以支持非严格可比较类型作为类型参数。

📝 总结和影响

这一改变虽然看似小，但对于Go的类型系统和泛型编程而言，它是一次重要的调整。我们需要理解新规则，并学会如何在日常编程中应用它们。

总结

在本文中，我们探讨了Go 1.20中comparable类型约束的重要变化。这个变化对于Go的泛型编程和类型系统有着深远的影响。感谢大家阅读猫头虎的Go生态

洞察专栏，更多精彩内容，敬请关注我的专栏！

参考资料

1. Robert Griesemer, “All your comparable types”, 17 February 2023.