2022年03月22日 Go生态洞察：泛型介绍

news2024/11/17 5:49:47

🌷🍁 博主猫头虎（🐅🐾）带您 Go to New World✨🍁

🦄 博客首页——🐅🐾猫头虎的博客🎐
🐳 《面试题大全专栏》 🦕 文章图文并茂🦖生动形象🐅简单易学！欢迎大家来踩踩~🌺
🌊 《IDEA开发秘籍专栏》 🐾 学会IDEA常用操作，工作效率翻倍~💐
🌊 《100天精通Golang(基础入门篇）》 🐅 学会Golang语言，畅玩云原生，走遍大小厂~💐

🐅🐾猫头虎建议Go程序员必备技术栈一览表📖：

☁️🐳 Go语言开发者必备技术栈☸️:
🐹 GoLang | 🌿 Git | 🐳 Docker | ☸️ Kubernetes | 🔧 CI/CD | ✅ Testing | 💾 SQL/NoSQL | 📡 gRPC | ☁️ Cloud | 📊 Prometheus | 📚 ELK Stack

🪁🍁 希望本文能够给您带来一定的帮助🌸文章粗浅，敬请批评指正！🐅🐾🍁🐥

在这里插入图片描述

文章目录

- 🐅🐾猫头虎建议Go程序员必备技术栈一览表📖：
2022年03月22日 Go生态洞察：泛型介绍
- - 🐾 摘要
  - 🐾 引言
- 🐾 正文
- - 🐅 泛型基础
  - 🐅 类型参数
  - 🐅 类型集
  - 🐅 类型推断
  - 🐅 实践中的类型推断
  - 🐅 代码示例
  - 🐅 总结
  - 🐾 下一篇预告
原创声明

原创作者：猫头虎
作者wx： Libin9iOak
作者公众号：猫头虎技术团队

在这里插入图片描述

2022年03月22日 Go生态洞察：泛型介绍

🐾 摘要

作为猫头虎博主，今天来聊聊Go语言的一个重大更新——泛型！在这篇文章里，我将深入探讨Go 1.18中引入的泛型功能。咱们不仅会涉及基础知识，还会深挖一些高级应用。如果你对Go的新特性感兴趣，别错过这次深入洞察！

🐾 引言

Go 1.18的发布带来了对泛型的支持，这是自Go首次开源发布以来的最大变化。泛型让代码能够独立于正在使用的特定类型。本文将介绍这一新特性的关键点，涵盖类型参数、类型集、类型推断等方面。

🐾 正文

🐅 泛型基础

泛型允许函数和类型使用一组类型。它在Go语言中添加了三大新内容：

函数和类型的类型参数。
将接口类型定义为类型集，包括没有方法的类型。
类型推断，允许在许多情况下在调用函数时省略类型参数。

🐅 类型参数

类型参数看起来像普通参数列表，但使用方括号而非圆括号。以下是一个基础的非泛型Min函数示例，用于比较浮点值：

func Min(x, y float64) float64 {
    if x < y {
        return x
    }
    return y
}

通过添加类型参数列表，我们可以将此函数变为泛型。例如，添加单个类型参数T并用T替换float64：

import "golang.org/x/exp/constraints"

func GMin[T constraints.Ordered](x, y T) T {
    if x < y {
        return x
    }
    return y
}

现在，可以通过像x := GMin[int](2, 3)这样的调用来使用此函数。

🐅 类型集

类型参数列表中每个类型参数的类型定义了类型集。例如，泛型GMin中的Ordered约束描述了所有具有可排序值的类型集。在Go中，类型约束必须是接口。例如，interface{ int|string|bool }定义了包含int、string和bool类型的类型集。

🐅 类型推断

类型推断是最复杂的语言变化之一。例如，函数参数类型推断允许从函数的参数推断出类型参数。另一种是约束类型推断，它从类型参数约束中推断出类型参数。

🐅 实践中的类型推断

虽然类型推断的细节复杂，但使用起来非常直接：类型推断要么成功，要么失败。如果成功，就可以省略类型参数，调用泛型函数就像调用普通函数一样。

🐅 代码示例

以下是一些实际的代码示例，展示了泛型在Go中的应用：

基础Min函数

func Min(x, y float64) float64 {
    if x < y {
        return x
    }
    return y
}

泛型GMin函数

import "golang.org/x/exp/constraints"

func GMin[T constraints.Ordered](x, y T) T {
    if x < y {
        return x
    }
    return y
}

类型推断应用

var a, b, m float64
m = GMin(a, b) // 无需类型参数

🐅 总结

泛型是Go 1.18中一个重大的新特性，尽管目前还没有在生产环境中得到大规模测试，

但我们相信这一功能的实现是高质量的。泛型的引入让Go程序员的工作变得更高效。

特性	描述
类型参数	允许函数和类型具有类型参数
类型集	接口定义为类型集，包括无方法的类型
类型推断	在许多情况下允许省略类型参数

本文被猫头虎的Go生态洞察专栏收录，详情点击这里