当前位置:首页 > 文章列表 > Golang > Go问答 > 在 golang 1.18 中,逆变类型是如何结合泛型工作的?

在 golang 1.18 中,逆变类型是如何结合泛型工作的?

来源:stackoverflow 2024-03-27 17:36:29 0浏览 收藏

今日不肯埋头,明日何以抬头!每日一句努力自己的话哈哈~哈喽,今天我将给大家带来一篇《在 golang 1.18 中,逆变类型是如何结合泛型工作的?》,主要内容是讲解等等,感兴趣的朋友可以收藏或者有更好的建议在评论提出,我都会认真看的!大家一起进步,一起学习!

问题内容

在 golang 1.18 中,我想定义一个如下函数:

func pipe[a, t1, t2 any](left func(a) t1, right func(t1) t2) func(a) t2 {
    return func(a a) t2 {
        return right(left(a))
    }
}

例如left 函数的输出应该是 right 函数的输入,表示为泛型。

我注意到,对于以下示例,这无法按预期工作:

func openfile(name string) *os.file {
...
}

func readall(rdr io.reader) []byte {
...
}

var openread = pipe(openfile, readall)

编译失败,因为编译器认为 t1*os.file,尽管它与 io.reader 兼容,但并不完全相同。

如果我要在没有模板的情况下调用链,如下所示:

var result = ReadAll(OpenFile("test"))

然后编译器识别兼容类型。

问题:

  • golang 1.18 泛型中有没有办法修复 pipe 的签名以实现所需的行为?
  • golang 1.18 的行为是设计使然还是一个错误?

正确答案


  1. 没有。
  2. 不,不是错误。请参阅FAQ

鉴于 go 不支持协变结果类型,您需要将 left 的结果转换为 right 接受的类型。然而,目前有 no way to express convertibility 个使用类型参数。

如果您愿意,可以根据该链接中的示例调整代码,您将得到类似 this 的内容,但请记住,它不是“编译时类型安全”。

func Pipe[A, T1, T2, T3 any](left func(A) T1, right func(T2) T3) func(A) T3 {
    return func(a A) T3 {
        return right(any(left(a)).(T2))
    }
}

以上就是本文的全部内容了,是否有顺利帮助你解决问题?若是能给你带来学习上的帮助,请大家多多支持golang学习网!更多关于Golang的相关知识,也可关注golang学习网公众号。

版本声明
本文转载于:stackoverflow 如有侵犯,请联系study_golang@163.com删除
意法半导体与三星合作推出支持嵌入式 PCM 的 18nm FD-SOI 工艺意法半导体与三星合作推出支持嵌入式 PCM 的 18nm FD-SOI 工艺
上一篇
意法半导体与三星合作推出支持嵌入式 PCM 的 18nm FD-SOI 工艺
实现网页动态效果的方法——结合PHP和jQuery
下一篇
实现网页动态效果的方法——结合PHP和jQuery
查看更多
最新文章
查看更多
课程推荐
  • 前端进阶之JavaScript设计模式
    前端进阶之JavaScript设计模式
    设计模式是开发人员在软件开发过程中面临一般问题时的解决方案,代表了最佳的实践。本课程的主打内容包括JS常见设计模式以及具体应用场景,打造一站式知识长龙服务,适合有JS基础的同学学习。
    542次学习
  • GO语言核心编程课程
    GO语言核心编程课程
    本课程采用真实案例,全面具体可落地,从理论到实践,一步一步将GO核心编程技术、编程思想、底层实现融会贯通,使学习者贴近时代脉搏,做IT互联网时代的弄潮儿。
    511次学习
  • 简单聊聊mysql8与网络通信
    简单聊聊mysql8与网络通信
    如有问题加微信:Le-studyg;在课程中,我们将首先介绍MySQL8的新特性,包括性能优化、安全增强、新数据类型等,帮助学生快速熟悉MySQL8的最新功能。接着,我们将深入解析MySQL的网络通信机制,包括协议、连接管理、数据传输等,让
    498次学习
  • JavaScript正则表达式基础与实战
    JavaScript正则表达式基础与实战
    在任何一门编程语言中,正则表达式,都是一项重要的知识,它提供了高效的字符串匹配与捕获机制,可以极大的简化程序设计。
    487次学习
  • 从零制作响应式网站—Grid布局
    从零制作响应式网站—Grid布局
    本系列教程将展示从零制作一个假想的网络科技公司官网,分为导航,轮播,关于我们,成功案例,服务流程,团队介绍,数据部分,公司动态,底部信息等内容区块。网站整体采用CSSGrid布局,支持响应式,有流畅过渡和展现动画。
    484次学习
查看更多
AI推荐
  • 千音漫语:智能声音创作助手,AI配音、音视频翻译一站搞定!
    千音漫语
    千音漫语,北京熠声科技倾力打造的智能声音创作助手,提供AI配音、音视频翻译、语音识别、声音克隆等强大功能,助力有声书制作、视频创作、教育培训等领域,官网:https://qianyin123.com
    86次使用
  • MiniWork:智能高效AI工具平台,一站式工作学习效率解决方案
    MiniWork
    MiniWork是一款智能高效的AI工具平台,专为提升工作与学习效率而设计。整合文本处理、图像生成、营销策划及运营管理等多元AI工具,提供精准智能解决方案,让复杂工作简单高效。
    81次使用
  • NoCode (nocode.cn):零代码构建应用、网站、管理系统,降低开发门槛
    NoCode
    NoCode (nocode.cn)是领先的无代码开发平台,通过拖放、AI对话等简单操作,助您快速创建各类应用、网站与管理系统。无需编程知识,轻松实现个人生活、商业经营、企业管理多场景需求,大幅降低开发门槛,高效低成本。
    94次使用
  • 达医智影:阿里巴巴达摩院医疗AI影像早筛平台,CT一扫多筛癌症急慢病
    达医智影
    达医智影,阿里巴巴达摩院医疗AI创新力作。全球率先利用平扫CT实现“一扫多筛”,仅一次CT扫描即可高效识别多种癌症、急症及慢病,为疾病早期发现提供智能、精准的AI影像早筛解决方案。
    87次使用
  • 智慧芽Eureka:更懂技术创新的AI Agent平台,助力研发效率飞跃
    智慧芽Eureka
    智慧芽Eureka,专为技术创新打造的AI Agent平台。深度理解专利、研发、生物医药、材料、科创等复杂场景,通过专家级AI Agent精准执行任务,智能化工作流解放70%生产力,让您专注核心创新。
    87次使用
微信登录更方便
  • 密码登录
  • 注册账号
登录即同意 用户协议隐私政策
返回登录
  • 重置密码