Go 1.18 中的泛型 欧长坤 changkun.de/s/generics118 2022/03/30 1 语法和使用 2 什么时候需要泛型？ 3 当使用接口作为函数的形参类型时，函数调用方传递的实际参数可以是完全不同的 类型： type T interface { Add(T) T } func Sum(elems ...T) (sum T) { // T 可以是任何实现 (sum S) { // S 的底层类型必须底层类型为 int 约束的类型 for i := range elems { sum += elems[i] } return } 使用泛型的根本目的是： 类型安全的参数传递，以及对实现的类型进行抽象 具有类型参数 (Type Parameter) 的签名 4 func F[T C](v T) (T, error) 普通参数列表 interface contains type constraints func bar(T Ib[int]) {} // OK 为什么第二个 bar 不会报错？ 13 抽象能力 泛型没有任何运行时的机制，所以关于泛型的组件只发生在编译时期 对于下面的接口而言，无法作为普通参数使用： func Foo[T any]() {} x := Foo // ERROR: cannot use

- Go特色的并发同步方式 第22章：方法 第23章：接口 - 通过包裹不同具体类型的非接口值来实现反射和多态 第24章：类型内嵌 - 不同于继承的类型扩展方式 第25章：非类型安全指针 第26章：泛型 - 如何使用和解读组合类型 第27章：反射 - reflect标准库包中提供的反射支持 一些专题 第28章：代码断行规则 第29章：更多关于延迟函数调用的知识点 第30章：一些恐慌/恢复用例 汇总了许多知识点和细节，从而可以帮助Go程序员节省很多学习时间。 有什么其它值得一提吗？ 本书不涵盖自定义泛型相关内容。 请阅读《Go自定义泛型101》 一书来了解 使用自定义泛型。 另外，在阐述值类型转换、值赋值和值比较规则时，自定义泛型中频繁使用的 类型参数类型被特意忽略掉了。 也就是说，本书不考虑自定义泛型中的情形。 本书由老貘 历时三年写成。目前本书仍在不断改进和增容中。你的赞赏是本 书和Go101 org网站不断增容和维护的动力。 （请搜索关注微信公众号“Go 101”或者访问github.com/golang101/golang101 获 取本书最新版） Go语言简介 Go是一门编译型的和静态的编程语言。 Go诞生于谷歌研究院。 Go的核心设计 成员中包括很多有着数十年编程语言研究领域经验的研究者。 Go有很多特性，有一些是独特的，有一些借鉴于一些其它编程语言： 内置并发编程支持：

Go特色的并发同步方式 第22章：方法 第23章：接口 - 通过包裹不同具体类型的非接口值来实现反射和多态 第24章：类型内嵌 - 不同于继承的类型扩展方式 第25章：非类型安全指针 第26章：泛型 - 如何使用和解读组合类型 第27章：反射 - reflect标准库包中提供的反射支持 一些专题 第28章：代码断行规则 第29章：更多关于延迟函数调用的知识点 第30章：一些恐慌/恢复用例 习时间。 有什么其它值得一提吗？ 本书不涵盖自定义泛型相关内容。 请阅读《Go自定义泛型101》 （https://gfw.go101.org/generics/101.html）一书来了解使用自定义泛型。 另外，在阐述值类型转换、值赋值和值比较规则时，自定义泛型中频繁使用的类型 参数类型被特意忽略掉了。 也就是说，本书不考虑自定义泛型中的情形。 本书由老貘历时三年写成。目前本书仍在不断改进和增容中。你的赞赏是本书和 （请搜索关注微信公众号“Go 101”或者访问github.com/golang101/golang101获 取本书最新版） 第2章：Go语言简介 8 Go语言简介 Go是一门编译型的和静态的编程语言。 Go诞生于谷歌研究院。 Go的核心设计成员 中包括很多有着数十年编程语言研究领域经验的研究者。 Go有很多特性，有一些是独特的，有一些借鉴于一些其它编程语言： 内置并发编程支持：

Go特色的并发同步方式 第22章：方法 第23章：接口 - 通过包裹不同具体类型的非接口值来实现反射和多态 第24章：类型内嵌 - 不同于继承的类型扩展方式 第25章：非类型安全指针 第26章：泛型 - 如何使用和解读组合类型 第27章：反射 - reflect标准库包中提供的反射支持 一些专题 第28章：代码断行规则 第29章：更多关于延迟函数调用的知识点 第30章：一些恐慌/恢复用例 汇总了许多知识点和细节，从而可以帮助Go程序员节省很多学习时间。 有什么其它值得一提吗？ 本书不涵盖自定义泛型相关内容。 请阅读《Go自定义泛型101》 ? 一书来了 解使用自定义泛型。 另外，在阐述值类型转换、值赋值和值比较规则时，自定义泛型中频繁使用的 类型参数类型被特意忽略掉了。 也就是说，本书不考虑自定义泛型中的情 形。 本书由老貘 ? 历时三年写成。目前本书仍在不断改进和增容中。你的赞赏是 本书和Go101 org网站不断增容和维护的动力。 赞赏 （请搜索关注微信公众号“Go 101”或者访问github.com/golang101/golang101 ? 获取本书最新版） Go语言简介 Go是一门编译型的和静态的编程语言。 Go诞生于谷歌研究院。 Go的核心设计 成员中包括很多有着数十年编程语言研究领域经验的研究者。 Go有很多特性，有一些是独特的，有一些借鉴于一些其它编程语言： 内置并发编程支持：

Generics? A (P)review 主要内容 ● 泛型的起源 ● 泛型的早期设计 ● Go 2 的「合约」 ● 上手时间 ● 历史性评述 ● 展望 泛型的起源 Origin of Generics 2020 © Changkun Ou · Go 夜读 · Go 2 Generics? A (P)review 当我们谈论泛型时，我们在谈论什么？ 4 多态是同一形式表现出不同行为的一种特性。在 多态是同一形式表现出不同行为的一种特性。在 编程语言理论中被分为两类： 临时性多态（Ad hoc Polymorphism）根据实参类型调用对应的版本，仅支持数量有限的 调用。也被翻译为特设多态。例如：函数重载 func Add(a, b int) int { return a+b } func Add(a, b float64) float64 { return a+b } // 注意: Go 语言中不允许同名函数 调用第二个 Add("1", "2") // 编译时不检查，运行时找不到实现，崩溃 参数化多态（Parametric Polymorphism）根据实参类型生成不同的版本 ，支持任意数量的 调用。即泛型 func Add(a, b T) T{ return a+b } Add(1, 2) // 编译器生成 T = int 的 Add Add(float64(1.0),

状态投入到这个项目的编译器和运行实现 上。Ian Lance Taylor 也加入到了开发团队中，并于 2008 年 5 月创建了一个 gcc 前端。 Russ Cox 加入开发团队后着手语言和类库方面的开发，也就是 Go 语言的标准包。在 2009 年 10 月 30 日， Rob Pike 以 Google Techtalk 的形式第一次向人们宣告了 Go 语言的存在。 直到 2009 Erlang 类似的机制。 这是一门完全开源的编程语言，因为它使用 BSD 授权许可，所以任何人都可以进行商业软件的开发而不需要支付任 何费用。 尽管为了能够让目前主流的开发者们能够对 Go 语言中的类 C 语言的语法感到非常亲切而易于转型，但是它在极大 程度上简化了这些语法，使得它们比 C/C++ 的语法更加简洁和干净。同时，Go 语言也拥有一些动态语言的特性， 这使得使用 Python 和 Ruby 号表来协助解析。 Go 语言从本质上（程序和结构方面）来实现并发编程。 因为 Go 语言没有类和继承的概念，所以它和 Java 或 C++ 看起来并不相同。但是它通过接口（interface）的 概念来实现多态性。Go 语言有一个清晰易懂的轻量级类型系统，在类型之间也没有层级之说。因此可以说这是一门混 合型的语言。 在传统的面向对象语言中，使用面向对象编程技术显得非常臃肿，它们总是通过复杂的模式来构建庞大的类型层级，

状态投入到这个项目的编译器 和运行实现上。Ian Lance Taylor 也加入到了开发团队中，并于 2008 年 5 月创建了一个 gcc 前端。 Russ Cox 加入开发团队后着手语言和类库方面的开发，也就是 Go 语言的标准包。在 2009 年 10 月 30 日，Rob Pike 以 Google Techtalk 的形式第一次向人们宣告了 Go 语言的存在。 直到 2009 年 Erlang 类似的机制。 这是一门完全开源的编程语言，因为它使用 BSD 授权许可，所以任何人都可以进行商业软件的开发而不需 要支付任何费用。 尽管为了能够让目前主流的开发者们能够对 Go 语言中的类 C 语言的语法感到非常亲切而易于转型，但是 它在极大程度上简化了这些语法，使得它们比 C/C++ 的语法更加简洁和干净。同时，Go 语言也拥有一些 动态语言的特性，这使得使用 Python 和 Ruby 语言从本质上（程序和结构方面）来实现并发编程。 Go入门指南 - 9 - 本文档使用 看云 构建 因为 Go 语言没有类和继承的概念，所以它和 Java 或 C++ 看起来并不相同。但是它通过接口 （interface）的概念来实现多态性。Go 语言有一个清晰易懂的轻量级类型系统，在类型之间也没有层级 之说。因此可以说这是一门混合型的语言。 在传统的面向对象语言中，使用面向对象编程技术显得非常的臃肿，它们总是通过复杂的模式来构建庞大

Go是静态类型的语言，它的类型系统没有层级。因此用户不需要在定义类型之间的关系上花费时间，这样感 觉起来比典型的面向对象语言更轻量级。 Go完全是垃圾回收型的语言，并为并发执行与通信提供了基本的支持。 按照其设计，Go打算为多核机器上系统软件的构造提供一种方法。 Go是一种编译型语言，它结合了解释型语言的游刃有余，动态类型语言的开发效率，以及静态类型的安全性。它也打 算成为现代的，支持网络与多核计算的语言。要满足这些目标， 安装 Go的三种安装方式 Go的三种安装方式 Go有多种安装方式，你可以选择自己喜欢的。这里我们介绍三种最常见的安装方式： Go源码安装：这是一种标准的软件安装方式。对于经常使用Unix类系统的用户，尤其对于开发者来说，从源 码安装是最方便而熟悉的。 Go标准包安装：Go提供了方便的安装包，支持Windows、Linux、Mac等系统。这种方式适合初学者，可根据自 己的系统位数下载好相 在Go的源代码中，有些部分是用Plan 9 C和AT&T汇编写的，因此假如你要想从源码安装，就必须安装C的编译工具。 在Mac系统中，只要你安装了Xcode，就已经包含了相应的编译工具。 在类Unix系统中，需要安装gcc等工具。例如Ubuntu系统可通过在终端中执行sudo apt-get install gcc libc6-dev来安装编译工具。 在Windows系统中，你需要安

3.1 資料結構分類 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52 3.2 基本資料型別 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54 3.3 數字編碼 * . . . . 讀者物件 若你是演算法初學者，從未接觸過演算法，或者已經有一些刷題經驗，對資料結構與演算法有模糊的認識， 在會與不會之間反覆橫跳，那麼本書正是為你量身定製的！ 如果你已經積累一定的刷題量，熟悉大部分題型，那麼本書可助你回顧與梳理演算法知識體系，倉庫源程式 碼可以當作“刷題工具庫”或“演算法字典”來使用。 若你是演算法“大神”，我們期待收到你的寶貴建議，或者一起參與創作。 前置條件 你需要至少 本書的主要內容如圖 0‑1 所示。 ‧ 複雜度分析：資料結構和演算法的評價維度與方法。時間複雜度和空間複雜度的推算方法、常見型別、 示例等。 ‧ 資料結構：基本資料型別和資料結構的分類方法。陣列、鏈結串列、堆疊、佇列、雜湊表、樹、堆積、 圖等資料結構的定義、優缺點、常用操作、常見型別、典型應用、實現方法等。 ‧ 演算法：搜尋、排序、分治、回溯、動態規劃、貪婪等演算法的定義、優缺點、效率、應用場景、解題

避免了过度设计，⽐比如OO⾥里⾯面基于继承的⽅方式 接⼝口 • 如何⾼高效实现⽅方法派发⽅方法？ 泛型 • func Sort(data []T, less func(x, y *T) bool) • func Sort(data []interface{}, less func(x, y interface{}) bool) 泛型 • C说：我不管。(使⽤用者累) • C++把同⼀一个函数(的不同类型)实现了很多遍。(编译器累) 研究问题：最适合Go的垃圾回收算法是什么？ ⼤大纲 • 并发 • 接⼝口 • 垃圾回收 • 调度 • 死锁检测 调度 ⾏行为难预测 • ⽤用户代码具有不确定性 • 计算型的，IO型的，或者混合的 • 忙、闲、或者突发 • 没有提⽰示！ 硬件很复杂 • 每核缓存 • 核间共享缓存 • cores shared between hyper threads (HT)