假设有一个带有单个移位的复位块：
val r = reset {
// do smth. 1
shift {...}
// do smth. 2
// do smth. 3
}
在不改变结果r的情况下,在“do smth.2”或“do smth.3”之后放置班次是否正确？移位在复位块中的位置无关紧要吗？
解决方法
这在很大程度上取决于你在班次内所做的事情.如果您只是调用这样提供的函数：shift((k：Unit => Unit)=> k(Unit))那么,在您的特定示例中,移位的位置确实无关紧要.
Shift函数只捕获其他函数后面的代码(在我的示例中,此函数称为k).换句话说,这段代码：
val r = reset {
// do smth. 1
shift((k: Unit => Unit) => k(Unit))
// do smth. 2
// do smth. 3
}
将被编译器重写为类似的东西(这段代码只是演示了一般的想法,它不应该显示编译器插件实际生成的内容)：
val k = (Unit => Unit) => {
// do smth. 2
// do smth. 3
}
val r = {
// do smth. 1
k(Unit)
}
但是如果你在内部移位中有一些逻辑,比如条件k执行,那么这个转变的立场真的很重要.
希望这有帮助(我希望,我正确理解你的问题)
