016.泛型

目录

1.初始泛型

2.案例一：切片中使用泛型

3.案例二:Map中使用泛型

4.泛型约束类型的提取

5.新符号 ~

---

1.初始泛型

泛型:定义一个泛型,指代不同类型,主要用于不同类型相同逻辑代码的处理,减少了冗余代码

内置泛型:
any:表示go语言所有类型 
​​​​​​​comparable:表示可以比较的类型

​​​​​​​2.案例一：切片中使用泛型

//自定义切片类型
type Slice[T int | float64] []T

func main() {

	var a Slice[int] = []int{1, 2, 3}
	var b Slice[float64] = []float64{3.14, 8.88}
	printSli(a)
	printSli(b)
	fmt.Println("=======")
	fmt.Println(a.sum())
	fmt.Println(b.sum())
}

// 泛型作为形参打印切片
func printSli[T any](slice []T) {
	for _, v := range slice {
		fmt.Println(v)
	}
}
// 使用泛型求和
func (s Slice[T]) sum() T {
	var sum T
	for _, v := range s {
		sum += v
	}
	return sum
}

3.案例二:Map中使用泛型

func main() {
    //自定义Map类型
	type MyMap[K string, V int | float64 | string] map[K]V

	var m1 MyMap[string, float64] = map[string]float64{
		"Go":   100.0,
		"JAVA": 99.9,
	}
	fmt.Println(m1)
}

4.泛型约束类型的提取

//泛型约束类型的提取
type Para interface {
	int | int8 | int16 | int32 | int64 | float32 | float64
}

func main() {
	fmt.Println(GetMax(3.14, 6.32))
}
//获取最大值
func GetMax[T Para](a, b T) T {
	if a > b {
		return a
	}
	return b
}

5.新符号 ~

新符号 ~:和泛型一起出现表示支持该类型的衍生类型

type int8A int8

type NewInt interface {
	~int8
}

func main() {
	var a int8A = 10
	var b int8A = 20
	fmt.Println(GetMax2(a, b))
}
func GetMax2[T NewInt](a, b T) T {
	if a > b {
		return a
	}
	return b
}