如何解决“接口方法必须没有类型参数”？

Question

我正在尝试 1.18beta2 中的泛型，并且正在尝试为键/值存储、boltdb 编写一个抽象层。这就是我试图用它实现的目标。

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

type Unmarshaler interface {
    UnmarshalKV(v []byte) error
}

这样我就可以为它提供一个工厂，以便在它找到键/值时创建类型，将数据解组到其中并返回该特定类型的切片。只有我从编译器得到“接口方法必须没有类型参数”。为什么接口中不允许使用类型参数？支持这个计划吗？这粉碎了我的梦想……本来就很完美。然而它确实可以在界面之外工作。

Answer 1

今天早些时候遇到了同样的问题。这似乎是泛型/类型参数的设计决策，因为在接口定义（和实现工作）中可能有多种解释带有类型参数的方法的“方式”。

在某些情况下，它可能意味着：

• 不保留参数的身份。
• 需要在编译时遍历整个树，这会影响性能。
• 需要在运行时进行反射，这会影响性能。
• 参数化方法不实现接口，这会导致混乱。

更多信息请参见类型参数提案，无参数化方法

但是，您可以将类型参数移至接口类型定义中。提案，非常高层次的概述：

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

type Unmarshaler interface {
    UnmarshalKV(v []byte) error
}