如何将类型参数传递给泛型 class 构造函数引用？

Question

假设以下代码：

class ConstructMe<T> {}
data class Test<T> constructor(var supplier: () -> ConstructMe<T>) {}

fun main(args: Array<String>) {
    works<Int>()
    breaks<Int>()
}

fun <T> works() {
    Test<T>({ ConstructMe<T>() }) // (1) any one class type parameter can be removed like:
    Test({ ConstructMe<T>() })  // (2) still works (class type inferred by argument type)
    Test<T>({ ConstructMe() })  // (3) still works (argument type inferred by class type)
}

fun <T> breaks() {
    Test<T>(::ConstructMe) // type interference failed (should probably work like (3); compiler improvement possible?)
    Test<T>(::ConstructMe<T>) // type interference failed & type argument not allowed (language change necessary?)
}

我已经运行通过将 JavaFX 属性（SimpleIntegerProperty、SimpleStringProperty、...和 SimpleObjectProperty<T>）传递给通用 class构造函数 () -> Property<T> 参数，其中传递 ::SimpleIntegerProperty 没有问题，而 ::SimpleObjectProperty 像上面的示例代码一样失败。

是否可以在此处改进编译器或允许将类型参数传递给 constructor/function 引用？在这里对简单的 lambda 表达式使用构造函数引用是否有意义？它的编译有什么不同吗？

Answer 1

是的，可以在此处改进编译器。它可以推断 ConstructMe 的类型参数。请参阅问题 https://youtrack.jetbrains.com/issue/KT-10711。

对于非内联反函数（在这种情况下它是 Test 的构造函数），lambda 和对构造函数的可调用引用之间没有区别。对于这两种情况，编译器都会创建匿名 class，它具有创建 ConstructMe 实例的方法 invoke。

但是在构造函数有很多参数的情况下，可调用引用比 lambda 更方便。

如何将类型参数传递给泛型 class 构造函数引用？

How to pass a type parameter to a generic class constructor reference?

generics

reflection

type-parameter

kotlin

constructor-reference