- 当前位置：首页 >人工智能 >Go 提案：增加泛型版 Slices 和 Maps 新包
Go 提案：增加泛型版 Slices 和 Maps 新包
发布时间：2025-11-04 14:30:41 来源：云智核 作者：域名
本文转载自微信公众号「脑子进煎鱼了」，提案作者陈煎鱼。增加转载本文请联系脑子进煎鱼了公众号。泛型
大家好，新包我是提案煎鱼。
现在是增加 2021 年 8 月份了，根据 Go 语言发布周期的泛型 2，8 原则。新包Go 1.17 即将发布，提案在写这篇文章时，增加现在已经进行到了 rc2：
这意味着离 Go1.18 释出泛型的泛型正式支持又近了一点点，社区中讨论泛型相关的新包周边功能的声音又多了起来。
今天要讨论的提案泛型版功能支持也是如此，分别包含：map(#47330)、增加slice(#45955)、泛型container/set(#47331) 三种通用类型的支持。
我们主要展开 maps 和 slices，其余的都大同小异，理解核心思想就好。
maps
该提案建议定义一个新的包 maps，它将提供可用于任何类型的 map 的函数：
下面的云服务器提供商描述侧重于描述 API 的提供：
package maps func Keys[K comparable, V any](m map[K]V) []K func Values[K comparable, V any](m map[K]V) []V func Equal[K, V comparable](m1, m2 map[K]V) bool func EqualFunc[K comparable, V1, V2 any](m1 map[K]V1, m2 map[K]V2, cmp func(V1, V2) bool) bool func Clear[K comparable, V any](m map[K]V) func Clone[K comparable, V any](m map[K]V) map[K]V func Add[K comparable, V any](dst, src map[K]V) func Filter[K comparable, V any](m map[K]V, keep func(K, V) bool) Keys：返回 map 的键值。这些键将是一个不确定的顺序。 Values：返回 map 值。这些值将以不确定的顺序出现。 Equal：匹配两个 map 是否包含相同的键/值对。 EqualFunc：EqualFunc 与 Equal 类似，但使用 cmp 进行数值比较。 Clear：从 map 中清除所有条目，使其为空。 Clone：返回一个 map 的副本，这是一个浅层克隆。新的键和值使用普通的赋值来设置。 Add：将 src 中的所有键/值对添加到 dst 中。当 src 中的一个键已经存在于 dst 中时，dst 中的值将被 src 中的键相关的值覆盖。 Filter：过滤器从 map 中删除任何 keep 返回结果为 false 的键/值对。云南idc服务商slice
该提案建议定义一个新的包 slices，它将提供可用于任何类型的 slice 的函数：
下面的描述侧重于描述 API 的提供：
package slices import "constraint" func Equal[T comparable](s1, s2 []T) bool func EqualFunc[T1, T2 any](s1 []T1, s2 []T2, eq func(T1, T2) bool) bool func Compare[T constraints.Ordered](s1, s2 []T) int func CompareFunc[T any](s1, s2 []T, cmp func(T, T) int) int func Index[T comparable](s []T, v T) int func IndexFunc[T any](s []T, f func(T) bool) int func Contains[T comparable](s []T, v T) bool func Insert[S constraints.Slice[T], T any](s S, i int, v ...T) S func Delete[S constraints.Slice[T], T any](s S, i, j int) S func Clone[S constraints.Slice[T], T any](s S) S Equal：检查两个切片是否相等，以长度和元素值来比较。 EqualFunc：检查两个切片是否相等，以所传入的匹配函数来比较。 Compare/CompareFunc： Compare 比较两个切片 s1 和 s2 的元素。 CompareFunc 与 Compare 类似，在每一对元素上使用所传入的比较函数。 Index： Index 返回值 v 在切片 s 中第一次出现的索引，如果不存在，则返回-1。 IndexFunc 返回满足f(c)的第一个元素在s中的索引，如果没有则返回-1。 Contains：检查值 v 是否存在于切片 s 中。插入、删除、克隆的 API 比较常见，这里我就不展开了。服务器租用在通用类型的切片有一些比较特殊的 API：
func Compact[S constraints.Slice[T], T comparable](s S) S func CompactFunc[S constraints.Slice[T], T any](s S, cmp func(T, T) bool) S func Grow[S constraints.Slice[T], T any](s S, n int) S func Clip[S constraints.Slice[T], T any](s S) S Compact/CompactFunc： Compact 将连续运行的相等元素替换为单一的副本。这就像 Unix 中的 uniq 命令。会直接修改切片 s 的内容，不会重新创建一个。 CompactFunc 与 Compact 方法类似，但是使用一个比较函数来匹配。 Grow：如果有必要，Grow 会增长切片的容量，以保证另外 n 个元素的空间。在 Grow(n) 之后，至少有 n 个元素可以被添加到分片中而不需要再分配。如果 n 是负数或者太大，无法分配内存，Grow 将陷入恐慌。 Clip：从切片中移除未使用的容量，返回s[:len(s):len(s)]。总结
如果这些提议被接受，这几个新包将被包含在实现泛型后的第一个Go版本中(我们目前预计将是Go 1.18)。
从issues 的讨论来看，通用类型的新包支持很大概率会实现，主要争议在实现细节，例如：性能、命名、规范等。
实现后值得期待，又是一次生产力的优化!
- 解决电脑开机显示英文Windows错误恢复的问题（从错误诊断到系统恢复，帮助您解决电脑开机故障）
- windows 7系统提示文件无法放入回收站需要永久删除怎么解决？
- windows7系统清理通知区域图标图文教程
- windows 7系统文件访问被拒绝怎么办？ 文件访问被拒更改文件所有
- 苹果6s手机质量评测（用心设计，品质保证，苹果6s手机的优势与不足）
- windows 7不能在同一窗口打开文件夹，如何解决？
- windows 7系统关闭回收站功能实现彻底删除文件的方法
- windows7使用技巧大全
- 三星台式电脑装机教程（简单易懂的三星台式电脑装机教程，助你快速搭建个人工作站）
- windows 7VNC客户端连接RedHatLinuxAS5.8的配置图文教程
- 解决电脑上Xbox游戏安装错误的有效方法（遇到电脑上Xbox游戏安装错误？快来学习解决办法！）
- windows 7系统隐藏账户查看与删除方法图文教程
- windows 7旗舰版64位系统无法进入安全模式怎么办？
- 利用Windows7三种电源模式为电脑降温的方法介绍
- 电脑网络IP连接错误的解决方法（探索常见IP连接错误及解决方案）
- 不联网没有QQ怎么截图？windows 7截图工具快速截图教程
- Windows7 library(库)使用技巧
- windows 7系统电脑图片预览不能显示的解决办法
- Win10系统如何关闭自动更新（停用Win10系统的自动更新功能以保持更大控制权）
- windows7 系统优化十大技巧助你的电脑一快再快
随便看看
香港云服务器服务器租用企商汇亿华云源码下载IT技术网源码库益华科技IT资讯网益强IT技术网益强编程舍益强科技码力社创站工坊云智核智能时代汇智坊极客编程码上建站益强前沿资讯亿华云云站无忧亿华智造思维库益华科技益强科技亿华智慧云科技前瞻亿华科技编程之道益华IT技术论坛运维纵横益强数据堂极客码头多维IT资讯亿华互联全栈开发IT资讯网益华科技益强智囊团技术快报亿华云计算
- Copyright © 2025 Powered by Go 提案：增加泛型版 Slices 和 Maps 新包,云智核 滇ICP备2023006006号-28sitemap