[ruby-list:28318] Re: [Q] jcode の局部適用

あおきです。

  In mail "[ruby-list:28310] Re: [Q] jcode の局部適用"
    HISANO Kozo <[e-mail]> wrote:

> こんばんは，久野です。お返事ありがとうございます。

> しかし，以下のようなスクリプトで実験をしているうちに，疑問が
> 幾つか出てきました。

まず、大前提として「Ruby ではクラスもオブジェクトである」ことが
あります。ようするに変数に代入したり値として返したりできるという
ことです。

そのうえで以下のふたつを考えるとすべて納得がいくと思います。

  1  クラス名みたいに見えるのはただの定数だ
  2  オブジェクトはそれぞれ自分が所属するクラス(オブジェクト)を
     記憶している (名前を覚えているのではない)。それは生成時に
     決定し、それ以後は変わらない。

すなわち

> (1) jcodeでStringクラスの動作を変更すると，それ以前に作成し
>     たStringクラスのインスタンスにも影響が及ぶのに，
>       String = Original_String
>     とすると，それ以降の String#new にしか影響が及ばないのは
>     なぜ?

jcode は定数 String の指している先のクラス(オブジェクト)自体を
変更します。すべての文字列はそのオブジェクトを参照したままなので、
動作が一斉に変わります。


> (2) String#new("") と "" はどちらもStringクラスのインスタン
>     スを返すはずなのに，s4とs5の結果が異なるのはなぜ?

'' のように書くと、Ruby インタプリタは

  実行開始時に定数 String に入っているクラス(オブジェクト)

を別に持っていて、常にそれを使います。つまり定数 String の指す先が
変わろうと全く無関係です。一方 String.new('') と書くと

  その時点で定数 String に入っているクラス(オブジェクト)

がクラスになります。


一言で言うと、定数が指しているクラスそれ自体を変えるか、
定数が指すクラスを別のオブジェクトにするかという違いです。
-------------------------------------------------------------------
青木峰郎