我有代表流程中步骤的函数。每个函数也知道下一步,如果有的话。我希望能够做到这样的事情:
fun fooStep() : Step? {
... do something ...
return ::barStep // the next step is barStep
}
这些函数是从中央调度函数调用的,它包含的代码有点像这样:
var step = startStep
while (step != null) {
step = step()
}
请注意,特定步骤中的逻辑也决定了下一步,如果有的话。
我以为我可以将Step
定义为:
typealias Step = () -> Step?
因此Step
是一个返回另一个Step
或null的函数。但是,这无法编译:
Kotlin: Recursive type alias in expansion: Step
我可以通过将函数包装在对象中来解决这个问题。例如:
data class StepWrapper(val step: () -> StepWrapper?)
并相应地更改我的功能签名。
不幸的是,这意味着我不能只使用函数文字(例如:::barStep
),而是必须将它们包装在StepWrapper
中:
fun fooStep() : StepWrapper? {
... do something ...
return StepWrapper(::barStep)
}
(我也必须相应地更改我的调度循环。)
如果可能的话,我想避免创建这些包装器对象。在Kotlin有没有办法做到这一点?
答案 0 :(得分:1)
您可以使用一些通用接口来定义它:
interface StepW<out T> : ()->T?
interface Step : StepW<Step>
class Step1 : Step {
override fun invoke(): Step? = Step2()
}
class Step2 : Step {
override fun invoke(): Step? = null
}
Step
是你的递归函数类型。
答案 1 :(得分:0)
以下是如何让它发挥作用,虽然我真的不确定你用它来实现的目标:
typealias Fun<T> = () -> T
typealias Step<T> = () -> (T)
typealias Step1 = Step<Fun<Step2>>
typealias Step2 = Step<Fun<Step3>>
typealias Step3 = Step<Unit>
fun step1(): Step1 {
return {
println("step 1")
::step2
}
}
fun step2(): Step2 {
return {
println("step 2")
::step3
}
}
fun step3(): Step3 {
return { println("done") }
}
答案 2 :(得分:0)
使用枚举来实现具有有限状态的状态模式,并且更喜欢返回非空值。枚举可以从函数继承。
Button