用于从子类型推断通用超类型的Kotlin语法

时间:2017-09-18 01:54:18

标签: kotlin kotlin-interop

尝试调用期望Class作为参数的现有Java代码,我尝试了Kotlin中的代码:

package com.example

//Acutally imported Java code in someone elses's library
abstract class JavaCode<T> {
    fun doTheThing(thing: Class<JavaCode<T>>) {
        //Does work
    }
}

//My code
class KotlinCode : JavaCode<String>() {
    fun startTheThing() {
        doTheThing(KotlinCode::class.java)
    }                             // ^ Type inference failed. Expected type mismatch
}

但是这不会编译出现以下错误:

Type inference failed. Expected type mismatch: inferred type is Class<KotlinCode> but Class<JavaCode<String>> was expected

所以我试图强制演员(如this answer中所示):

hello(GenericArgument::class.java as Class<Callable<String>>)

但这有警告:

Unchecked cast: Class<KotlinCode> to Class<JavaCode<String>>

那么使用正确的语法是什么? this是否相关?

1 个答案:

答案 0 :(得分:0)

您的代码中存在多个问题。

首先,Callable<String?>不等于Callable<String>Callable<String?>表示参数可以是Stringnull,但Callable<String>仅为String

其次,Class<GenericArgument>未实现Class<Callable<String>>GenericArgument实现Callable<String>。它们是不同的。您可以将其更改为使用泛型。

private fun <T : Callable<String>> hello(callable: Class<T>) {
    System.out.println(callable.toString())
}

现在,通用参数受Callable<String>约束。

第三,callable.toString()可能不会做你想要的。 callable.toString()会调用该类的toString()而不是对象,例如class com.example.yourclass。如果要调用对象toString()。这是正确的。

override fun call(): String {
    hello(GenericArgument())
    return "value"
}

private fun <T : Callable<String>> hello(callable: T) {
    System.out.println(callable.toString())
}

此外,Kotlin允许传递函数作为参数或使用SAM作为接口。不需要实现Callable

编辑:操作已更新问题。

@Suppress("UNCHECKED_CAST")
fun <T, U : JavaCode<T>> JavaCode<T>.doTheThing2(thing: Class<U>) {
    doTheThing(thing as Class<JavaCode<T>>)
}