2022-03-29 22:56

chapter1-why-generics.slide

@@ -1,15 +1,31 @@
 # Go 泛型介绍
 
 清和
-2022-03-31
-qinghe.chen@tuya.com
+2022-03-29
+chenqh721@foxmail.com
+https://github.com/chenqinghe
+
+
+## About the share
+
+原文地址： [Type Parameters Proposal](https://go.googlesource.com/proposal/+/refs/heads/master/design/43651-type-parameters.md)
+
+https://go.googlesource.com/proposal/+/refs/heads/master/design/43651-type-parameters.md
+
+- 当前版本的Go(1.18)并没有完全实现提案内容，可能有些许出入，会在后续版本中实现
+
+本分享适用人群：
+- 英文阅读有障碍的人群
+- 喜欢看视频学习知识的人
+- 晚上睡不着想找点白噪音的人
+
 
 
 ## Agenda
 - Why generic
 - Type parameter
 - Constraint
-- Some cases
+- More about type sets
 
 
 ## Why generic
@@ -69,6 +85,7 @@ qinghe.chen@tuya.com
 - 需指定类型参数，类型参数写在中括号内
 - 有多个类型参数时，使用逗号分隔
 
+.code codes/print.go /CALL MULTI PARAMS OMIT/,/CALL MULTI PARAMS OMIT/
 
 ## Constraint
 
@@ -112,7 +129,7 @@ Constraints必须能够同时限制调用方传入的类型参数以及泛型函
 
 ## Constraint
 
-首先看一个特殊的constraint：**any**，表示类型参数允许是任何类型。any约束下各类型（T）允许的操作有：
+在继续深入讨论约束之前，首先看一个特殊的constraint：**any**，表示类型参数允许是任何类型。any约束下各类型（T）允许的操作有：
 
 - 申明对应类型的变量
 - 给此类型变量重新赋一个相同类型的值

codes/print.go

@@ -26,12 +26,26 @@ func Print[T any](s []T) {
 func main(){
 	// CALL OMIT
 	Print[int]([]int{1,2,3,4})
-	Print[int32](int32{1,2,3,4})
+	Print[int32]([]int32{1,2,3,4})
 	// CALL OMIT
-	// CALL TYPE OMIT
-	Print([]int{1,2,3})
-	// CALL TYPE OMIT
-	// COMPLETE CALL OMIT
-	Print[int]([]int{1,2,3})
-	// COMPLETE CALL OMIT
+}
+
+
+/**
+// CALL MULTI PARAMS OMIT
+Map[string,int](map[string]int{"1":1})
+
+// CALL MULTI PARAMS OMIT
+
+
+*/
+
+
+func dummy(){
+		// CALL TYPE OMIT
+		Print([]int{1,2,3})
+		// CALL TYPE OMIT
+		// COMPLETE CALL OMIT
+		Print[int]([]int{1,2,3})
+		// COMPLETE CALL OMIT
 }