Yukihiro Matsumoto <matz ruby-lang.org>
 Thu, 16 Sep 2004 01:04:38 +0900 / [yarv-dev:189] Re: return from orphan Proc object

　ささだです。

>|　こんなコードが通るんですが，これを通らない仕様にするのは
>|無理ですか？　つまり，Orphan になった Proc オブジェクトから
>|の break, retry, return は禁止，というルール．それなりにシ
>|ンプルだと思うのですが．
>
>前田さんへのフォローに書きましたが、returnできる場所から
>returnしないのはまずいのではないかと思います。

　うう、そうですか。困ったなぁ。

　いつ、どうやって「これ以降 return 禁止」と教えてあげればい
いのか。


>|　あと，引数なしの Proc.new はやめよーかなー，と仰ってまし
>|たが，2.0 はそうなると考えちゃっていいですか？　Procオブジェ
>|クトがOrphan になるタイミングがコンパイル時にわかって嬉しい
>|です．
>
>ごめん、まだ決めていません。どーしよーか。

　互換性の話をしだすと、とても悲しいことになりそうですね。
　やっぱり Proc.new を予約語にしますか（違


>|　Orphanの定義ですが，「ブロック付きメソッド呼び出しのとき，
>|メソッド実行中，そのブロックで Proc オブジェクトを作り，そ
>|れがのメソッド呼び出しから抜けた後でも生きてるとき，その Proc
>|オブジェクトを Orphan とする」という定義で考えてます．なんか
>|間違えてたらご指摘ください．
>
>Orphanの定義は「ブロックが存在するメソッドが終わったもの」で
>すよ。ブロックが含んでいるコンテキストを所有するメソッド(呼
>び出しフレーム)がなくなってしまったもの、という意味です。

　あぁ、一個ずれてましたか。では、Orphan になるのと、break/redo
がエラーになるのは関係ないんですね。タイミング的に同じなのは、
return が出来なくなる、でしたか。って、これも正確じゃないな。
メソッド中での話に限れば正確。


-- 
// SASADA Koichi at atdot dot net
//


--
ML: yarv-dev quickml.atdot.net
使い方: http://www.atdot.net/~ko1/quickml