假设以下代码:
我曾通过将JavaFX属性(SimpleIntegerProperty、SimpleStringProperty等以及SimpleObjectProperty<T>)传递给通用类构造函数的() -> Property<T>参数来遇到了这个问题。在这里,传递::SimpleIntegerProperty没有任何问题,而传递::SimpleObjectProperty则像上面的示例代码一样失败。
是否可能改进编译器或允许将类型参数传递给构造函数/函数引用?在这里使用构造函数引用是否有意义?它是否编译得不同?
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>)传递给通用类构造函数的() -> Property<T>参数来遇到了这个问题。在这里,传递::SimpleIntegerProperty没有任何问题,而传递::SimpleObjectProperty则像上面的示例代码一样失败。
是否可能改进编译器或允许将类型参数传递给构造函数/函数引用?在这里使用构造函数引用是否有意义?它是否编译得不同?