2022-03-28

chapter3-others-about-generics.slide

@@ -15,7 +15,58 @@ Qinghe
 
 要注意：
 
-`'~'`符号是必要的，因为int类型本身没有实现`String() string`方法
+`'~'`符号是必要的，因为int类型本身没有实现`String() string`方法，否则语法检查能通过，但是满足条件的类型集合为空。
 
 ## Composite types in constraints
 
+复合类型包括以下几种：
+
+- string
+- pointer
+- array 
+- slice 
+- struct 
+- function 
+- map 
+- channel 
+
+## Composite types in constraints
+
+在约束中使用复合类型：
+
+.code codes/type_sets.go /COMPOSITE TYPE OMIT/,/COMPOSITE TYPE OMIT/
+
+## Composite types in constraints
+
+对于复合类型的使用，有个额外的限制：对于所有的类型集中的类型，只有输入以及输出类型均完全一致的操作才允许使用。
+
+例如：
+
+.code codes/type_sets.go /COMPOSITE STRUCT FIELD OMIT/,/COMPOSITE STRUCT FIELD OMIT/
+
+(当然目前即使上面例子中各个struct的x字段类型一致也无法执行，因为这个特性在1.18中已经被移除，后续版本中可能会加回来，详情见[issue#50417](https://github.com/golang/go/issues/50417)、[issue#51576](https://github.com/golang/go/issues/51576))
+
+
+
+## Type conversions
+
+如果要对两个类型参数From和To类型的变量进行类型转换，则需要From的约束所包含的所有类型均能够转换为To的约束所包含的任一类型。
+
+例如：
+
+.code codes/type_sets.go /TYPE CONVERSION OMIT/,/TYPE CONVERSION OMIT/
+
+
+## Untyped constants
+泛型函数中可能会使用到无类型常量，在使用无类型常量的时候，仅当约束中所包含的所有类型都可以正常使用无类型常量。
+
+.code codes/type_sets.go /UNTYPED CONSTANTS OMIT/,/UNTYPED CONSTANTS OMIT/
+
+
+## Type sets of embedded constraints
+
+
+## Interface types in union elements
+
+
+## Empty type sets

codes/type_sets.go

@@ -71,4 +71,87 @@ type StringableSignedInteger interface {
 	~int | ~int8 | ~int16 | ~int32 | ~int64
 	String() string
 }
-// StringableSignedInteger OMIT
+// StringableSignedInteger OMIT
+
+
+// COMPOSITE TYPE OMIT
+type byteseq interface{
+	string | []byte
+}
+
+func Join[T byteseq](a []T, sep T) (ret T) {
+	// some checks...
+	
+	n := len(sep) * (len(a) - 1)
+	for _, v := range a {
+		n += len(v)
+	}
+
+	b := make([]byte, n)
+
+	bp := copy(b, a[0])
+	for _, s := range a[1:] {
+		bp += copy(b[bp:], sep)
+		bp += copy(b[bp:], s)
+	}
+
+	return T(b)
+}
+// COMPOSITE TYPE OMIT
+
+
+// COMPOSITE STRUCT FIELD OMIT
+// structField is a type constraint whose type set consists of some
+// struct types that all have a field named x.
+type structField interface {
+	struct { a int; x int } |
+		struct { b int; x float64 } |
+		struct { c int; x uint64 }
+}
+
+// This function is INVALID.
+func IncrementX[T structField](p *T) {
+	v := p.x // INVALID: type of p.x is not the same for all types in set
+	v++
+	p.x = v
+}
+// COMPOSITE STRUCT FIELD OMIT
+
+
+
+// TYPE CONVERSION OMIT
+type integer interface {
+	~int | ~int8 | ~int16 | ~int32 | ~int64 |
+		~uint | ~uint8 | ~uint16 | ~uint32 | ~uint64 | ~uintptr
+}
+
+func Convert[To, From integer](from From) To {
+	to := To(from)
+	if From(to) != from {
+		panic("conversion out of range")
+	}
+	return to
+}
+
+// TYPE CONVERSION OMIT
+
+
+// UNTYPED CONSTANTS OMIT
+type integer interface {
+	~int | ~int8 | ~int16 | ~int32 | ~int64 |
+		~uint | ~uint8 | ~uint16 | ~uint32 | ~uint64 | ~uintptr
+}
+
+func Add10[T integer](s []T) {
+	for i, v := range s {
+		s[i] = v + 10 // OK: 10 can convert to any integer type
+	}
+}
+
+// This function is INVALID.
+func Add1024[T integer](s []T) {
+	for i, v := range s {
+		s[i] = v + 1024 // INVALID: 1024 not permitted by int8/uint8
+	}
+}
+// UNTYPED CONSTANTS OMIT