我非常喜欢结构类型（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(string, string) Logger {
...
}
func (m *MyLogger) Info(string) {
}
02 泛型方案
当用泛型实现这一点时，第一个直接的想法是实现这样的东西：
type GenericLogger[T any] interface {
WithField(string, string) 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([]string, 0)})
完整可运行代码可以在 playground 查看：https://go.dev/play/p/71m5yxV7ktd?v=gotip。
03 结论
Go 之前已经很强大了，但我相信由于泛型，将会有新的兴趣火花。通过减少冗长，我们将能够更多地专注于编写业务逻辑，并且有助于在更多领域使用。
结构类型，作为 Go 的核心优势之一，也将更加强大。
期待 Go1.18 正式发布，以便我可以在生产环境中使用它！
我是 polarisxu，北大硕士毕业，曾在 360 等知名互联网公司工作，10多年技术研发与架构经验！2012 年接触 Go 语言并创建了 Go 语言中文网！著有《Go语言编程之旅》、开源图书《Go语言标准库》等。
坚持输出技术（包括 Go、Rust 等技术）、职场心得和创业感悟！欢迎关注「polarisxu」一起成长！也欢迎加我微信好友交流：gopherstudio
文章评论