Question

给定功能

fun <T> to5(x: T): Int = 5

可以像这样将它分配给变量（值）funVal吗？

val funVal: (T) -> Int = ::to5

没有

未解决的参考：T

错误？

换句话说，有可能以某种方式告诉Kotlin T类型声明中的funVal是一个类型参数吗？

例如：

val <T> funVal: (T) -> Int = ::to5

val funVal<T>: (T) -> Int = ::to5

val funVal: <T> (T) -> Int = ::to5

val funVal: ((T) -> Int) <T> = ::to5

用例

我的用例是使用curner with generics。从概念上讲：

    fun pairStrWithStr(s: String): (String) -> Pair<String, String> = {
        Pair(s, it)
    }

    val pairStrWithAbc: (String) -> Pair<String, String> = pairStrWithStr("abc")

    pairStrWithAbc("xyz") // (abc, xyz)

使第二个参数通用：

fun <T> pairStrWithAny(s: String): (T) -> Pair<String, T> = {
    Pair(s, it)
}

// Compilation ERROR: Unresolved reference: T
val pairAnyWithAbc: (T) -> Pair<String, T> = pairStrWithAny("abc")

当然我可以提供Any类型：

val pairAnyWithAbc: (Any) -> Pair<String, Any> = pairStrWithAny("abc")

但后来我丢失了类型信息：

pairAnyWithAbc(5) // Pair<String, Any>

我能想到的解决方案是：

包装内部通用乐趣（基本上不是真正的currying或高阶函数用法）

 fun <T> pairAnyWithAbc(t: T) {
        return pairAnyWithAbc(t)
 }

为每种类型创建功能（不使用我想要的泛型）

val pairStrWithAbc: (String) -> Pair<String, String> = pairStrWithAny("abc")

val pairIntWithAbc: (Int) -> Pair<String, Int> = pairStrWithAny("abc")

Answer 1

只有类和函数可以在Kotlin中具有泛型类型参数。如果您确实需要一个具有泛型类型的属性，则它必须属于可以提供该泛型类型的类实例，如下所示：

class Foo<T> {
    val funVal: (T) -> Int = ::to5
}

关于此here的更多讨论，我只是不能将其标记为重复，因为该问题没有得到接受的答案。

Kotlin中的通用lambda或函数值类型

1 个答案: