4

我正在尝试使用 Kotlin 扩展第三方 Java 类，但我收到以下编译器消息：

继承的平台声明冲突：以下声明具有相同的 JVM 签名 (setCollection(Ljava/util/Collection;)V)：

  • fun setCollection(collection:(Mutable)Collection<(raw)Any?>!: KotlinClass 中定义的单元

  • fun setCollection(collection:(Mutable)Collection<String!>!)：在 KotlinClass 中定义的单元

无论我做什么，都无法仅使用 Kotlin 代码对其进行编译。

重现这种情况的代码：

//JavaInterface.class
import java.util.Collection;

public interface JavaInterface {
    void setCollection(Collection<String> collection);
}

//JavaBaseClass.class
import java.util.Collection;

public class JavaBaseClass {
    public void setCollection(Collection collection){}
}

//JavaSubClass.class
public class JavaSubClass extends JavaBaseClass implements JavaInterface {}

//KotlinClass.kt
class KotlinClass : JavaSubClass()

Java 本身没有这个问题。所以我的猜测是这可能与平台类型有关（String!不是Any?）。

是否有针对此问题的优雅解决方法，最好不涉及编写 Java 代码？或者这应该在 Kotlin 编译器本身中修复吗？

4

1 回答 1

1

我还没有详细了解 java 在 JavaSubClass 中的工作方式/原因，即它会产生什么字节码，但是从 Kotlin 的角度来看，如果我查看这两种方法的签名，它们的调度就会模棱两可。

这：

public void setCollection(Collection collection){}

被视为设置具有泛型类型 Any? 的集合的方法。任何？是字符串的超集。

如果您班级的客户有以下情况：

myCollection = Array<String>()
myInstanceOfKotlinClass.setCollection(myCollection)

应该分派哪种方法？

出于这个原因，我认为这不是 Kotlin 编译器中的错误，而是对一些较松散的 java 泛型类型安全性的改进。显然，java 会选择如何将这两种方法编译到字节码中的同一个类中，如果您知道在上述情况下将选择哪个方法进行分派，那么这是一个不错的方法。但我认为你应该能够仅从签名中分辨出哪一个，而不是一些内部知识。

恐怕我正在努力寻找一种解决方法来为您提供该类型的扩展 kotlin 类。因此，如果您想为该 java 类添加更多功能，并且不需要任何额外的实例状态，您可以尝试使用扩展函数吗？

fun JavaSubClass.newFunctionality(){}

感觉就像您使用的第三方代码在使用泛型和继承方面做得很差。不管怎样，如果您需要更改现有功能的行为或拥有新功能的实例状态，我认为您在处理 Java 领域的这种歧义时会遇到困难，因为我认为 Kotlin 不同意它作为一个原则问题。

编辑：

看着java，这个

//JavaSubClass.class
public class JavaSubClass extends JavaBaseClass implements JavaInterface {}

暗示 JavaBaseClass 实现了接口....

它拓宽了接口的通用类型。讨厌的类型擦除错误迫在眉睫。我的意思是看这个：

import java.util.ArrayList;

public class Main {

    public static void main(String[] args) {
        JavaSubClass sc = new JavaSubClass();
        ArrayList<Integer> myCollection = new ArrayList<>();
        sc.setCollection(myCollection);
    }
}

哎呀。

于 2017-08-31T08:41:43.553 回答