如何深入理解Go语言泛型及其实现机制？

本文共计3269个文字，预计阅读时间需要14分钟。

原文：A gentle introduction to generics in Go by Dominik Braun & 万俊峰：我看了一下觉得文章非常简单易懂，就请求作者同意翻译出来给大众分享一下。原文是对泛型的基本思想和其在Go中的实现的介绍。

原文：A gentle introduction to generics in Go by Dominik Braun

万俊峰Kevin：我看了觉得文章非常简单易懂，就征求了作者同意，翻译出来给大家分享一下。

本文是对泛型的基本思想及其在 Go 中的实现的一个比较容易理解的介绍，同时也是对围绕泛型的各种性能讨论的简单总结。首先，我们来看看泛型所解决的核心问题。

问题

假设我们想实现一个简单的 tree 数据结构。每个节点持有一个值。在 Go 1.18 之前，实现这种结构的典型方法如下。

type Node struct { value interface{} }

这在大多数情况下都很好用，但它也有一些缺点。

首先，interface{} 可以是任何东西。如果我们想限制 value 可能持有的类型，例如整数和浮点数，我们只能在运行时检查这个限制。