feat: add example of Go generics

Update go-version to 1.18 in the builder and module

Author: taiojia

.github/workflows/ci.yaml

@@ -10,10 +10,10 @@ jobs:
     runs-on: ubuntu-latest
     steps:
 
-      - name: Set up Go 1.17
+      - name: Set up Go 1.18
         uses: actions/setup-go@v1
         with:
-          go-version: 1.17
+          go-version: 1.18
 
       - name: Check out code into the Go module directory
         uses: actions/checkout@v2

PROGRESS.md

@@ -1,6 +1,6 @@
 # 期待您的参与
 
-例子已完成与[源项目](https://github.com/mmcgrana/gobyexample) master 分支（截止 2021 年 12 月 17 日）的同步，均为 77 个例子。
+例子已完成与[源项目](https://github.com/mmcgrana/gobyexample) master 分支（截止 2022 年 3 月 19 日）的同步，均为 78 个例子。
 
 后续如果你发现有更新不及时的情况，或者你觉得目前的翻译内容有任何问题，我们都 `非常欢迎` 各位同学提交 pull request。
 
@@ -27,6 +27,7 @@
 - [x] Methods->方法
 - [x] Interfaces->接口
 - [x] Embedding
+- [x] Generics->范型
 - [x] Errors->错误处理
 - [x] Goroutines->协程
 - [x] Channels->通道

README.md

@@ -88,7 +88,7 @@ Go Gopher 的版权归 [Renée French](http://reneefrench.blogspot.com/) 所有
 1. `tools/serve` 本地预览效果；
 1. 通过自测后即可提交 pull request :)
 
-项目现由 [gobyexample-cn](https://github.com/gobyexample-cn) 维护，例子已完全与英文版同步（截止 2021-12-17），均为 77 个，可以在这里查看 [同步进度](PROGRESS.md)。
+项目现由 [gobyexample-cn](https://github.com/gobyexample-cn) 维护，例子已完全与英文版同步（截止 2022-3-19），均为 78 个，可以在这里查看 [同步进度](PROGRESS.md)。
 
 后续可能会出现与英文版同步不及时的情况，`非常欢迎` 各位同学 fork 并提交 pull request。
 

examples.txt

@@ -19,6 +19,7 @@ Structs->结构体
 Methods->方法
 Interfaces->接口
 Embedding
+Generics->范型
 Errors->错误处理
 Goroutines->协程
 Channels->通道

examples/generics/generics.go

@@ -0,0 +1,68 @@
+// 从1.18版本开始，Go添加了对范型的支持，也即类型参数。
+
+package main
+
+import "fmt"
+
+// 作为泛型函数的示例，`MapKeys` 接受任意类型的Map并返回其Key的切片。
+// 这个函数有2个类型参数 - `K` 和 `V`；
+// `K` 是 `comparable` 类型，也就是说我们可以通过 `==` 和 `!=`
+// 操作符对这个类型的值进行比较。这是Go中Map的Key所必须的。
+// `V` 是 `any` 类型，意味着它不受任何限制 (`any` 是 `interface{}` 的别名类型).
+func MapKeys[K comparable, V any](m map[K]V) []K {
+	r := make([]K, 0, len(m))
+	for k := range m {
+		r = append(r, k)
+	}
+	return r
+}
+
+// 作为泛型类型的示例， `List` 是一个
+// 具有任意类型值的单链表。
+type List[T any] struct {
+	head, tail *element[T]
+}
+
+type element[T any] struct {
+	next *element[T]
+	val  T
+}
+
+// 我们可以像在常规类型上一样定义泛型类型的方法
+// 但我们必须保留类型参数。
+// 这个类型是 `List[T]`，而不是 `List`
+func (lst *List[T]) Push(v T) {
+	if lst.tail == nil {
+		lst.head = &element[T]{val: v}
+		lst.tail = lst.head
+	} else {
+		lst.tail.next = &element[T]{val: v}
+		lst.tail = lst.tail.next
+	}
+}
+
+func (lst *List[T]) GetAll() []T {
+	var elems []T
+	for e := lst.head; e != nil; e = e.next {
+		elems = append(elems, e.val)
+	}
+	return elems
+}
+
+func main() {
+	var m = map[int]string{1: "2", 2: "4", 4: "8"}
+
+	// 当调用范型函数的时候, 我们经常可以使用类型推断。
+	// 注意，当调用 `MapKeys` 的时候，
+	// 我们不需要为 `K` 和 `V` 指定类型 - 编译器会进行自动推断
+	fmt.Println("keys m:", MapKeys(m))
+
+	// ... 虽然我们也可以明确指定这些类型。
+	_ = MapKeys[int, string](m)
+
+	lst := List[int]{}
+	lst.Push(10)
+	lst.Push(13)
+	lst.Push(23)
+	fmt.Println("list:", lst.GetAll())
+}

examples/generics/generics.hash

@@ -0,0 +1,2 @@
+6219a4dadc2685ab1b61dc8e95799fd683ccb761
+YulcAofh266

examples/generics/generics.sh

@@ -0,0 +1,2 @@
+keys: [4 1 2]
+list: [10 13 23]

go.mod

@@ -1,6 +1,6 @@
 module gobyexample
 
-go 1.17
+go 1.18
 
 require (
 	github.com/alecthomas/chroma v0.8.2