golang泛型简介
linux下go版本安装(1.18.1版本)
>>> wget https://go.dev/dl/go1.18.1.linux-amd64.tar.gz
>>> tar xzvf go1.18.1.linux-amd64.tar.gz -C /usr/local
>>> mkdir /data/go_path -p
>>> vim ~/.bashrc
export GOROOT=/usr/local/go
export GOPATH=/data/go_path
export GOPROXY=https://goproxy.cn
export PATH=$PATH:$GOROOT/bin::$GOPATH/bin
>>> source ~/.bashrc
编写泛型函数
让我们看看如何在go中构建自己的泛型函数开始。传统上,你将从一个函数签名开始,该签名将明确说明此函数期望作为参数的类型:
func oldNonGenricFunc(myAge int64){
fmt.Println(myAge)
}
在新版本中,如果我们想创建一个可以接收int64
和float64
类型的函数,我们可以像这样修改我们的函数签名:
package main
import "fmt"
func newGenericFunc[age int64 | float64](myAge age){
fmt.Println(myAge)
}
func main(){
fmt.Println("Go Generics Tutorial")
var testAge int64 = 23
var testAge2 float64 = 24.5
newGenericFunc(testAge)
newGenericFunc(testAge2)
}
运行结果:
[root@wei demo_generics]# go run main.go
go generics
23
24.5
所以, 让我们分解一下我们在这里所做的时区。我们有效的创建了一个名为newGenericFunc
函数,在我们的函数名称之后,我们打开方括号[]
并指定我们可以合理地期望我们的函数被调用的类型:
[age int64 | float64]
当我们在括号中定义函数的参数时,我们说变量myAge
可以是类型age
, 随后可以是int64
或者float64
类型。
注意,如果我们想添加更多类型,我们可以使用
|
不同类型之间的分隔符列出更多类型。
使用任何类型
在上面的列子中,我们指定了一个可以接受多种类型的泛型函数int64
,float64
,但是,如果我们想要定义一个可以接受任何类型的函数怎么办?
我们可以像下面这样使用新的内置any
类型:
package main
import "fmt"
func newGenericFunc[age ant](myAge age){
fmt.Println(myAge)
}
func main(){
fmt.Println("Go Generics Tutorial")
var testAge int64 = 23
var testAge2 float64 = 24.5
var testString string = "Elliot"
newGenericFunc(testAge)
newGenericFunc(testAge2)
newGenericFunc(testString)
}
运行结果:
[root@wei demo_generics]# go run main.go
go generics
23
24.5
Elliot
让我们看一个可能引发问题的案例。让我们更新我们的代码以对myAge
参数进行一些额外的计算。我们将尝试将其转换为int
然后将值加1:
package main
import "fmt"
func newGenericFunc[age any](myAge age){
val := int(myAge) + 1
fmt.Println(val)
}
func main(){
fmt.Println("Go Generics Tutorial")
var testAge int64 = 23
var testAge2 float64 = 24.5
var testString string = "Elliot"
newGenericFunc(testAge)
newGenericFunc(testAge2)
newGenericFunc(testString)
}
现在,当我们尝试构建或运行这段代码时,我们应该看到它编译失败:
>>> go run main.go
./generic_issue.go:6:13: cannot convert myAge (variable of type age constrained by any) to type int
在这种情况下,我们无法尝试将类型转换为any
to int
。解决这个问题的唯一方法是更明确地传递传入的类型,如下所示:
package main
import "fmt"
func newGenericFunc[age int64 | float64](myAge age) {
val := int(myAge) + 1
fmt.Println(val)
}
func main() {
fmt.Println("Go Generics Tutorial")
var testAge int64 = 23
var testAge2 float64 = 24.5
newGenericFunc(testAge)
newGenericFunc(testAge2)
}
在大多数情况下,在我们可以合理使用的类型中更加明确是有利的,因为它可以让您对如何处理每个单独的类型进行最深思熟虑和深思熟虑。
显式传递类型参数
在大多数情况下,Go 将能够推断您传递给泛型函数的参数的类型。但是,在某些情况下,您可能希望更加慎重并指定要传递给这些通用函数的参数的类型。
了更明确,我们可以使用相同的[]
括号语法来说明正在传递的参数的类型:
newGenericFunc[int64](testAge)
这将明确指出,当传入这个newGenericFunc
时,testAge变量将是int64
类型。
类型约束
让我们看看如何在 Go 中修改代码并声明类型约束。
在这个例子中,我们将把我们的泛型函数可以接受的类型移动到我们标记的接口中Age
。然后函数newGenericFunc
像这样使用了这个新的类型约束:
package main
import "fmt"
type Age interface{
int64 | int32 | float32 | float64
}
func newGenericFunc[age Age](myAge age){
val := int(myAge) + 1
fmt.Println(val)
}
func main(){
fmt.Println("Go Generics Tutorial")
var testAge int64 = 23
var testAge2 float64 = 24.5
newGenericFunc(testAge)
newGenericFunc(testAge2)
}
运行结果:
[root@wei demo_generics]# go run main.go
go generics
24
25
现在,这种方法的美妙之处在于,我们可以在整个代码中重用这些相同的类型约束,就像我们在 Go 中使用任何其他类型一样。
更复杂的类型约束
让我们看一个稍微复杂一点的用例。例如,假设我们想要创建一个getSalary
函数,该函数将接收满足给定类型约束的任何内容。我们可以通过定义一个接口然后将其用作泛型函数的类型约束来实现这一点:
package main
import "fmt"
type Employee interface{
PrintSalary()
}
func getSalary[E Employee](e E){
e.PrintSalary()
}
type Engineer struct {
Salary int32
}
func (e Engineer)PrintSalary(){
fmt.Println(e.Salary)
}
type Manager struct{
Salary int64
}
func (m Manager)PrintSalary(){
fmt.Println(m.Salary)
}
func main(){
fmt.Println("Go Generics Tutorial")
engineer := Engineer{Salary: 10}
manager := Manager{Salary: 100}
getSalary(engineer)
getSalary(manager)
}
在这个例子中,我们已经指定我们的getSalary
函数有一个类型约束,E
它必须实现我们的Employee
接口。在我们的主函数中,我们定义了一个工程师和一个经理,并将这两个不同的结构传递到getSalary
函数中,即使它们都是不同的类型。
>>> go run main.go
Go Generics Tutorial
10
100
现在这是一个有趣的例子,它展示了我们如何对泛型函数进行类型约束以仅接受实现此PrintSalary
接口的类型,然而,同样可以通过直接在函数签名中使用接口来实现,如下所示
func getSalary(e Employee) {
e.PrintSalary()
}
是相似的,因为在 Go 中使用接口是一种泛型编程,理解方法之间的差异和一种方法的好处可能在官方 go.dev 题为“为什么泛型”的帖子中得到更好的解释.
泛型的好处
到目前为止,我们刚刚介绍了在 Go 中编写通用代码时会遇到的基本语法。让我们将这些新发现的知识更进一步,看看这段代码在我们自己的 Go 应用程序中的哪些方面是有益的。
让我们看一个标准的 BubbleSort 实现:
func BubbleSort(input []int) []int{
n := len(input)
swapped := true
for swapped {
// 设置swapped为false
swapped = false
for i := 0;i < n-1; i++{
if input[i] > input[i+1]{
fmt.Println("Swapping")
input[i], input[i+1] = input[i+1], input[i]
swapped = true
}
}
}
现在,在上面的实现中,我们已经定义了这个 BubbleSort 函数必须接受一个类型int
切片。例如,如果我们试图用一个类型的切片运行它int32
,我们会得到一个编译器错误:
cannot use list (variable of type []int32) as type []int in argument to BubbleSort
让我们看看我们如何使用泛型编写它并打开输入以接受所有 int 类型和 float 类型:
package main
import "fmt"
type Number interface{
int16 | int32 | int64 | float32 | float64
}
func BubbleSort[N Number](input []N)[]N{
n := len(input)
swapped := true
for swapped{
swapped = false
for i := 0;i<n-1;i++{
if input[i] > input[i+1]{
input[i], input[i+1] = input[i+1], input[i]
swapped = true
}
}
}
return input
}
func main(){
fmt.Println("Go Generics Tutorial")
list := []int32{4,3,1,5,}
list2 := []float64{4.3, 5.2, 10.5, 1.2, 3.2,}
sorted := BubbleSortGeneric(list)
fmt.Println(sorted)
sortedFloats := BubbleSortGeneric(list2)
fmt.Println(sortedFloats)
}
通过对我们的BubbleSort函数进行这些修改,并接受一个类型受限的Number,我们已经有效地使自己能够减少我们必须写的代码量,如果我们想支持每一个int和float类型的话!
让我们现在尝试运行它:
Go Generics Tutorial
[1 3 4 5]
[1.2 3.2 4.3 5.2 10.5]
官网泛型教程
https://go.dev/doc/tutorial/generics
golang泛型简介的更多相关文章
- Golang 泛型的简单使用
go 学习泛型,利用泛型编写对数据集合执行操作的方法.
- C# 泛型简介
摘要:本文讨论泛型处理的问题空间.它们的实现方式.该编程模型的好处,以及独特的创新(例如,约束.一般方法和委托以及一般继承).此外,本文还讨论 .NET Framework 如何利用泛型. 下载 Ge ...
- Java基础之集合框架类及泛型简介
Collection接口 Collection 通用的常见方法 add()添加一个元素,可以指定脚标 addAll()将一个collection放入 clear()清除 remove()删除元素,返回 ...
- Golang 并发简介
并发概要 随着多核CPU的普及, 为了更快的处理任务, 出现了各种并发编程的模型, 主要有以下几种: 模型名称 优点 缺点 多进程 简单, 隔离性好, 进程间几乎无影响 开销最大 多线程 目前使用最多 ...
- Golang 特性简介
by sheepbao 主要大概介绍go语言的历史和特性,简单的入门. 来历 很久以前,有一个IT公司,这公司有个传统,允许员工拥有20%自由时间来开发实验性项目.在2007的某一天,公司的几个大牛, ...
- Java学习:泛型简介
泛型 泛型:是一种未知的数据类型,当我们不知道使用什么数据类型的时候,可以使用泛型 泛型也可以看出是一个变量,用来接受数据类型 E e : Element 元素 T t : Type 类型 Array ...
- java 泛型简介(转载)
原文出处: absfree 1. Why ——引入泛型机制的原因 假如我们想要实现一个String数组,并且要求它可以动态改变大小,这时我们都会想到用ArrayList来聚合String对象.然而,过 ...
- C# 泛型约束
一.泛型简介1.1泛型通过使用泛型,可以创建这样的类.接口和方法,它们以一种类型安全的工作方式操作各种数据.本质上,术语“泛型”指的是“参数化类型”(parameterized types).参数化类 ...
- C# 集合与泛型
一.古典集合方式 在C#2.0的时候集合主要通过两种方式实现: 1.使用ArrayList实现 新建ArrayList,然后将所有对象放入该数组中,简单直接,但缺点是该数组什么类型的元素都能接收,在实 ...
- Java笔记--泛型总结与详解
泛型简介: 在泛型没有出来之前,编写存储对象的数据结构是很不方便的.如果要针对每类型的对象写一个数据结构, 则当需要将其应用到其他对象上时,还需要重写这个数据结构.如果使用了Object类型, ...
随机推荐
- [转帖]国产数据库到底行不行?人大金仓KINGBASE数据库与主流开源数据库性能实测
近年来,人大金仓的数据库产品受到了外界诸多的关注.做产品,免不了要接受用户的对比和选择,数据库因其行业的自身特点,还有很多开源的技术产品同台比拼,用户因此也会产生诸多疑问,国产数据库相比开源数据库到底 ...
- [转帖]《Linux性能优化实战》笔记(一)—— 平均负载
最近在看极客时间的<Linux性能优化实战>课程,记录下学习内容. 一. 平均负载(Load Average) 1. 概念 我们都知道uptime命令的最后三列分别是过去 1 分钟.5 分 ...
- [转帖]Linux—vi/vim批量注释及取消注释
https://www.jianshu.com/p/45c252e9d2b6 应用场景 在开发场景中,经常遇到对一些配置文件进行注释,当然如果确定不用的时候我们可以通过vim中的D命令进行删除.当 ...
- [转帖]Linux命令拾遗-top中的%nice是啥
https://www.cnblogs.com/codelogs/p/16060663.html 简介# 这是Linux命令拾遗系列的第八篇,本篇主要介绍top命令中nice%这个指标的含义以及进程优 ...
- Bash 脚本发送消息到企业微信的办法
1. Study From https://www.cnblogs.com/elvi/p/11444388.html 2. 申请或者使用已经有的企业微信. 首先是获取一下企业id 方法如图: 3. 创 ...
- SingleNode HDFS 搭建过程
背景 1. 纯粹测试 2. 未考虑安全和授权以及数据处理. 3. 单节点最简单的部署, 验证功能连接的可能性 资料获取以及环境变量的设置 获取最新的安装文件 https://downloads.apa ...
- 京音平台-一起玩转SCRM之电销系统
作者:京东科技 李良文 一.前言 电销是什么?就是坐席拿着电话给客户打电话吗?no no no,让我们一起走进京音平台之电销系统. 京音平台2020年初开始建设,过去的两年多的时间里,经历了跌宕起伏, ...
- vue中diff算法处理新旧节点的流程
vue中diff算法处理新旧节点的流程 patch函数的作用 function patch(oldVnode: VNode | Element, vnode: VNode): VNode { let ...
- 每日一库:使用Viper处理Go应用程序的配置
在开发Go应用程序时,处理配置是一个常见的需求.配置可能来自于配置文件.环境变量.命令行参数等等.Viper是一个强大的库,可以帮助我们处理这些配置. 什么是Viper? Viper是一个应用程序配置 ...
- wap2app下拉刷新
支持全局刷新,支持vue项目 目前支持wap2app,uin-app全局下拉刷新 戳我阅读原文 --转载自微信公众号:酿俗