Go 1.18 泛型介绍

什么是泛型

泛型程序设计（generic programming）是程序设计语言的一种风格或范式。泛型允许程序员在编写代码时使用一些以后才指定的类型，在实例化时作为参数指明这些类型。

Golang 泛型基本用法

示例

map 操作

package main

import (
	"fmt"
)

func mapFunc[T any, M any](a []T, f func(T) M) []M {
	n := make([]M, len(a), cap(a))
	for i, e := range a {
		n[i] = f(e)
	}
	return n
}

func main() {
	vi := []int{1, 2, 3, 4, 5, 6}
	vs := mapFunc(vi, func(v int) string {
		return "<" + fmt.Sprint(v * v) + ">"
	})
	fmt.Println(vs)
}

min max 函数

package main

import (
	"fmt"
)

type ordered interface {
	~int | ~int8 | ~int16 | ~int32 | ~int64 | ~uint | ~uint8 | ~uint16 | ~uint32 | ~uint64 | ~uintptr | ~float32 | ~float64 | ~string
}

func max[T ordered](a []T) T {
	m := a[0]
	for _, v := range a {
		if m < v {
			m = v
		}
	}
	return m
}

func min[T ordered](a []T) T {
	m := a[0]
	for _, v := range a {
		if m > v {
			m = v
		}
	}
	return m
}

func main() {
	vi := []int{1, 2, 3, 4, 5, 6, 7, 8, 9, 10}
	result := max(vi)
	fmt.Println(result)

	vii := []string{"a", "b", "c", "d", "e", "f", "g", "h", "i", "j"}
	result2 := min(vii)
	fmt.Println(result2)
}

Set

// Package sets implements sets of any comparable type.
package sets

// Set is a set of values.
type Set[T comparable] map[T]struct{}

// Make returns a set of some element type.
func Make[T comparable]() Set[T] {
	return make(Set[T])
}

// Add adds v to the set s.
// If v is already in s this has no effect.
func (s Set[T]) Add(v T) {
	s[v] = struct{}{}
}

// Delete removes v from the set s.
// If v is not in s this has no effect.
func (s Set[T]) Delete(v T) {
	delete(s, v)
}

// Contains reports whether v is in s.
func (s Set[T]) Contains(v T) bool {
	_, ok := s[v]
	return ok
}

// Len reports the number of elements in s.
func (s Set[T]) Len() int {
	return len(s)
}

// Iterate invokes f on each element of s.
// It's OK for f to call the Delete method.
func (s Set[T]) Iterate(f func(T)) {
	for v := range s {
		f(v)
	}
}

尝鲜试用

Go2Goplaygroud： The go2go Playground
Go 1.17 （非最新，不推荐）：
go run -gcflags=-G=3 myproject``/main``.go
go 1.18 （正式版已发布）
https://go.dev/doc/go1.18

Golang 类型当前状况与泛型的意义

当前

interface

弊端：类型转换、缺乏编译时的约束

package main

import "fmt"

func printStr(x interface{}) {
	value, ok := x.(string)
	if !ok {
		fmt.Println("It's not ok for type string")
		return
	}
	fmt.Println("The value is ", value)
}

func main() {
	printStr(123)
}
// It's not ok for type string

为不同类型单独编写

弊端：API与代码实现不整洁、工作量大等

示例：当前标准库的 sort, math 等

代码生成

弊端：需学习第三方代码生成工具、go:generate、AST等知识，不通用

示例：

https://github.com/cheekybits/genny

package gogenerate

import "github.com/cheekybits/genny/generic"

//go:generate genny -in=$GOFILE -out=gen-$GOFILE gen "KeyType=string,int ValueType=string,int"

type KeyType generic.Type
type ValueType generic.Type

type KeyTypeValueTypeMap map[KeyType]ValueType

func NewKeyTypeValueTypeMap() map[KeyType]ValueType {
	return make(map[KeyType]ValueType)
}

Go 官方泛型意义

通用操作与类型约束
函数式编程
简化标准库和第三方库的实现

………

Golang 泛型发展历史

简述	时间	作者
[Type Functions]	2010 年	Ian Lance Taylor
Generalized Types	2011 年	Ian Lance Taylor
Generalized Types v2	2013 年	Ian Lance Taylor
Type Parameters	2013 年	Ian Lance Taylor
go:generate	2014 年	Rob Pike
First Class Types	2015 年	Bryan C.Mills
Contracts	2018 年	Ian Lance Taylor, Robert Griesemer
Contracts	2019 年	Ian Lance Taylor, Robert Griesemer
Redundancy in Contracts(2019)’s Design	2019 年	Ian Lance Taylor, Robert Griesemer
Constrained Type Parameters	2020 年	Ian Lance Taylor, Robert Griesemer
Featherweight Go	2020年	Ian Lance Taylor, Robert Griesemer
合并进 master、发布 Go 1.18、改进标准库等	2021 - 2022 年