我非常喜欢结构类型（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 正式发布，以便我可以在生产环境中使用它！