[ruby-list:36285] Re: ar=[];ar+=2でエラー

むらけんです．

In message <[e-mail]> at Sun, 3 Nov 2002 13:26:36 +0900,
HIDAKA Takahiro <[e-mail]> wrote:
> 　実行されることのない if の中にある代入文で宣言されているわけなので、
> 本当に違うかどうかは微妙かも。「前に」というのが、構文上の「前に」で
> あって実行順ではないですからね。

現状の実装 (1.6.7) を見ると，ローカル変数の参照は parser.y:4176 の

    else if (is_local_id(id)) {
	if (dyna_in_block() && rb_dvar_defined(id)) return NEW_DVAR(id);
	if (local_id(id)) return NEW_LVAR(id);
	/* method call without arguments */
	return NEW_VCALL(id);
    }

この部分で，ローカル変数への代入は parser.ry:4222 の

    else if (is_local_id(id)) {
	if (rb_dvar_curr(id)) {
	    return NEW_DASGN_CURR(id, val);
	}
	else if (rb_dvar_defined(id)) {
	    return NEW_DASGN(id, val);
	}
	else if (local_id(id) || !dyna_in_block()) {
	    return NEW_LASGN(id, val);
	}
	else{
	    rb_dvar_push(id, Qnil);
	    return NEW_DASGN_CURR(id, val);
	}
    }

この部分でしょう．


    if false
      v = true
    end
    p v

こういうスクリプトの場合，構文木を作る過程で2行目の v = true 
によって v という名前のローカル変数が作られるので，4行目の p v 
では v はローカル変数になりますが，

   p v
   v = true

こんなスクリプトだと，p v が構文木になる時点で v というローカ
ル変数は無いので， v はメソッド呼び出しとして解釈されますね．

-- 
1024D/2A3FDBE6 2001-08-26 Kenta MURATA (MURAKEN) <[e-mail]>
Key fingerprint = 622A 61D3 280F 4991 4833  5724 8E2D C5E1 2A3F DBE6