[ruby-list:13979] Re: What is callcc? (Re: iterator <-> cursor)

  豊福＠パパイヤです。

前田さん
>> うーーーーん、継続をcallした時、ローカル変数へ代入した値も保持され
>> ると思っていたら、method内のローカル変数は戻るんですね。procの動的
>> ローカル変数と、トップレベルのローカル変数は戻らないのですが。
>
> なぜそうなるかというと、ローカル変数はスタックに割り当てられるの
> で、callccでスタックをコピーする時にその時点でのローカル変数の状
> 態を保存してしまうからです。
> 逆にブロックローカル変数の方はヒープに割り当てられるためコピーさ
> れないので、それ以降の変更が有効になります。

  トップレベルローカル変数もヒープに割り当てられているということですか。

原さんの例
> $n = 0
> k = 0
> for i in 0..2
>   callcc { |c| $cont = c } if i == 0
>   printf("%d) i = %d, k = %d\n", $n, i, k)
> end
> k += 1
> exit if ($n+=1) == 2
> print "Jump!\n"
> $cont.call
>
> の結果は
>
> 0) i = 0, k = 0
> 0) i = 1, k = 0
> 0) i = 2, k = 0
> Jump!
> 1) i = 2, k = 1
> 1) i = 1, k = 1
> 1) i = 2, k = 1

で Jump の直後 i と k が 0 にもどらないのは i と k がトップレベルの
ローカル変数だからですか。

  上のコードを関数の中に入れた

def foo()
    $n = 0
    k = 0
    for i in 0..2
      callcc { |c| $cont = c } if i == 0
      printf("%d) i = %d, k = %d\n", $n, i, k)
    end
    k += 1
    exit if ($n+=1) == 2
    print "Jump!\n"
    $cont.call
end

だと 0 に戻るのかな。
---
                        豊福＠パパイヤ
                        [e-mail]
                        [e-mail]