Question

我的代码中有一个场景，我想要一个类来实现两个不同类型的接口，如下例所示：

interface Speaker<T> {
    fun talk(value: T)
}

class Multilinguist : Speaker<String>, Speaker<Float> {
    override fun talk(value: String) {
        println("greetings")
    }

    override fun talk(value: Float) {
        // Do something fun like transmit it along a serial port
    }
}

Kotlin对此不满意，引用：

Type parameter T of 'Speaker' has inconsistent values: kotlin.String, kotlin.Float
A supertype appears twice

我知道一个可能的解决方案是实现以下代码，我用<Any>实现接口，然后自己检查类型并将它们委托给它们的函数。

interface Speaker<T> {
    fun talk(value: T)
}

class Multilinguist : Speaker<Any> {
    override fun talk(value: Any) {
        when (value) {
            is String ->
                internalTalk(value)
            is Float ->
                internalTalk(value)
        } 
    }

    fun internalTalk(value: String) {
        println(value)
    }

    fun internalTalk(value: Float) {
        // Do something fun like transmit it along a serial port
    }
}

然而，感觉就像我正在删除关于该类所用内容的类型安全和沟通，并且正在寻找麻烦。有没有更好的方法在Kotlin实现这个？另外 - 它背后的原因是什么，不允许我在第一个样本中指出的方式？接口是不是我需要实现的签名合同，还是我在这里缺少涉及泛型的东西？

Answer 1

是的，您错过了JVM上泛型实现的重要细节：the type erasure。简而言之，类的编译字节码实际上并不包含有关泛型类型的任何信息（除了关于类或方法是通用的事实的一些元数据）。所有类型检查都在编译时进行，之后代码中没有保留泛型类型，只有Object。

要发现您的问题，只需查看字节码（在IDEA，Tools -> Kotlin -> Show Kotlin Bytecode或任何其他工具中）。让我们考虑一下这个简单的例子：

interface Converter<T> {
    fun convert(t: T): T
}

class Reverser(): Converter<String> {
    override fun convert(t: String) = t.reversed()
}

在Converter的字节码中删除泛型类型：

// access flags 0x401
// signature (TT;)TT;
// declaration: T convert(T)
public abstract convert(Ljava/lang/Object;)Ljava/lang/Object;

以下是Reverser的字节码中的方法：

// access flags 0x1
public convert(Ljava/lang/String;)Ljava/lang/String;
    ...

// access flags 0x1041
public synthetic bridge convert(Ljava/lang/Object;)Ljava/lang/Object;
    ...
    INVOKEVIRTUAL Reverser.convert (Ljava/lang/String;)Ljava/lang/String;
    ...

要继承Converter界面，Reverser应该按顺序排列具有相同签名的方法，即删除类型的方法。如果实际实现方法具有不同的签名，则添加bridge method。在这里，我们看到字节码中的第二个方法恰好是桥接方法（它调用第一个方法）。

因此，多个通用接口实现会相互冲突，因为某个签名只能有一种桥接方法。

此外，如果有可能，既不是Java也不是Kotlin has method overloading based on return value type，有时候论证也会有歧义，所以多重继承会非常有限。

然而，事情会随着Project Valhalla而改变（改进的泛型将在运行时保留实际类型），但我仍然不希望多个通用接口继承。

在Kotlin中以任何方式从相同的通用接口继承两次（使用不同的类型）？

1 个答案: