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

あおきです。

  In mail "[ruby-list:36279] Re: ar=[];ar+=2でエラー"
    Fujimaru Hiroyasu <[e-mail]> wrote:

> 　藤丸です。

> > 初期化されていないローカル変数はnilです。

> 　これが通るという事で、「初期化されていないローカル変数はnil」という言い
> 方もわかるのですが、しかし、そういう言い方をした時に、代入前だと
>
> if v==nil
> やら
> if v.nil?
> 
> 　がエラーになるのは微妙に気持ち悪くないですか？

二点誤解があると思います。

1.
Ruby には明示的な変数定義がないのですが、実は「定義」と
「代入」が厳密に存在します。定義されていない変数を参照する
とエラーです。定義された、しかし代入されていない変数を参照
するとオブジェクト nil が返ります。

インスタンス変数やグローバル変数では、あらゆる変数名が
前もって定義されているかのように扱えます。つまりどんな
変数でもいきなり参照できます。

クラス変数は最初の代入が定義を兼ねます。だから、代入前に
参照すると (未定義なので) エラーになります。

ローカル変数は代入を「書いた」ところで定義されます。だから
(ソースコード上で) 代入を書く前に参照を書くと (未定義なので)
エラーになります。


2.
nil? はメソッドです。メソッドはオブジェクトに対して呼ぶもの
であって、変数に対して呼ぶものではありません。変数に代入した
オブジェクトに対してメソッドを呼ぶときは、以下のように手順が
きっぱり別れています。

  # コード例
  lvar = "str"
  lvar.upcase

  # 手順
  1. ローカル変数lvarを参照する。
  2. 1.の結果に対してメソッドupcaseを呼ぶ。

エラーが出ているのは 1. の段階ですから、それと 2. の話を混ぜる
のは混乱の元です。


つまり、undefined_lvar.nil? が真になるべき、という意見が
論理的であるためには、

  * 1.を変える。即ち「ローカル変数の定義」の定義を変える

  * 2.を変える。即ち nil? をメソッドでなくすか、
    メソッドは変数に対して働きかけるとする

のどちらかでなければいけません。しかし 2. は論外です。言語仕様が
完全に壊れてしまうからです。1. はそれなりにありえると思いますが、
互換性はなくなるので安易には変えられないでしょうね。
-------------------------------------------------------------------
青木峰郎