class Continuation

要約

継続を表すクラスです。

Kernel.#callcc { |cont| ... } の呼び出しは、直前の状態(ローカル変数の定義、スタックフレーム)を cont に記憶してブロックを実行します。cont は、Continuation クラスのインスタンスで、Continuation#call メソッドを実行することでいつでも記憶した状態を継続することができます。

C 言語の setjmp()/longjmp() がわかる人は

setjmp() == callcc {|c| }
longjmp() == c.call

と考えれば、わかりやすいかも知れません(ただし、callcc はスタックが深くなる方向にもジャンプ出来るという違いがあります)

callcc() は、ブロックの戻り値を返しますが、Continuation#call(args) が呼び出されたときは args を返します。

例:

以下は、Continuationによる無限ループの例

def LOOP
  c = nil
  yield callcc {|cnt| c = cnt; true }
  c.call(false)
end

LOOP {|v| p v}

=> true
   false
   false
   false
     :
     :

callcc とは、call-with-current-continuation の略です。

インスタンスメソッド

self[*ret] -> ()[permalink][rdoc]

call(*ret) -> ()

self が記憶した状態を継続します。引数はそのまま Kernel.#callcc の戻り値になります。

[PARAM] ret:: 継続に復帰した時に返す値を指定します。

class Continuation

要約

目次

インスタンスメソッド