仍然无法为Val分配Kotlin通用功能吗？

Question

在Kotlin中，我可以将功能分配给val。

fun intListCat(a: List<Int>, b: List<Int>): List<Int> = a.plus(b)

fun testIntListCat() {
  val f = ::intListCat
  println( f( listOf(1,2), listOf(30,40) ) )
}

但是，当我制作函数通用时，我无法将其分配给val。

fun<T> listCat(a: List<T>, b: List<T>): List<T> = a.plus(b)

fun testListCat() {

   // error: Not enough information to infer type variable T.
   val f1 = ::listCat
   println( f1( listOf(1,2), listOf(30,40) ) )

   // error: Unresolved reference T.
   val f2: (List<T>, List<T>) -> List<T> = ::listCat
   println( f2( listOf(1,2), listOf(30,40) ) )
}

令我惊讶的是，对简单函数的微小变化似乎使其在Kotlin中取消了高阶功能的资格，该功能的目的是尽可能发挥作用。

两年多以前，有一个类似Kotlin社区支持页面上的问题。社区无法确定回答。 Kotlin团队没有回应。

我只是想知道Kotlin或程序员知识从那以后是否有任何变化，以允许2022年将通用函数分配给val？

我正在MacOS 11.3.1上使用Java 17.0.2运行Kotlin 1.6.20。

Answer 1

不，这是不可能的。对于val f1 = :: ListCat要按照您想要的方式工作，f1也需要是通用的，但是本地属性不能是通用的。

通过明确指定类型并用实际类型替换t，您 can nistion :: ListCats to local属性：

val f: (List<Int>, List<Int>) -> List<Int> = ::listCat

尽管现在您无法通过f的其他类型的列表，这可能是不可取的。

另一方面，非本地属性可以是通用的，但是它们的类型参数必须在接收器参数中使用，这意味着该属性必须是扩展属性，因此这可能对您所能有所帮助试图做。