【发布时间】:2016-06-22 19:09:36
【问题描述】:
我是 kotlin 新手,所以这可能是微不足道的,但我未能在 kotlinlang.org 上找到任何相关帮助。
为了学习一些关于 kotlin 的知识,我喜欢实现 PushStream 库。
我想定义这样的基本类型:
typealias Receiver<T> = (T) -> bool
typealias PushStream<T> = (Receiver<T>) -> Unit
目前还不支持 AFAIK 类型别名,所以上面只是伪代码。
所以我的第一次尝试是这样的:
interface Receiver<T> : (T) -> Boolean {
}
interface PushStream<T> : (Receiver<T>) -> Unit {
}
fun <T> singleton (v : T) : PushStream<T> {
return { r : Receiver<T> -> r (v) }
}
kotlin 然后说:
Error:(10, 12) Kotlin: Type mismatch: inferred type is (Receiver<T>) -> Boolean but PushStream<T> was expected
我似乎可以通过以下方式解决它:
fun <T> singleton (v : T) : (Receiver<T>) -> Unit {
return { r : Receiver<T> -> r (v) }
}
但这不是我想要的签名,尤其是对于更高级的运算符,我可能需要指定完整的函数类型:
fun <T> singleton (v : T) : ((T) -> Boolean) -> Unit {
return { r : Receiver<T> -> r (v) }
}
我认为这会使 API 更难阅读。
我可以做的是使用对象表达式:
fun <T> singleton (v : T) : PushStream<T> {
return object : PushStream<T> {
operator override fun invoke (r : Receiver<T>) : Unit {
r (v)
}
}
}
这可行,但我想使用 Lambda 表达式来保持代码更简洁。
欢迎任何提示。此外,如果您知道任何有趣的关于在 kotlin 中使用高阶函数进行编程的博客/演示文稿,我们将不胜感激。
【问题讨论】:
-
Kotlin 选择支持隐式 SAM 接口转换为仅适用于 Java 接口的函数。不适用于 Kotlin 接口。我同意这在某些情况下会损害可读性。类型别名将出现在下一个版本(AFAIR)中。然后 JetBrains 将查看这是否解决了是否应允许转换 Kotlin 接口的问题。有一个功能请求:youtrack.jetbrains.com/issue/KT-7770。同时,我只会在签名中使用
(T) -> Boolean。希望使用类型别名重构代码不会太难。
标签: kotlin higher-order-functions