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

Question

假设有一个reset块，其中包含一个shift：

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

在不改变结果shift的情况下，将r置于“do smth.2”或“do smth.3”之后是否正确？ 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的位置真的很重要。

希望这有助于（我希望，我能正确理解你的问题）

Answer 2

只需添加已经给出的答案，您可以移动shift的地方是在班次之前是否有代码，或者将其放在您传递给shift的函数中：

reset { 
  foo(); bar();
  shift { k => stuff }
  baz()
}

与

相同

reset {
  foo();
  shift { k => bar(); stuff }
  baz()
}