为什么 Go 的接口方法不能有类型参数？

Go 中的泛型：接口方法参数的限制

在 Go 1.18beta2 中，定义带有泛型参数的接口方法时，你可能会遇到错误“接口方法必须没有类型参数”。本文阐明了此限制并探讨了潜在的解决方案。

为什么接口方法中不允许使用类型参数？

此限制的原因根源于设计泛型和类型参数的注意事项。接口定义了一组方法签名和行为的契约，而泛型方法提供了一种抽象类型的机制。在接口方法中允许类型参数会在以下方面引入复杂性：

• 保留方法参数的标识
• 在编译时遍历方法执行树，可能会影响性能
• 要求运行时反射，进一步损害性能
• 通过允许实现参数化方法来造成混乱接口

克服限制

虽然类型参数不能直接在接口方法中使用，但是有替代的解决方案：

将类型参数移至接口定义：

而不是声明接口方法中的类型参数，将其移至接口定义本身。这允许接口根据特定的类型参数进行专门化：

type Reader[V Unmarshaler] interface {
    Read(bucket []byte, k ...[]byte) ([][]byte, error)
    ReadDoc(bucket []byte, factory func() (V, error), k ...[]byte) ([]V, error)
}

结论

接口方法中对类型参数的限制是一个经过深思熟虑的设计决策，以确保Go 泛型中接口的清晰度、性能和一致实现。虽然它最初可能会带来挑战，但上面提供的替代解决方案提供了解决此限制并在代码中利用泛型功能的实用方法。

以上是为什么 Go 的接口方法不能有类型参数？的详细内容。更多信息请关注PHP中文网其他相关文章！