如何链接两个Kotlin函数参数的泛型？

Question

我想写类似

fun <T, R> check(thing: T, property: KProperty1<T, R>, value: R) = 
    property.get(thing) == value 

使

assertTrue(check("Hello", String::length, 5)) 

但

assertTrue(check("Hello", String::length, "banana")) 

不能编译。

Answer 1

这似乎是Kotlin类型推理的一个问题（不管它是一个bug还是设计，我不知道）。例如，如果类型是明确的，这并不编译：

check<String, Int>("Hello", String::length, "banana") 

它可能是设计为类似Java的泛型方法的类型推断，这使得这个工作，因为编译器推断一个共同的超类型的R和T两个参数。见Why doesn't type argument inference fail when I provide inconsistent method arguments?

根据上述职位，在Java 5，6，7，你很可能宣布它像

fun <T, R, R1: R> check(thing: T, property: KProperty1<T, R>, value: R1) = 
    property.get(thing) == value 

和不一致PARAMS，呼叫不能编译（我还没有尝试过） 。但是，这被认为是一个错误，在Java 8中，调用不一致的参数仍然会编译（我尝试过）。

在任何情况下，你可以在一个类包裹，避免了推理和领带的类型参数一起：

class Checker<T, R>(val property: KProperty1<T, R>) { 
    fun check(thing: T, value: R) = 
    property.get(thing) == value 
} 

assertTrue(Checker(String::length).check("Hello", 5)) 
// does not compile 
assertTrue(Checker(String::length).check("Hello", "banana"))