Go1.20匿名接口循环导入禁止！这是打破Go1兼容性承诺的真实案例

最近，Go团队发布了Go1.20的新特性《spec: disallow anonymous interface cycles》，其中一条就是禁止匿名接口循环导入。这一改变打破了Go1的兼容性承诺，引发了众多开发者的讨论。

什么是匿名接口循环导入？

匿名接口循环导入是指在一个包中，一个接口类型匿名地嵌入另一个接口类型，而第二个接口类型又匿名地嵌入第一个接口类型。例如：

package main

type A interface {
    M()
}

type B interface {
    A
}

func main() {
    var a A = B{}
    a.M()
}

这种写法在Go1.19及之前是允许的，但从Go1.20开始将被禁止。

为什么禁止匿名接口循环导入？

Go团队给出的解释是，匿名接口循环导入会使编译器难以优化代码。因为编译器无法确定接口类型中方法的具体实现，导致无法进行内联优化和逃逸分析。这可能会导致性能下降。

禁止匿名接口循环导入的影响

禁止匿名接口循环导入会对一些现有代码造成影响。例如，如果一个包中存在匿名接口循环导入，那么在Go1.20中将无法编译通过。此外，一些依赖于匿名接口循环导入的第三方库也可能受到影响。

如何应对禁止匿名接口循环导入？

如果你的代码中存在匿名接口循环导入，那么你需要在Go1.20中对其进行修改。你可以通过以下两种方式之一来解决这个问题：

• 将匿名接口循环导入改为显式接口循环导入。
• 将匿名接口循环导入改为使用类型别名。

以下是一个将匿名接口循环导入改为显式接口循环导入的例子：

package main

type A interface {
    M()
}

type B struct {
    A
}

func main() {
    var a A = B{}
    a.M()
}

以下是一个将匿名接口循环导入改为使用类型别名的例子：

package main

type A interface {
    M()
}

type B = A

func main() {
    var a A = B{}
    a.M()
}

Go1.20的其他新特性和更新

除了禁止匿名接口循环导入之外，Go1.20还带来了许多其他新特性和更新。例如：

• 泛型。
• 错误包装。
• goroutine本地存储。
• 新的内置函数。
• 新的标准库函数。

你可以通过阅读Go1.20的官方文档来了解这些新特性和更新的更多详情。

总结

Go1.20禁止匿名接口循环导入是一个重大改变，可能会对一些现有代码造成影响。如果你使用Go语言开发，那么你需要了解这一改变并及时调整你的代码。此外，你还可以通过阅读Go1.20的官方文档来了解新版本的其他新特性和更新。