深入理解Go泛型里的 ~[]E

 更新时间:2026年02月25日 09:16:14   作者:Kevin666  
本文主要介绍了深入理解Go泛型里的 ~[]E,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧

一句话概括:~[]E 是一种类型约束,它允许函数接受任何“底层类型”为切片 []E 的类型,而不仅仅是原生切片 []E 本身。

下面是详细分解说明:

1. 核心概念:~符号

这个 ~ 符号是关键,它被称为“类型近似”(Type Approximation)。它的作用是放宽类型约束,从“必须是这个确切类型”变为“底层实现是这个类型就行”。

2. 为什么需要它?解决什么问题?

Go 允许我们基于现有类型创建新的“具名类型”(Named Type)。例如:

// 我们定义了一个新的类型 MyIntSlice,它的底层实现是一个 int 切片
type MyIntSlice []int

在 Go 严格的类型系统中,MyIntSlice[]int 是两种完全不同的类型。

问题来了:假设你写了一个泛型函数,希望它能处理任何类型的切片:

// 版本1:没有 `~`
func processSlice[S []E, E any](s S) {
    // ... 对切片 s 进行操作
}

var a []int = []int{1, 2}
var b MyIntSlice = []int{3, 4}

processSlice(a) // 正确,因为 a 的类型就是 []int
processSlice(b) // 编译错误!

processSlice(b) 会编译失败,因为 b 的类型是 MyIntSlice,它不等于 []E 这个约束(在这里 []E 被推断为 []int)。编译器会告诉你:MyIntSlice does not implement []int

3.~如何解决问题

通过添加 ~,你告诉编译器:“我不在乎它的具体名字是什么,只要它的底层本质是个切片就行”。

// 版本2:使用 `~`
func processSliceFixed[S ~[]E, E any](s S) {
    // ...
}

var a []int = []int{1, 2}
var b MyIntSlice = []int{3, 4}

processSliceFixed(a) // 正确,[]int 的底层类型是 []int
processSliceFixed(b) // 正确,MyIntSlice 的底层类型也是 []int

现在,processSliceFixed 函数既能接受原生的 []int,也能接受我们自定义的 MyIntSlice,因为它们的底层类型都满足 []E 的模式。

精辟总结

语法含义类比
[]E类型必须就是 []E。只认官方发的“身份证”。
~[]E类型的底层实现必须是 []E。不但认“身份证”,也认基于身份证信息办理的、功能一样的“市民卡”。

所以,当你希望你的泛型函数更具通用性,能够处理基于切片、map、或其他基础类型创建的自定义类型时,~ 就是必不可少的工具。

到此这篇关于深入理解Go泛型里的 ~[]E的文章就介绍到这了,更多相关Go泛型 ~[]E内容请搜索脚本之家以前的文章或继续浏览下面的相关文章希望大家以后多多支持脚本之家!

您可能感兴趣的文章:

相关文章

  • go日志库logrus的安装及快速使用

    go日志库logrus的安装及快速使用

    这篇文章主要为大家介绍了go日志库logrus的安装及快速使用示例详解,有需要的朋友可以借鉴参考下,希望能够有所帮助,祝大家多多进步,早日升职加薪
    2022-08-08
  • Go项目的目录结构详解

    Go项目的目录结构详解

    这篇文章主要介绍了Go项目的目录结构,对基础目录做了讲解,对项目开发中的其它目录也一并做了介绍,需要的朋友可以参考下
    2014-10-10
  • Go defer 原理和源码剖析(推荐)

    Go defer 原理和源码剖析(推荐)

    这篇文章主要介绍了Go defer 原理和源码剖析,需要的朋友可以参考下
    2021-11-11
  • Golang验证器之validator是使用详解

    Golang验证器之validator是使用详解

    Validator是一个 Golang 的第三方库,用于对数据进行校验,常用于 API 的开发中,对客户端发出的请求数据进行严格校验,防止恶意请求。本文通过示例详细讲解了Validator的使用,需要的可以参考一下
    2022-08-08
  • Golang channel为什么不会阻塞的原因详解

    Golang channel为什么不会阻塞的原因详解

    这篇文章主要为大家介绍了Golang channel为什么不会阻塞的原因详解,有需要的朋友可以借鉴参考下,希望能够有所帮助,祝大家多多进步,早日升职加薪
    2022-07-07
  • Go字符串切片操作str1[:index]的使用

    Go字符串切片操作str1[:index]的使用

    Go字符串切片str1[:index]从起始位置0到index-1截取,不复制数据,利用字符串不可变性和共享内存机制提升性能,具有一定的参考价值,感兴趣的可以了解一下
    2025-06-06
  • Go Run, Go Build, Go Install的区别

    Go Run, Go Build, Go Install的区别

    本文深入探讨Go语言中gorun、gobuild和goinstall三个常用命令的功能区别和适用场景,文中通过具体代码示例,详细解释了各命令的使用方式及其应用场景,帮助开发者高效利用这些工具
    2024-10-10
  • Go语言web框架Gin响应客户端的方式

    Go语言web框架Gin响应客户端的方式

    Gin是一个用Go语言编写的web框架,它是一个类似于martini但拥有更好性能的API框架, 由于使用了httprouter,速度提高了近40倍,本文给大家介绍了Go语言web框架Gin响应客户端有哪些方式,文中有详细的代码示例供大家参考,需要的朋友可以参考下
    2024-10-10
  • 举例讲解Go语言中函数的闭包使用

    举例讲解Go语言中函数的闭包使用

    这篇文章主要介绍了Go语言中函数的闭包使用示例,函数闭包closure是编程语言中十分重要的特性,需要的朋友可以参考下
    2016-03-03
  • 一文带你吃透Golang中net/http标准库服务端

    一文带你吃透Golang中net/http标准库服务端

    这篇文章将从服务端(Server)作为切入点和大家分享一下Go语言net/http标准库的实现逻辑,进而一步步分析http标准库内部是如何运作的,感兴趣的可以了解下
    2024-03-03

最新评论