文章详情

短信预约-IT技能 免费直播动态提醒

请输入下面的图形验证码

提交验证

短信预约提醒成功

Golang 中的通用结构/接口列表

2024-02-13 17:26

关注

php小编百草在这篇文章中将为大家介绍Golang中的通用结构/接口列表。Golang是一种开源的编程语言,具有简单易学、高效可靠的特点,被广泛应用于网络编程、云计算等领域。在Golang中,通用结构和接口是非常重要的概念,可以帮助我们实现代码的复用性和扩展性。通过本文的介绍,相信读者们能够更好地理解和应用Golang中的通用结构和接口,提升自己的编程技能。

问题内容

有没有办法在 go 中获得通用结构/接口的列表?

这就是我想要实现的目标。

package main

type List[T any] struct {
    Elements []T
}

func (f *List[T]) Add(el T) {
    f.Elements = append(f.Elements, el)
}

type ListInterface[T any] interface {
    Add(el T)
}

func main() {
    listOfLists := make([]ListInterface[any], 0)
    listOfLists = append(listOfLists, &List[int]{})
}

这是我得到的错误。

cannot use &List[int]{} (value of type *List[int]) as ListInterface[any] value in argument to append: *List[int] does not implement ListInterface[any] (wrong type for method Add)
    have Add(int)
    want Add(any)

所以,如果我理解正确的话,在 go 中 any 是它自己的类型。它不是“运行时想要的任何类型”的同义词。我的问题是,是否有可能做这样的事情?

解决方法

您在这里尝试执行的操作表明您期望 go 的泛型能够进行类型擦除(就像 Java 泛型一样)。但事实并非如此。

你有一个 List[int],这意味着它的 Add 方法如下所示:

func (l *List) Add(el int) {
    l.Elements = append(l.Elements, el)
}

然后尝试将其添加到实现该接口的对象切片中:

Add(v any)

现在,您可能认为 int 可以用作 any,您是对的,它可以,但是当您看到:

var s []ListInterface[any]

您是说,所述切片中的所有元素都将具有 Add 方法,该方法采用 any 类型的参数,因此这意味着:

s[0].Add("foo")
s[1].Add(123)

应该始终是有效的调用。如果 s[0] 的类型为 List[int] (如您的代码片段中的情况),则这不成立。您将尝试将字符串附加到 Elements ,其类型为 []int

有一种说法认为应该允许逆向:

s := []ListInterface[int]{}
s = append(s, &List[any]{})

看来 List[any] 将接受 int 参数,但这也是不允许的。在某些情况下这可能很有用,但在很多情况下这可能会出现问题。

本质上,Go 中的泛型是在编译时处理的事情。当您创建 List[int] 时,编译器将创建一个类似 List_int 的类型,并在该类型上实现 Add(el int) 方法,与您最终使用的任何其他 List 类型相同。这些类型都不会具有 Add(any) 方法,除非您创建 List[any]。将其视为编译器辅助的样板代码生成。不是运行时类型擦除。

结果: List[int]List[any] 是完全不同的类型,因此不能并排坐在切片中,就好像它们是同一类型一样。如果您希望能够做您想做的事情,您可以这样做:

func (l *List[T]) AddAny(v any) {
    tv, ok := v.(T)
    if !ok {
        return // or return an error
    }
    l.Add(tv)
}

采用 any 值的方法,使用类型断言来查看给定值是否与列表的基础类型兼容,如果是这种情况则添加它。然后您可以将它们添加到单个切片中,如下所示:

type Lists interface {
    AddAny(any)
}

s := []Lists{}
s = append(s, &List[int]{}, &List[string]{})
s[0].AddAny(123) // will work
s[0].AddAny("foo") // will not, with the current code this will silently fail
s[1].AddAny("foo") // works fine
s[1].AddAny(123) // silently fails

但实际上,当你做这样的事情时,代码只是尖叫 X-Y 问题,你试图使用 Y(泛型)来解决你的问题,而真正的问题是 X:什么是最好的方法解决问题?

以上就是Golang 中的通用结构/接口列表的详细内容,更多请关注编程网其它相关文章!

阅读原文内容投诉

免责声明:

① 本站未注明“稿件来源”的信息均来自网络整理。其文字、图片和音视频稿件的所属权归原作者所有。本站收集整理出于非商业性的教育和科研之目的,并不意味着本站赞同其观点或证实其内容的真实性。仅作为临时的测试数据,供内部测试之用。本站并未授权任何人以任何方式主动获取本站任何信息。

② 本站未注明“稿件来源”的临时测试数据将在测试完成后最终做删除处理。有问题或投稿请发送至: 邮箱/279061341@qq.com QQ/279061341

软考中级精品资料免费领

  • 历年真题答案解析
  • 备考技巧名师总结
  • 高频考点精准押题
  • 2024年上半年信息系统项目管理师第二批次真题及答案解析(完整版)

    难度     801人已做
    查看
  • 【考后总结】2024年5月26日信息系统项目管理师第2批次考情分析

    难度     348人已做
    查看
  • 【考后总结】2024年5月25日信息系统项目管理师第1批次考情分析

    难度     311人已做
    查看
  • 2024年上半年软考高项第一、二批次真题考点汇总(完整版)

    难度     432人已做
    查看
  • 2024年上半年系统架构设计师考试综合知识真题

    难度     220人已做
    查看

相关文章

发现更多好内容

猜你喜欢

AI推送时光机
位置:首页-资讯-后端开发
咦!没有更多了?去看看其它编程学习网 内容吧
首页课程
资料下载
问答资讯