Kotlin冲突重载：public open fun statements（）

Question

我有一个可持久化的接口，如下所示

public interface Persistable {

    <T extends Statement<T>> List<Statement<T>> statements();

}

此java接口由Kotlin类A继承，因此

data class UpdateRule(
        private val something: S) : Persistable {

    override fun statements(): List<Statement<BoundStatement> {
        return PutKeyValue(Function(orgId, serviceId), JsonUtil.toJson(rule)).statements() //this returns BoundStatement
    }
}

但是，这会产生错误，导致重载冲突。这段代码似乎在Java中工作（虽然有警告），但在Kotlin中它根本不允许，如何解决这一问题，同时确保父接口对绑定语句和简单语句都是通用的？

Answer 1

在Java就像在Kotin中一样，泛型方法的类型参数的值由方法的调用者确定，并且在方法的每次调用中可能不同，即使在同一个实例上也是如此。

在您的特定情况下，对于这样声明的Java接口，statements（）应该以这样的方式实现，调用方可以选择对该方法的给定调用将返回哪种类型的语句。在您的实现中并非如此，这就是Kotlin不允许这样做的原因。正如@Sweeper所指出的，Java在这方面存在缺陷，可能会让您得到警告。

当使用泛型类或接口时，这是不同的。如果您在类/接口级别定义类型参数，那么该类型参数的值在类的构建时确定，或者可以由子类修复。对于给定的实例，对该方法的所有调用都将返回一个众所周知的类型，这是（我相信）您在这里想要的。

您可以在Java中执行此操作：

public interface Persistable<T extends Statement<T>> {

    List<Statement<T>> statements();
}

然后在科特林：

data class UpdateRule(
        private val something: S
) : Persistable<BoundStatement> {

    override fun statements(): List<BoundStatement> {
        return PutKeyValue(Function(orgId, serviceId), JsonUtil.toJson(rule)).statements() //this returns BoundStatement
    }
}

Answer 2

您似乎误解了持久化中泛型的含义。正如现在编写的那样，您应该实现语句方法，以便它可以处理扩展语句的任何类型的

它只在Java中产生警告，因为Java的泛型被破坏了。由于类型擦除，列表

要解决此问题，可以将泛型类型参数移动到接口：

public interface Persistable<T extends Statement<T>> {
    List<Statement<T>> statements();
}

data class UpdateRule(private val something: S) :     
    Persistable<BoundStatement> {

    override fun statements(): List<BoundStatement> =
        PutKeyValue(Function(orgId, serviceId), JsonUtil.toJson(rule)).statements()
}

请注意，当我们实现接口时，我们现在可以指定我们正在实现的特定T。