在Kotlin中扩展Java类时继承的平台声明冲突

Question

fun setCollection（collection：（Mutable）Collection ！）：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编译器中解决这个问题？

Answer 1

我没有研究java如何/为什么在JavaSubClass中工作的细节，即它产生了什么字节码，但是从Kotlin的角度来看，如果我研究这两个方法的签名，它们会有不明确的分派。

这个：

public void setCollection(Collection collection){}

视作为一个方法，它设置泛型类型为any？的集合。有吗？是字符串的超集。

如果您的类的客户端具有以下属性：

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

应该调度哪种方法？

出于这个原因，我认为这不是Kotlin编译器中的一个bug，而是对一些更宽松的java泛型类型安全的改进。显然，java对这两种方法如何以字节码编译成同一个类做出了选择，如果您知道在上述情况下将选择哪种方法进行调度，那么这是一种好的方法。但我认为，你应该能从签名单独分辨出哪一个，而不是一些内在的知识。

fun JavaSubClass.newFunctionality(){}

看看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);
    }
}