Go泛型全面讲解：一篇讲清泛型的全部

@

• 序言
• 1. 一切从函数的形参和实参说起
• 2. Go的泛型
• 3. 类型形参、类型实参、类型约束和泛型类型
  • 3.1 其他的泛型类型
  • 3.2 类型形参的互相套用
  • 3.3 几种语法错误
  • 3.4 特殊的泛型类型
  • 3.5 泛型类型的套娃
  • 3.6 类型约束的两种选择
  • 3.7 匿名结构体不支持泛型
• 4. 泛型receiver
  • 4.1 基于泛型的队列
  • 4.2 动态判断变量的类型
• 5. 泛型函数
  • 5.2 既然支持泛型函数，那么泛型方法呢？
• 前半小结
• 6. 变得复杂的接口
  • 6.1 ~ : 指定底层类型
  • 6.2 从方法集(Method set)到类型集(Type set)
    • 6.2.1 接口实现(implement)定义的变化
    • 6.2.2 类型的并集
    • 6.2.3 类型的交集
    • 6.2.4 空集
    • 6.2.5 空接口和 any
    • 6.2.6 comparable(可比较) 和 可排序(ordered)
  • 6.3 接口两种类型
    • 6.3.1 基本接口(Basic interface)
    • 6.3.2 一般接口(General interface)
  • 6.4 泛型接口
  • 6.5 接口定义的种种限制规则
• 7. 总结
• 参考资料

序言

2022年3月15日，争议非常大但同时也备受期待的泛型终于伴随着Go1.18发布了。

可是因为Go对泛型的支持时间跨度太大，有非常多的以“泛型”为关键字的文章都是在介绍Go1.18之前的旧泛型提案或者设计，而很多设计最终在Go1.18中被废弃或发生了更改。并且很多介绍Go1.18泛型的文章(包括官方的)都过于简单，并没对Go的泛型做完整的介绍，也没让大家意识到这次Go引入泛型给语言增加了多少复杂度（当然也可能单纯是我没搜到更好的文章）

出于这些原因，我决定参考 The Go Programming Language Specification ，写一篇比较完整系统介绍Go1.18 泛型的文章。这篇文章可能是目前介绍Go泛型比较全面的文章之一了

标签：string,讲清,int,接口,Go,类型,泛型,type
From： https://www.cnblogs.com/insipid/p/17772581.html