- 当前位置：首页 >IT科技 >Go泛型草案设计简明指南
Go泛型草案设计简明指南
发布时间：2025-11-05 07:38:10 来源：创站工坊 作者：域名
女主宣言
今天小编为大家分享一篇关于Golang泛型提案的泛型最新设计草案。涉及有关为何做出某些决策的草案详细信息，实施细节等。设计希望能对大家有所帮助。简明
PS：丰富的指南一线技术、多元化的泛型表现形式，尽在“360云计算”，草案点关注哦！设计
最近，简明go团队宣布了针对其go泛型提案的指南最新设计草案。涉及有关为何做出某些决策的泛型详细信息，实施细节等。草案
因为整个草案设计内容太多了，设计所以本文中，简明我们的指南目标是总结即将进行的主要更改。
我们将提供一些代码片段来演示主要功能。
1
泛型函数中的类型约束
不受类型参数限制的通用函数：
// package decls, imports...func arrayOf(type T)(elems ...T) []T{
arr := []T{}
for _, el := rangeelems {
arr = append(arr, el)
}
returnarr
}
func main(){
strs := arrayOf("one", "two", "three", "four", "five")
fmt.Println(strs)
nums := arrayOf(1, 2, 3, 4, 5)
fmt.Println(nums)
}
要对通用类型添加约束，可以要求实现给定的接口：
// package decls, imports...// Person, who implements fmt.Stringer...func join(type T fmt.Stringer)(tokens []T, delim string) string{
res := "" for _, token := rangetokens {
if res != ""{
res += delim
}
res += token.String()
}
returnres
}
func main(){
joined := join([]Person{Person{"Mike", "Jordan"}, Person{"Dave", "Stevens"}, Person{"John", "Doe"}}, ", ")
fmt.Println(joined)
}
要指定多个类型参数，用逗号分隔：
// package decls, imports...func mapAll(type T, R)(arr []T, mapFunc func(T) R) []R{
res := []R{}
for _, el := rangearr {
res = append(res, mapFunc(el))
}
returnres
}
func main(){
strs := mapAll([]int{1, 2, 3}, func(n int) string{
returnstrconv.Itoa(n)
})
fmt.Println(strs)
}
对多个类型参数的高防服务器约束，与编写函数参数类型相同的方式写入：
// package decls, imports...// Person & Animal structs, which implement fmt.Stringer...func Concat(type T1, T2 fmt.Stringer)(f T1, s T2, delim string) string{
returnf.String() + delim + s.String()
}
func main(){
res := Concat(Person{"John", "Doe"}, Animal{"Dog", "Richie"}, " loves his ")
fmt.Println(res)
}
以下是为两个参数指定不同类型的方法：
// package decls, imports...// Hooman & Pet interfaces...// Person & Dog structs...func PlayAround(type H Hooman, P Pet)(human H, pet P){
fmt.Println("The human says:", human.Speak())
fmt.Println("And the pet responds:", pet.ProduceSound())
}
func main(){
PlayAround(Person{}, Dog{})
}2
类型列表及可比较
可以基于一组受支持的类型来约束它们，而不是基于一组方法来约束类型。例如，可以指定接受通用类型，该通用类型只能是int或long。
这能够 利用“小于”，“大于”之类的运算符，仅适用于Go中的基本类型：
// package decls, imports...// Ordered is a type constraint that matches any ordered type.// An ordered type is one that supports the <, <=, >, and >= operators.type Ordered interface{
type int, int8, int16, int32, int64,
uint, uint8, uint16, uint32, uint64, uintptr,
float32, float64,
string}
func Max(type T Ordered)(elems []T) T{
if len(elems) == 0{
varzero T
returnzero
}
max := elems[0]
for _, el := rangeelems {
ifel > max {
max = el
}
}
returnmax
}
func main(){
res := Max([]int{1, 5, 3, 10, 4})
fmt.Println(res)
}
还具有一个称为“comparable”的现成约束，该约束类型与支持==和!=运算符的约束类型相同。
// package decls, imports...func Contains(type T comparable)(elems []T, target T) bool{
for _, elem := rangeelems {
ifelem == target {
return true}
}
return false}
func main(){
fmt.Println(Contains([]int{1, 2, 3, 4, 5}, 4))
}
使用这些构造的接口-类型列表和/或类似列表只能用作类型约束，而不能用作函数参数。
3
通用类型
可以使用泛型类型定义结构。一旦指定了类型声明，就无需为该类型的所有函数指定类型：
// package decls, imports...type Stack(type T) struct{
buffer []T
}
func (v *Stack(T)) Push(elem T){
v.buffer = append(v.buffer, elem)
}
func (v *Stack(T)) Pop() T{
res := v.buffer[len(v.buffer)-1]
v.buffer = v.buffer[:len(v.buffer)-1]
returnres
}
func main(){
st := &Stack(int){}
st.Push(1)
st.Push(2)
st.Push(3)
fmt.Println(st.Pop())
fmt.Println(st.Pop())
fmt.Println(st.Pop())
}
也可以在接口中执行此操作。当类型约束依赖于自身时，这尤其有用。
例如。云服务器有一个T的类型约束，它需要一个Equal方法，该方法接受一个T参数：
// package decls, imports...// Person, who implements Equaler...type Equaler(type T) interface{
Equal(other T) bool}
func Contains(type T Equaler)(elems []T, target T) bool{
for _, elem := rangeelems {
ifelem.Equal(target) {
return true}
}
return false}
func main(){
people := []Person{Person{"Dave"}, Person{"Bob"}, Person{"Steve"}}
fmt.Println(Contains(people, Person{"Dave"}))
}
如果需要指定具有状态修改功能的类型参数（例如，setter），则可以指定指针类型约束：
// package decls, imports...type Setter interface{
Set(string)
}
type Settable int// Set sets the value of *p from a string.func (p *Settable) Set(s string){
i, _ := strconv.Atoi(s)
*p = Settable(i)
}
func FromStrings(type *T Setter)(s []string) []T{
result := make([]T, len(s))
for i, v := ranges {
// result[i] is an addressable value of type T, // so its OK to call Set.result[i].Set(v)
}
returnresult
}
func main(){
nums := FromStrings(Settable)([]string{"1", "2", "3"})
fmt.Println(nums)
}
注意，上面的示例如何要求明确指定将在函数中使用的类型– FromStrings(Settable)…
这是因为只要类型不作为函数参数出现，编译代码后，编译器就无法推断实际类型。因此，需要明确指定它。
总结
本文的目的是简洁明了。希望它可以帮助大家快速了解最新的泛型草案设计。
但是，围绕Go中的泛型进行任何单一设计选择，背后都有很多理由。如果有兴趣深入研究该主题，可以查阅官方设计草案文档。
- 2000到3000元之间最值得入手的手机推荐（性价比高，功能强大，体验流畅，千元机选购指南）
- 人脑与电脑连接的影响及未来展望（科技融合下的人机一体化实现，）
- GVN105TCN4GD（探索GVN105TCN4GD，领略未来智能家居的无限可能）
- 固态硬盘U盘装机教程
- 七彩虹升级BIOS教程（手把手教你一步步升级BIOS，提升电脑性能稳定性，）
- 内存分频设置教程——提升计算机性能的关键步骤（掌握内存分频设置，轻松提升计算机运行速度）
- 手动运行盘重装系统教程（学会手动运行盘重装系统，让你的电脑焕然一新）
- 如何恢复通过iOS相册删除的照片？（教你轻松找回误删的珍贵照片）
- 华硕B150M-Plus性能评测与推荐（一款稳定可靠的主板选择，华硕B150M-Plus的性能与功能介绍）
- 如何制作U盘启动盘安装Win7系统（简单易懂的步骤教程，让您快速完成安装）
- 用大白菜启动系统的方法与步骤（快速了解大白菜启动系统并实施启动）
- 以太白菜装机教程（以太白菜装机教程，轻松组建理想电脑！）
- 华硕P5G41T-MLX（全新一代主板，助力您的电脑发挥最佳性能）
- 电脑USB驱动安装失败的解决方法（遇到USB驱动安装失败怎么办？一键解决办法来了！）
- 如何以3分钟强制删除管理员权限文件（快速、高效、安全的解决办法）
- 技嘉设置U盘启动教程（用技嘉设置U盘启动解决电脑系统启动问题）
- 手动安装笔记本系统教程（从零开始，轻松安装你的笔记本操作系统）
- 华为荣耀7i（华为荣耀7i的摄影特点及亮点一览）
- 以硬盘制作启动盘的教程（轻松创建自己的启动盘，解决系统问题一键搞定）
- 华硕系统u盘重做教程——一键恢复你的电脑（快速重装华硕系统，让电脑焕然一新）
随便看看
- Copyright © 2025 Powered by Go泛型草案设计简明指南,创站工坊 滇ICP备2023006006号-44sitemap