[ruby-dev:2903] Re: what type are true and false

まつもと ゆきひろです

結局，問題は二つあって

  (1) 以下のコードが不自然

        eval "foo = 1"
        foo     # => NameError

  (2) 以下のコードが不自然

        proc{
          eval "foo = 1"
          proc {foo = 10}.call
          eval "foo" # => 10
        }.call

で，1の方は

        evalがあった場合にはそれを優先する

ことを求めています．つまり，静的のプログラム上には登場しなく
ても，evalで評価されたならローカル変数として認めてくれと言う
ことですね．これによるメリットは

  * evalによるローカル変数のずれがなくなる
  * irbの挙動と一致する

です．デメリットは

  * 以下のコードが理解しにくくなる

        $str = "foo = 25"

        # 別の何処か
        eval $str
        foo     # これは変数かメソッドか

    現状なら局所的に見るだけでこれがメソッド呼び出しであるこ
    とを保証できます．

  * 実行コストが若干上がる

    実はもうテスト的に実装してみました．ローカル変数のように
    も見えるメソッド呼び出しで実行時のチェックを追加する必要
    がありますので，若干コストが上昇します．

デメリットのうち後者は些細なものなので，さしたる問題は無いの
ですが，前者は若干不満です．もっともirbとの挙動が揃うという
のはかなり重要なのですが．

さて，2番目の問題の方は

        evalがあっても場合プログラムの字面を優先する

ポリシーを求めています．ということは1とは相反しますね．
同時に達成することは出来そうにありません．(- -);

これによるメリットは

  * とりあえず関数版と同じ動作を実現できる
  * evalのあるなしがローカル変数のスコープに影響しない

というものがあります．私は個人的にはevalに渡す文字列の内容を
見なくても変数のスコープが決定できることが好みなので，こっち
を採用したい気持ちはあります．

# もっともevalによる影響を無効化はできないので，程度問題では
# ありますが．

こちらもテスト的に実装してみました．こちらは実行コストはかか
りません．むしろ，若干処理が減ります．

こちらのデメリットは，1と矛盾することから

  * irbとの挙動の違いを克服できない

ということでしょうか．

いずれにしても今のrubyの挙動は通常ローカル変数はevalによって
スコープの影響を受けず，ブロック内ローカル変数はevalによる影
響を受けるという中途半端な仕様ですから，1か2か「どちらか」を
採用する必要があるようです．

どちらも実装しちゃいましたので，どっちでも手間は同じなんです
がね．
                                まつもと ゆきひろ /:|)