从亚型

Question

推断通用超试图调用需要一个Class作为参数现有的Java代码科特林语法，我尝试代码沿着这科特林行：

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有关？

Answer 1

你的代码有几个问题。

首先，Callable<String?>不等于Callable<String>。 Callable<String?>表示参数可以是String或null，但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。

编辑：由于op更新了问题。

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