[ruby-dev:8822] Re: BEGIN as stmt. ?

えぐち＠エスアンドイー です。

>>> In message [ruby-dev:8821] Re: BEGIN as stmt. ?
    On Tue, 4 Jan 2000 22:45:15 +0900, [e-mail] (Yukihiro Matsumoto) said:

matz> まつもと ゆきひろです
matz> 
matz> In message "[ruby-dev:8820] BEGIN as stmt. ?"
matz>     on 00/01/04, EGUCHI Osamu <[e-mail]> writes:

matz> |  % ruby -e 'BEGIN {} while true'
matz> |  -e:1: [BUG] Segmentation fault
matz> |  Abort (core dumped)
matz> |
matz> |となってしまいます。
matz> 
matz> こりはバグです。BEGINでなくても
matz> 
matz>   () while true
matz> 
matz> でも発生しますね。要するに修飾型whileのbody部のチェックを怠っ
matz> ていたわけです。修正します。末尾にパッチを添付します。

なるほど BEGIN ではなく、 while(と until)側の問題でしたか、
＃そういえば、else のない if の else 側のノードは NULL ですものね。

そういう目で観ると、-@ と +@ にも同じバグがありますね、パッチつけます。
＃ () の値って nil 、ですよね、、、、他の言語みたいですけど(笑)

matz> |なんとなく気持は判るのですが、BEGIN (と END)が独自のスコープを持たずに
matz> |トップレベルで評価された方が、「なるべくグローバル変数は使いたくない」
matz> |という気持を満足できると思うのですが、如何でしょうか？
matz> 
matz> ENDは独自のスコープを持ちません。BEGINだけです。なぜなら
matz> BEGINはプログラム全体が実行される前に実行されるので、その時
matz> 点では(トップレベルスコープも含めて)他のスコープはまだ存在し
matz> ませんが、ENDの場合には利用できる周囲にスコープが存在するか
matz> らです。

なるほど、END がスコープを独自に持たない理由は判りました。

matz> BEGINが外側のスコープを利用するのだとすると、それはどのスコー
matz> プであるべきなのでしょうか？ いまだ存在しない周囲のスコープ
matz> を利用すると言うのもつらい話ですし、どこにあってもトップレベ
matz> ルスコープと言うのも(厳密な意味でのトップレベルスコープが存
matz> 在しないことを考えると)どこまで意味があるか疑問です。

BEGIN はてっきり、トップレベルで評価されるとばかり思っていました。

  ruby -nle 'BEGIN {n = 0}; n += 1; END {print n}' /etc/passwd

こんな感じの、コードが通る事を期待していた訳です。
＃実際は、n=0 の n は BEGIN ブロックの終了で消失するので
＃ n+=1 で、nの 未設定で undefined method `+' for nil (NameError)

周囲のスコープを利用すると言うのは、構文的にネストした場合だと思いますが、
いまのところ BEGIN はトップレベル以外には置けないので、
トップレベルスコープを仮定しても、問題はないと思います。

が、なんとなくネストしていても、動いてしまっているような気もする...
そもそも、スコープ以前にネストした BEGIN がどういう意味を持つべきか？
は微妙に思えます。(エラーでいいんだろうか？)

matz> 厳密な意味でのトップレベルスコープが存在しないというのは、た
matz> とえば、loadしたライブラリの評価時のスコープはトップレベルス
matz> コープのコピーだということです。ライブラリ実行中に BEGIN が
matz> 評価されたら、そのスコープはどのスコープであるべき？

たしかに load されたライブラリの中の BEGIN ブロックは悩ましいですね。
ところで、トップレベルのスコープの複製を作るのは何ででしたっけ？
＃load されたライブラリはトップレベルではなさそなので BEGIN は
＃使えないものだとばかり思ってました。 ^^;;

	えぐち

Wed Jan  5 02:14:46 2000  EGUCHI Osamu  <[e-mail]>

	* parse.y: Fix SEGV on empty parens with UMINUS or UPLUS.

Index: parse.y
===================================================================
RCS file: /usr/home/eguchi/cvs.netlab.co.jp/ruby/parse.y,v
retrieving revision 1.11
diff -d -u -r1.11 parse.y
--- parse.y	1999/12/14 06:49:47	1.11
+++ parse.y	2000/01/04 17:10:47
@@ -713,7 +713,7 @@
 		    }
 		| tUPLUS arg
 		    {
-			if (nd_type($2) == NODE_LIT) {
+			if ($2 && nd_type($2) == NODE_LIT) {
 			    $$ = $2;
 			}
 			else {
@@ -722,7 +722,7 @@
 		    }
 		| tUMINUS arg
 		    {
-			if (nd_type($2) == NODE_LIT && FIXNUM_P($2->nd_lit)) {
+			if ($2 && nd_type($2) == NODE_LIT && FIXNUM_P($2->nd_lit)) {
 			    long i = FIX2LONG($2->nd_lit);
 
 			    $2->nd_lit = INT2FIX(-i);