是否“重置”？需要“转移”在块内？

Question

reset 需要块内的 shift 是否正确？我尝试了一下并得到以下结果：

scala> reset {} 
error: cannot cps-transform expression (): type arguments [Unit,Unit,Nothing]
do not conform to method shiftUnit's type parameter bounds [A,B,C >: B]

它看起来合理（因为内部没有 shift 的 reset 块是“死代码”，永远不会执行）但我不明白该错误。

错误消息的确切含义是什么？

Answer 1

我不同意，如果没有 shift，reset 中的代码就死了。实际上 reset 只是定义了延续的边界（那是因为它们被称为分隔延续）。如果你在某个地方有shift，代码就会死掉在 reset 内并且您不调用延续函数。例如：

reset {
  println(1)
  shift((k: Unit => Unit) => println(2))
  println(3)
}

shift之后的代码是死的（println(3)），因为我没有调用k(Unit)。

另一方面，似乎 reset 期望从它的主体中得到一些特殊的返回类型 - 使用 @cpsParam 注释进行注释的类型。您可以检查 reset 方法的定义：

def reset[A,C](ctx: => (A @cpsParam[A,C])): C = ...

并且 shift 产生的正是 reset 方法所期望的。以下是 shift 方法的定义：

def shift[A,B,C](fun: (A => B) => C): A @cpsParam[B,C] = ...

但是您仍然可以使用 reset 而无需在其中调用 shift 。这个技巧可以做到这一点：

def foo[T](body: => T @cps[Any]) = reset(body)

foo {
  println("it works")
}

请注意，@cps 只是 @cpsParam 的类型别名。这是它的定义：

type cps[A] = cpsParam[A, A]