Go语言进阶篇——泛型

前言

在开始今天有关泛型的介绍之前,我们先来看一个简单的例子，如果我们要设计两个int类型变量相加的函数，我们可以这样设计：

func Sum (a, b int) int {return a + b
}

如果变量要求是float类型或者是其他类型，我们要面对一个问题：我们真的要为每个类型去编写对应的函数吗当然这个是非常影响开发效率的，而我们要如何解决这个问题呢？这就是我们几天要提到的泛型了。

什么是泛型

泛型，顾名思义，它是为了执行逻辑与类型无关的问题，这类问题不关心给出的类型是什么，只需要完成对应的操作就足够，我们可以尝试把上面的问题改成泛型的写法：

func Sum [T int|float64](a, b T) T{return a + b
}

类型形参：T就是一个类型形参，形参具体是什么类型取决于传进来什么类型

类型约束：int | float64构成了一个类型约束，这个类型约束内规定了哪些类型是允许的，约束了类型形参的类型范围

类型实参：Sum[int](1,2)，手动指定了int类型，int就是类型实参。

第一种用法，显式的指明使用哪种类型，如下

Sum[int](2012, 2022)

第二种用法，不指定类型，让编译器自行推断，如下

Sum(3.1415926, 1.114514)

通过上面的介绍,相信大家对泛型有所了解了，在日常使用泛型时，我们要注意将泛型引入项目后，开发上确实会比较方便，随之而来的是项目复杂度的增加，毫无节制的使用泛型会使得代码难以维护，所以应该在正确的地方使用泛型，而不是为了泛型而泛型。

泛型结构

泛型切片

首先我们定义一个泛型切片,它的类型约束时int|float32|float64：

type GenericsSlice[T int|float32|float64] []T

我们如何去使用这种泛型切片呢？让我们来看一下下面这个案例：

package mainimport "fmt"func main() {type GenericsSlience[T int | float64] []T//创建整形切片var ints GenericsSlience[int]ints = append(ints, 1)//创建浮点型切片var floats GenericsSlience[float64]floats = append(floats, 1.1)//打印切片fmt.Println(ints)fmt.Println(floats)
}

输出为：

在这里插入图片描述

泛型哈希表

我们定义泛型哈希表的时候，要保证键的类型必须是可以比较的，所以我们会使用comparable接口，下面我们可以尝试定义一个哈希表：

type GenericsMap[K comparable,V int|string|byte] map[K]V

使用时：

gmap1 := GenericMap[int, string]{1: "hello world"}
gmap2 := make(GenericMap[string, byte], 0)

泛型结构体

这是一个泛型结构体，类型约束为T int | string

解释type GenericStruct[T int | string] struct {Name stringId   T
}

使用：

解释GenericStruct[int]{Name: "jack",Id:   1024,
}
GenericStruct[string]{Name: "Mike",Id:   "1024",

注意：在结构体中如果我们要使用切片，一般推荐下面这种写法：

type Company[T int | string, S int | string] struct {Name  stringId    TStuff []S
}

泛型接口

我们来看一个泛型接口的简单应用：

package mainimport "fmt"type Sayable[T int | float64 | string] interface {Say() T
}type Person[T int | float64 | string] struct {msg T
}func (p Person[T]) Say() T {return p.msg
}func main() {var s Sayable[string]s = Person[string]{"hello world"}fmt.Println(s.Say())
}

泛型结构的使用注意点

  1. 泛型不能作为一个类型的基本类型
  2. 泛型类型无法使用类型断言
  3. 匿名结构体/函数不支持泛型
  4. 不支持泛型方法，这里要说明一下，主要是不支持泛型形参，比如下面这样：
package mainimport "fmt"type Sayable[T int | float64 | string] interface {Say() T
}type Person[T int | float64 | string] struct {msg T
}func (p Person[T]) Say() T {return p.msg
}func main() {var s Sayable[string]s = Person[string]{"hello world"}fmt.Println(s.Say())
}

这样是无法通过编译的。

泛型使用示例

模拟队列

package maintype Queue[T any] []Tfunc (q *Queue[T]) Push(e T) {*q = append(*q, e)
}func (q *Queue[T]) Pop() (_ T) {if q.Size() > 0 {res := q.Peek()*q = (*q)[1:]return res}return
}func (q *Queue[T]) Peek() (_ T) {if q.Size() > 0 {res := (*q)[0]return res}return
}func (q *Queue[T]) Size() int {return len(*q)
}

在Pop和Peek方法中，可以看到返回值是_ T，这是具名返回值的使用方式，但是又采用了下划线_表示这是匿名的，这并非多此一举，而是为了表示泛型零值。由于采用了泛型，当队列为空时，需要返回零值，但由于类型未知，不可能返回具体的类型，借由上面的那种方式就可以返回泛型零值。也可以声明泛型变量的方式来解决零值问题，对于一个泛型变量，其默认的值就是该类型的零值

堆

上面队列的例子，由于对元素没有任何的要求，所以类型约束为any。但堆就不一样了，堆是一种特殊的数据结构，它可以在O(1)的时间内判断最大或最小值，所以它对元素有一个要求，那就是必须是可以排序的类型，但是go语言内置可以比较的类型就只有字符串和数字，同时泛型约束不允许带方法的接口，所以在对初始化的时候就需要我们传入一个自定义的比较器

下面我们来尝试来实现一个简单的最小二根堆：

package maintype Comparator[T any] func(a, b T) inttype BinaryHeap[T any] struct {data       []Tcomparator Comparator[T]
}func (Heap *BinaryHeap[T]) Peek() (_ T) {if Heap.Size() > 0 {return Heap.data[0]}return
}func (Heap *BinaryHeap[T]) Pop() (_ T) {if Heap.Size() > 0 {res := Heap.Peek()Heap.data = Heap.data[1:]return res}return
}func (Heap *BinaryHeap[T]) Push(value T) {Heap.data = append(Heap.data, value)Heap.up(Heap.Size() - 1)
}func (Heap *BinaryHeap[T]) Size() int {return len(Heap.data)
}func (Heap *BinaryHeap[T]) up(i int) {if Heap.Size() == 0 || i < 0 || i >= Heap.Size() {return}for parentindex = i>>1 - 1; parentindex >= 0; parentindex = i>>1 - 1 {if Heap.comparator(Heap.data[i], Heap.data[parentindex]) < 0 {Heap.data[i], Heap.data[parentindex] = Heap.data[parentindex], Heap.data[i]i = parentindex} else {break}}
}func (Heap *BinaryHeap[T]) down() {if heap.Size() == 0 || i < 0 || i >= heap.Size() {return}size := heap.Size()for lsonIndex := i<<1 + 1; lsonIndex < size; lsonIndex = i<<1 + 1 {rsonIndex := lsonIndex + 1if rsonIndex < size && heap.compare(heap.s[rsonIndex], heap.s[lsonIndex]) < 0 {lsonIndex = rsonIndex}// less than or equal toif heap.compare(heap.s[i], heap.s[lsonIndex]) <= 0 {break}heap.s[i], heap.s[lsonIndex] = heap.s[lsonIndex], heap.s[i]i = lsonIndex}
}

使用起来如下

type Person struct {Age  intName string
}func main() {heap := NewHeap[Person](10, func(a, b Person) int {return cmp.Compare(a.Age, b.Age)})heap.Push(Person{Age: 10, Name: "John"})heap.Push(Person{Age: 18, Name: "mike"})heap.Push(Person{Age: 9, Name: "lili"})heap.Push(Person{Age: 32, Name: "miki"})fmt.Println(heap.Peek())fmt.Println(heap.Pop())fmt.Println(heap.Peek())
}

输出

{9 lili}
{9 lili} 
{10 John}

有泛型的加持，原本不可排序的类型传入比较器后也可以使用堆了，这样做肯定比以前使用interface{}来进行类型转换和断言要优雅和方便很多。

总结

go的一大特点就是编译速度非常快，编译快是因为编译期做的优化少，泛型的加入会导致编译器的工作量增加，工作更加复杂，这必然会导致编译速度变慢，事实上当初go1.18刚推出泛型的时候确实导致编译更慢了，go团队既想加入泛型又不想太拖累编译速度，开发者用的顺手，编译器就难受，反过来编译器轻松了（最轻松的当然是直接不要泛型），开发者就难受了，现如今的泛型就是这两者之间妥协后的产物。

本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若转载，请注明出处：http://www.mzph.cn/news/694761.shtml

如若内容造成侵权/违法违规/事实不符，请联系多彩编程网进行投诉反馈email:809451989@qq.com，一经查实，立即删除！

相关文章

高防服务器是怎样进行防御的？

高防服务器是怎样进行防御的？

随着互联网的发展&#xff0c;网络攻击和恶意流量也日益增多&#xff0c;高防服务器作为企业网络安全的重要保障&#xff0c;越来越受到关注。那么&#xff0c;高防服务器是怎样进行防御的呢&#xff1f; 高防服务器主要是指具备防御DDoS攻击、CC攻击、7x24小时实时防御网站入…
阅读更多...
【Flink集群RPC通讯机制（二）】创建AkkaRpcService、启动RPC服务、实现相互通信

【Flink集群RPC通讯机制（二）】创建AkkaRpcService、启动RPC服务、实现相互通信

文章目录 零. RpcService服务概述1. AkkaRpcService的创建和初始化2.通过AkkaRpcService初始化RpcServer3. ResourceManager中RPC服务的启动4. 实现相互通讯能力 零. RpcService服务概述 RpcService负责创建和启动Flink集群环境中RpcEndpoint组件的RpcServer&#xff0c;且Rpc…
阅读更多...
32单片机基础：OLED调试工具的使用

32单片机基础：OLED调试工具的使用

下面会介绍OLED显示屏的驱动函数模块&#xff0c;先学会如何使用&#xff0c;至于OLED屏幕的原理和代码编写&#xff0c; 我们之后会再写一篇。 现在我们就是用OLED当一个调试的显示屏&#xff0c;方便我们调试程序。 为什么要调试呢&#xff0c;是为了方便我们看现象&#…
阅读更多...
嵌入式学习之Linux入门篇——使用VMware创建Unbuntu虚拟机

嵌入式学习之Linux入门篇——使用VMware创建Unbuntu虚拟机

目录 主机硬件要求 VMware 安装 安装Unbuntu 18.04.6 LTS 新建虚拟机 进入Unbuntu安装环节 主机硬件要求 内存最少16G 硬盘最好分出一个单独的盘&#xff0c;而且最少预留200G&#xff0c;可以使用移动固态操作系统win7/10/11 VMware 安装 版本&#xff1a;VMware Works…
阅读更多...
CQT新里程碑：SOC 2 数据安全认证通过，加强其人工智能支持

CQT新里程碑：SOC 2 数据安全认证通过，加强其人工智能支持

Covalent Network&#xff08;CQT&#xff09;发展新里程碑&#xff1a;SOC 2 数据安全认证通过&#xff0c;进一步加强了其人工智能支持 Covalent Network&#xff08;CQT&#xff09;现已完成并通过了严格的 Service Organization Control&#xff08;SOC) 2 Type II 的合规性…
阅读更多...
vivo 基于 StarRocks 构建实时大数据分析平台，为业务搭建数据桥梁

vivo 基于 StarRocks 构建实时大数据分析平台，为业务搭建数据桥梁

在大数据时代&#xff0c;数据分析和处理能力对于企业的决策和发展至关重要。 vivo 作为一家全球移动互联网智能终端公司&#xff0c;需要基于移动终端的制造、物流、销售等各个方面的数据进行分析以满足业务决策。 而随着公司数字化服务的演进&#xff0c;业务诉求和技术架构有…
阅读更多...
ELK Stack 日志平台搭建

ELK Stack 日志平台搭建

前言 最近在折腾 ELK 日志平台&#xff0c;它是 Elastic 公司推出的一整套日志收集、分析和展示的解决方案。 专门实操了一波&#xff0c;这玩意看起来简单&#xff0c;但是里面的流程步骤还是很多的&#xff0c;而且遇到了很多坑。在此记录和总结下。 本文亮点&#xff1a;…
阅读更多...
如何添加或编辑自定义WordPress侧边栏

如何添加或编辑自定义WordPress侧边栏

WordPress侧边栏是许多WordPress网站上的固定装置。它为您的内容提供了一个垂直空间&#xff0c;您可以在其中帮助读者导航、增加电子邮件列表或社交关注、展示广告等。 因为它是许多WordPress网站不可或缺的一部分&#xff0c;所以我们认为侧边栏值得拥有自己的大型指南。在这…
阅读更多...
【AIGC】开源声音克隆GPT-SoVITS

【AIGC】开源声音克隆GPT-SoVITS

GPT-SoVITS 是由 RVC 创始人 RVC-Boss 与 AI 声音转换技术专家 Rcell 共同开发的一款跨语言 TTS 克隆项目&#xff0c;被誉为“最强大中文声音克隆项目” 相比以往的声音克隆项目&#xff0c;GPT-SoVITS 对硬件配置的要求相对较低&#xff0c;一般只需 6GB 显存以上的 GPU 即可…
阅读更多...
物体检测-系列教程8：YOLOV5 项目配置

物体检测-系列教程8：YOLOV5 项目配置

1、项目配置 yolo的v1、v2、v3、v4这4个都有一篇对应的论文&#xff0c;而v5在算法上没有太大的改变&#xff0c;主要是对v4做了一个更好的工程化实现 1.1 环境配置 深度学习环境安装请参考&#xff1a;PyTorch 深度学习 开发环境搭建 全教程 要求torch版本>1.6&#xf…
阅读更多...
【Java EE初阶二十一】http的简单理解（二）

【Java EE初阶二十一】http的简单理解（二）

2. 深入学习http 2.5 关于referer Referer 描述了当前页面是从哪个页面跳转来的&#xff0c;如果是直接在地址栏输入 url(或者点击收藏夹中的按钮) 都是没有 Referer。如下图所示&#xff1a; HTTP 最大的问题在于"明文传输”,明文传输就容易被第三方获取并篡改. …
阅读更多...
#gStore-weekly | gStore最新版1.2之新增内置高级函数详解（一）

#gStore-weekly | gStore最新版1.2之新增内置高级函数详解（一）

gStore1.2版本新增了七个高级函数&#xff0c;我们第2期将继续介绍的高级函数为&#xff1a;整体/局部集聚系数&#xff08;clusterCoeff&#xff09;、鲁汶算法&#xff08;louvain&#xff09;、K跳计数&#xff08;kHopCount&#xff09;/K跳邻居&#xff08;kHopNeighbor&a…
阅读更多...
React之拖动组件的设计（一）

React之拖动组件的设计（一）

春节终结束了&#xff0c;忙得我头疼。终于有时间弄自己的东西了。今天来写一个关于拖动的实例讲解。先看效果&#xff1a; 这是一个简单的组件设计&#xff0c;如果用原生的js设计就很简单&#xff0c;但在React中有些事件必须要多考虑一些。这是一个系列的文章&#xff0c;…
阅读更多...
Linux CAfile 文件下的/ca-bundle.crt怎么生成的

Linux CAfile 文件下的/ca-bundle.crt怎么生成的

在配置Linux Nginx SSL证书后&#xff0c;通过服务器访问域名时发现&#xff0c;服务器返回的CA证书是&#xff1a;/etc/pki/tls/certs/ca-bundle.crt 正式我在使用Spring Native安装了Docker自动生成的&#xff0c;而且开启了Docker的自启动&#xff0c;如果你和我一样&#x…
阅读更多...
10MARL深度强化学习 Value Decomposition in Common-Reward Games

10MARL深度强化学习 Value Decomposition in Common-Reward Games

文章目录 前言1、价值分解的研究现状2、Individual-Global-Max Property3、Linear and Monotonic Value Decomposition3.1线性值分解3.2 单调值分解 前言 中心化价值函数能够缓解一些多智能体强化学习当中的问题&#xff0c;如非平稳性、局部可观测、信用分配与均衡选择等问题…
阅读更多...
从零开始学习Netty - 学习笔记 - NIO基础 - 文件编程:FileChannel,Path,Files

从零开始学习Netty - 学习笔记 - NIO基础 - 文件编程:FileChannel,Path,Files

3.文件编程 3.1.FileChannel FileChannel只能工作在非阻塞模式下面&#xff0c;不能和selector一起使用 获取 不能直接打开FIleChannel&#xff0c;必须通过FileInputSream&#xff0c;或者FileOutputSetream &#xff0c;或者RandomAccessFile来获取FileChannel 通过FileIn…
阅读更多...
互联网高科技公司领导AI工业化，MatrixGo加速人工智能落地

互联网高科技公司领导AI工业化，MatrixGo加速人工智能落地

作者&#xff1a;吴宁川 AI&#xff08;人工智能&#xff09;工业化与AI工程化正在引领人工智能的大趋势。AI工程化主要从企业CIO角度&#xff0c;着眼于在企业生产环境中规模化落地AI应用的工程化举措&#xff1b;而AI工业化则从AI供应商的角度&#xff0c;着眼于以规模化方式…
阅读更多...
Rust ?运算符 Rust读写txt文件

Rust ?运算符 Rust读写txt文件

一、Rust &#xff1f;运算符 &#xff1f;运算符&#xff1a;传播错误的一种快捷方式。 如果Result是Ok&#xff1a;Ok中的值就是表达式的结果&#xff0c;然后继续执行程序。 如果Result是Err&#xff1a;Err就是整个函数的返回值&#xff0c;就像使用了return &#xff…
阅读更多...
电脑wifi丢失修复

电脑wifi丢失修复

当你打开电脑突然发现wifi功能不见了&#xff0c;可以先查看一下网卡的状态 在控制面板中找到设备管理器&#xff0c;打开就能找到网络适配器&#xff0c; 我这里是修复过的&#xff0c;wifi丢失后这里可能会显示WALN是丢失的&#xff0c;其他项显示黄色感叹号。 如何修复呢…
阅读更多...
Go语言中的TLS加密：深入crypto/tls库的实战指南

Go语言中的TLS加密：深入crypto/tls库的实战指南

Go语言中的TLS加密&#xff1a;深入crypto/tls库的实战指南 引言crypto/tls库的核心组件TLS配置&#xff1a;tls.Config证书加载与管理TLS握手过程及其实现 构建安全的服务端创建TLS加密的HTTP服务器配置TLS属性常见的安全设置和最佳实践 开发TLS客户端应用编写使用TLS的客户端…
阅读更多...
推荐文章
最新文章

Copyright @ 2022~2023