移位在重置块中的位置重要吗？

Question

假设，有一个带有单个 shift 的 reset 块：

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

我将 shift 放在“do smth.2”或“之后是否正确？执行 smth.3" 而不改变结果r？ shift 位于 reset 块中的位置并不重要，这是正确的吗？

Answer 1

这很大程度上取决于您在 shift 中所做的事情。如果您只是像这样调用提供的函数： shift((k: Unit => Unit) => k(Unit)) 那么，在您的特定示例中，< code>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 之前有代码，或者将其放在传递给 shift 的函数内：

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

是与

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