2022-03-30 15:03

chapter1-why-generics.slide

@@ -34,31 +34,29 @@ https://go.googlesource.com/proposal/+/refs/heads/master/design/43651-type-param
 
 .code codes/atomic.go /OMIT/,/OMIT/
 
+- 大体逻辑都类似，仅参数类型不同
 - 每种类型都得实现一遍
 
 ## Why generic
 
 .code codes/atomic.go /INTR OMIT/,/INTR OMIT/
 
+- 需要写很多”无用“代码
 - 无法在编译期检查出错误
 - 类型转换影响性能
 
 
-## How Generics
+## How Generics (overview)
 
 ## Type parameters
 
-泛型代码中会用到抽象的数据类型，这个类型叫做`type parameters`（类型参数）. 在运行泛型代码的时候，类型形参会被替换为类型实参。
+泛型编程能够以一个抽象的类型的形式表示函数和数据结构，这个抽象的类型叫做`type parameter`（参数化类型）. 在实际运行泛型代码的时候，会以实际类型来替换这个参数化类型。
 
 .code codes/print.go /PRINT OMIT/,/PRINT OMIT/
 
-类型T该如何被定义？
+在Go中，希望每个标识符都能够通过某种方式来进行申明。
 
-
-- 类型参数类似于传统的非类型参数
-- 需要区分类型参数与非类型参数
-
-==>  **需要另外一个可选参数列表来确定类型参数**
+那么，如何来申明类型T？
 
 
 ## Type parameter

codes/atomic.go

@@ -3,22 +3,13 @@ package main
 // OMIT
 package atomic 
 
-func AddInt32(addr *int32, delta int32) int32 {
-	// some codes ...
-	return 0
-}
-func AddInt64(addr *int64, delta int64) int64 {
-	// some codes ...
-	return 0
-}
-func AddUint32(addr *uint32, delta uint32) uint32 {
-	// some codes ...
-	return 0
-}
-func AddUint64(addr *uint64, delta uint64) uint64 {
-	// some codes ...
-	return 0
-}
+func AddInt32(addr *int32, delta int32) (new int32)
+
+func AddUint32(addr *uint32, delta uint32) (new uint32)
+
+func AddInt64(addr *int64, delta int64) (new int64)
+
+func AddUint64(addr *uint64, delta uint64) (new uint64)
 
 // OMIT
 

codes/print.go

@@ -4,7 +4,7 @@ import "fmt"
 
 /**
 // PRINT OMIT
-func Print(s []T) {
+func Print(s []T) { // T is a type parameter
 	for _, v := range s {
 		fmt.Println(v)
 	}
@@ -13,39 +13,39 @@ func Print(s []T) {
 // PRINT OMIT
 **/
 
-
 // GEN OMIT
 func Print[T any](s []T) {
 	for _, v := range s {
 		fmt.Println(v)
 	}
 }
-// GEN OMIT
 
+// GEN OMIT
 
-func main(){
+func main() {
 	// CALL OMIT
-	Print[int]([]int{1,2,3,4})
-	Print[int32]([]int32{1,2,3,4})
+	Print[int]([]int{1, 2, 3, 4})
+	Print[int32]([]int32{1, 2, 3, 4})
 	// CALL OMIT
 }
 
-
 /**
 // CALL MULTI PARAMS OMIT
-Map[string,int](map[string]int{"1":1})
+func Index[K comparable,V any](m map[K]V, k K) V {
+	return m[k]
+}
 
+Index[int,string](map[int]string{1:"hello"}, 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
-}
+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
+}