移位在复位块中的位置是否重要？

Question

假设有reset一个单独的块shift:

val r = reset { 
   // do smth. 1
   shift {...}
   // do smth. 2
   // do smth. 3
}

shift在不改变结果的情况下放置"do smth.2"或"do smth.3"之后是否正确r？shift在一个reset街区的哪个地方并不重要是否正确？

Answer 1

这在很大程度上取决于你在做什么shift.如果您只是调用这样提供的函数:shift((k: Unit => Unit) => k(Unit))那么,在您的特定示例中,无论在哪里都没关系shift.

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)
}

但是如果你内部有一些逻辑shift,比如条件k执行,那么这就好了shift.

希望这有帮助(我希望,我正确理解你的问题)