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

发布时间：2020-12-16 18:07:28 所属栏目：安全来源：网络整理

导读：假设有一个带有单个移位的复位块： val r = reset { // do smth. 1 shift {...} // do smth. 2 // do smth. 3} 在不改变结果r的情况下,在“do smth.2”或“do smth.3”之后放置班次是否正确？移位在复位块中的位置无关紧要吗？解决方法这在很大程度上取决

假设有一个带有单个移位的复位块：

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执行,那么这个转变的立场真的很重要.

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

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!