Go1.18都出泛型了速来围观

go泛型使用的官方说明:https://go.dev/doc/tutorial/generics

在使用之前先把go更新到1.18或者以上的版本:https://go.dev/doc/install

如果用过c++或者Java的话,那么对泛型这个概念应该是不陌生的。(下面这段定义摘抄自百度百科)
泛型程序设计(generic programming)是程序设计语言的一种风格或范式。泛型允许程序员在强类型程序设计语言中编写代码时使用一些以后才指定的类型,在实例化时作为参数指明这些类型。

我们可以用个简单的例子来看看如何使用泛型。

在没有泛型之前,如果我们要写一个比较大小的函数的话,因为go里面没有函数重载的概念,所以我们必须对需要比较的类型都创建一个比较函数,不过这样的话,就会有大量逻辑重复的代码,他们的区别只是变量的类型不同罢了。

package main

import "fmt"
func MaxInt(a, b int) int {
	if a > b {
		return a
	} else {
		return b
	}
}
func MaxFloat32(a, b float32) float32 {
func main() {
	var a, b int
	var c, d float32
	a = 1
	b = 2
	c = 1.1
	d = 1.4
	fmt.Println(MaxInt(a, b))
	fmt.Println(MaxFloat32(c, d))

那么泛型该如何使用呢?
go预留了一个泛型,名为comparable,这是官方定义的一个可比较的类型约束

// comparable is an interface that is implemented by all comparable types
// (booleans, numbers, strings, pointers, channels, arrays of comparable types,
// structs whose fields are all comparable types).
// The comparable interface may only be used as a type parameter constraint,
// not as the type of a variable.
//翻译如下
//comparable是由所有可比较类型实现的接口
//(布尔、数字、字符串、指针、通道、类似类型的数组、,
//字段均为可比较类型的结构)。
//可比接口只能用作类型参数约束,
//不是作为变量的类型。
type comparable interface{ comparable }

我们可以来自己声明一个类型约束。

type Number interface {
	int | int32 | int64 | float32
}

如上定义表示如果参数类型要为intint32int64float32这四个类型其中一个的适合,可以用Number替代。
所以我们可以把最初比较大小的代码进行修改、简化一下。

package main

import "fmt"
type Number interface {
	int | int32 | int64 | float32
}
func MaxNumber[K Number](a K, b K) K {
	if a > b {
		return a
	} else {
		return b
	}
func main() {
	var a, b int
	var c, d float32
	a = 1
	b = 2
	c = 1.1
	d = 1.4
	fmt.Println(MaxNumber(a, b))
	fmt.Println(MaxNumber(c, d))

在函数名后面用在中括号中使用类型约束,这时候在函数里面K就表示Number这个类型约束,然后可以用在函数的参数列表、函数体、返回值中。

加入需要用到以int或者float32等基本类型为基础的类型时,例如type MyInt int,需要在类型名前面加上~

type Number interface {
 	~int
}

如果不加的话,使用时会出现如下错误提示

# generics-demo
.\main.go:23:23: MyInt does not implement Number (possibly missing ~ for int in constraint Number)

到此这篇关于Go1.18都出泛型了,不来试试看?的文章就介绍到这了,更多相关Go1.18泛型内容请搜索我们以前的文章或继续浏览下面的相关文章希望大家以后多多支持我们!

(0)

相关推荐

  • Goland支持泛型了(上机实操)

    事情出因 一大早上被一篇公众号的推文震惊了,Goland竟然支持go的泛型了.据我所知: Go的泛型不是还在设计草图吗?最乐观估计也要2021年8月份.你说Go语言现在都没开发好泛型,你支持这个特性有什么用呢? 带着好奇心点开推文,没发现对泛型的说明,只看到一个Goland对泛型的使用的说明链接: https://blog.jetbrains.com/go/2020/11/24/experimenting-with-go-type-parameters-generics-in-goland/,心

  • 浅谈Go1.18中的泛型编程

    目录 前言 以前的Go泛型 泛型是什么 Go的泛型 泛型函数 泛型类型 类型集合 和接口的差异 总结 前言 经过这几年的千呼万唤,简洁的Go语言终于在1.18版本迎来泛型编程.作为一门已经有了14年历史的强类型语言,很难相信它到现在才开始有一个正式的泛型. 以前的Go泛型 虽然直到1.18版本才加入泛型,但是在2014年便有相关的讨论要在Go中加入泛型设计.但是由于各种原因没有实现.而之后的接口(interface)的提出,让泛型进一步搁置.但是由于接口的缺陷,最终Go团队还是在1.18的版本中

  • Go 泛型和非泛型代码详解

    目录 1. 开启泛型 2.无泛型代码和泛型代码 2.1. AddSlice 2.2. 带方法的约束 StringConstraint 1. 开启泛型 在 Go1.17 版本中,可以通过: export GOFLAGS="-gcflags=-G=3" 或者在编译运行程序时加上: go run -gcflags=-G=3 main.go 2.无泛型代码和泛型代码 2.1. AddSlice 首先看现在没有泛型的代码: package main ​ import ( "fmt&qu

  • Go1.18都出泛型了速来围观

    go泛型使用的官方说明:https://go.dev/doc/tutorial/generics 在使用之前先把go更新到1.18或者以上的版本:https://go.dev/doc/install 如果用过c++或者Java的话,那么对泛型这个概念应该是不陌生的.(下面这段定义摘抄自百度百科)泛型程序设计(generic programming)是程序设计语言的一种风格或范式.泛型允许程序员在强类型程序设计语言中编写代码时使用一些以后才指定的类型,在实例化时作为参数指明这些类型. 我们可以用个

  • Go1.18新特性对泛型支持详解

    目录 1.泛型是什么 2.泛型类型的定义 2.1.声明一个自定义类型 2.2.内置的泛型类型any和comparable 2.3.泛型中的~符号是什么 1.泛型是什么 Go1.18增加了对泛型的支持,泛型是一种独立于使用的特定类型编写代码的方式.现在可以编写函数和类型适用于一组类型集合的任何一种.泛型生命周期只在编译期,旨在开发中减少重复代码的编写. 由于go属于静态强类型语言,例如在比较两个数的大小时,没有泛型的时候,仅仅只是传入类型不一样,我们就要再复制一份一样的函数,如果有了泛型就可以减少

  • Go1.18新特性之泛型使用三步曲(小结)

    目录 01 Go中的泛型是什么 1.1 传统的函数编写方式 1.2 泛型函数编写方式 02 从泛型被加入之前说起 2.1 针对每一种类型编写一套重复的代码 2.2 使用空接口并通过类型断言来判定具体的类型 2.3 传递空接口并使用反射解析具体类型 2.4 通过自定义接口类型实现 03 深入理解泛型--泛型使用“三步曲” 3.1 第一步:类型参数化 3.2 第二步:给类型添加约束 3.3 第三步:类型参数实例化 04 泛型类型约束和普通接口的区别 总结 01 Go中的泛型是什么 众所周知,Go是一

  • Go1.18新特性使用Generics泛型进行流式处理

    前言 Stream 是一个基于 Go 1.18+ 泛型的流式处理库, 它支持并行处理流中的数据. 并行流会将元素平均划分多个的分区, 并创建相同数量的 goroutine 执行, 并且会保证处理完成后流中元素保持原始顺序. GitHub - xyctruth/stream: A Stream library based on Go 1.18+ Generics (Support Parallel Stream) 安装 需要安装 Go 1.18+ 版本 $ go get github.com/xy

  • Go1.18 新特性之多模块Multi-Module工作区模式

    目录 背景 举例:未发布的 module Go1.18 新特性:多模块(Multi-Module)工作区模式 Go1.18 工作区模式 初始化一个新的工作区 go.work 文件结构 go.work 文件优先级高于 go.mod 中定义在 如何禁用工作区 背景 在 go 中使用多个模块可能真的是一件苦差事.特别是当您的一个模块依赖于另一个模块时,您需要同时编辑这两个模块! 您编辑父模块,但是然后您需要将其推送到repo.然后在依赖模块中运行 update 以下载新版本.最终使用2行修复您需要的.

  • 关于升级go1.18的goland问题详解

    截止目前,go1.18 已经发布了22 天,当前有很多的小伙伴已经在使用最新的版本,尝试着各种解锁新姿势. 但是更新之后,在goland中打开发现全是报错,是不是怀疑自己打开的方式不对? 报错:'main'redeclared as the imported package name 报错:Cannot use 'fmt.Sprintf("xxx:%v" , err)' (type string) as the type any 对于这类完全不知道的新问题,尝试着删除 .idea 文件

  • JDK都出到14了,你有什么理由不会函数式编程(推荐)

    函数式接口 先看一下官方定义 Functional interfaces provide target types for lambda expressions and method references. 可以看出函数式接口主要用于lambda表达式,这类接口只定义了唯一的抽象方法的接口(除了隐含的Object对象的公共方法),一开始也称SAM类型接口(Single Abstract Method). 简单使用 List<Integer> list = Lists.newArrayList(

  • Go1.18新特性工作区模糊测试及泛型的使用详解

    目录 前言 Go工作区模式(Go Workspace Mode) 现实的情况 多仓库同时开发 多个新仓库开始开发 工作区模式是什么 推荐的使用方法 使用时的注意点 Go模糊测试(Go Fuzzing Test) 为什么Golang要支持模糊测试 模糊测试是什么 Golang的模糊测试如何使用 最简单的实践例子 提供自定义语料 使用时的注意点 Go的泛型 类型参数(Type Parameters) 类型集合(Type Sets) 类型推导(Type Inference) 类型统一化(Type Un

  • 聊一聊C#接口问题 新手速来围观

    这段时间的项目有用到接口,开始不是特别理解接口,只是单单知道接口定义非常简单,甚至觉得这个接口只是多此一举(个人开发的时候).现在开始团队开发,才发现接口原来是这么的重要和便捷! 接下来就来谈谈我这段时间对接口使用的粗浅见解,说的对希望大家赞,说的有误的地方希望大家多多包涵建议! READY GO! 接口的定义就不多说了,它有一个很重要的知识点,就是所有继承这个接口类的都必须实现接口中的定义,说到这个必须,在团队开发中,只要我们商定好了接口,那我们的代码是不是就统一了!!! 这是我觉得接口重要的

随机推荐