Go 1.18 中的自引用接口,代码看得懂吗?

共 1956字,需浏览 4分钟

 ·

2021-12-24 06:15

我非常喜欢结构类型(structural typing,也称为鸭子类型,但有一些细微的技术差异)。但有些事情我想做而一直无法做,直到泛型出现。

目前 Go1.18 Beta1 发布,终于可以实现我的想法了。它按预期工作,而且速度很快!即使在单个项目中,它也可以使我免于进行大量复制。(可以在此处找到我对泛型读取-复制-更新 map 的尝试:https://github.com/mier85/rcu)

01 问题

让我们先看看没有泛型时一直困扰我的问题。假设有如下 interface:

type Logger interface {
    WithField(name, value string) Logger
    Info(message string)
}

这是一个非常简单的记录器(Logger),你可以向其中添加字段并返回自身。我们似乎不需要泛型。但是没有泛型,我们在具体实现中必须使用 Logger,这打破了隐式接口:https://go.dev/tour/methods/10,即实现中耦合了接口。

因此,我们需要从 WithField 返回 Logger 以实现接口,它将我们的包与定义该接口的包紧密耦合在一起了:

type MyLogger struct {
}

func (m *MyLogger) WithField(stringstring) Logger {
 ...
}

func (m *MyLogger) Info(string) {
}

02 泛型方案

当用泛型实现这一点时,第一个直接的想法是实现这样的东西:

type GenericLogger[T any] interface {
    WithField(stringstring) T
    Info(string)
}

然而,如果你仔细观察,这本身并不是我们所需要的。我们返回的是 T ,它可以是任何类型但实际上不只是 GenericLogger!我们这里也不允许引用自己的接口。

这时候的 MyLogger 可以这么实现,和接口无任何耦合:

type MyLogger struct {
 fields []string
}

func (m *MyLogger) WithField(k string, v string) *MyLogger {
 m.fields = append(m.fields, k+"="+v)
 return m
}

func (m *MyLogger) Info(msg string) {
 log.Printf("%s : %s", strings.Join(m.fields, ","), msg)
}

我们需要确保 T 实际上是我们想要实现的类型。接口足以做到这一点,但在实际使用时我们还需要做一些事情:

func DoStuff[T GenericLogger[T]](t T) {
    t.WithField("go""1.18").Info("is awesome")
}

不知道你能看懂上面的代码吗?如果一时不懂,需要自己琢磨下。你理解后,会发现它的工作原理很棒。

以上函数中,[] 是类型参数,T GenericLogger[T] 中前面的 T 泛型类型,而 GenericLogger[T] 是类型约束,即所有满足 GenericLogger[T] 接口的类型都符合,这基本是递归地告诉 GenericLogger 它本身就是应该返回的泛型对象。最后 () 是普通函数参数,类型是 T。

基于以上,可以这么使用 DoStuff:

DoStuff(&MyLogger{fields: make([]string0)})

完整可运行代码可以在 playground 查看:https://go.dev/play/p/71m5yxV7ktd?v=gotip。

03 结论

Go 之前已经很强大了,但我相信由于泛型,将会有新的兴趣火花。通过减少冗长,我们将能够更多地专注于编写业务逻辑,并且有助于在更多领域使用。

结构类型,作为 Go 的核心优势之一,也将更加强大。

期待 Go1.18 正式发布,以便我可以在生产环境中使用它!



推荐阅读


福利

我为大家整理了一份从入门到进阶的Go学习资料礼包,包含学习建议:入门看什么,进阶看什么。关注公众号 「polarisxu」,回复 ebook 获取;还可以回复「进群」,和数万 Gopher 交流学习。

浏览 6
点赞
评论
收藏
分享

手机扫一扫分享

分享
举报
评论
图片
表情
推荐
点赞
评论
收藏
分享

手机扫一扫分享

分享
举报