From: Makoto Inada <mak@...>
Date: 2007-02-17T15:08:57+09:00
Subject: [ruby-dev:30368] Re: class local instance variable

------=_Part_16712_24619848.1171692533235
Content-Type: text/plain; charset=ISO-2022-JP; format=flowed
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

はじめまして。いなだと申します。

insntance_eval
の方は調べてないんですが、特異クラスで定義されたメソッドから、クラスローカルインスタンス変数が見えません。サンプルコードを添付しておきました。1.9.02007-02-16
で動作確認しています。

オブジェクト独自のメソッドである特異メソッドは、オブジェクトのインスタンス変数のすべてにアクセスできるべきであるというのが正しいなら、クラスローカルインスタンス変数へもアクセスできるべきです。
一方で、「クラスローカル」を字義どおりに解釈するなら、特異メソッドはオブジェクトの一部とはみなせてもクラスの一部とは見なせないので、クラスローカルインスタンス変数にアクセスできないというのも理屈です。
この二つは両立しないんですが、どちらの解釈が正しいんでしょうか？個人的には前者の方が直感的で好みです。


class C
  def initialize
    @_ccc = 47
  end
def f
    @_ccc
  end
end

a = C.new

class << a
  def g
    @_ccc
  end
end

p a.f    # <-- 47
p a.g   # <-- nil


On 2/16/07, Nobuyoshi Nakada <nobu@ruby-lang.org> wrote:
>
> なかだです。
>
> At Sat, 17 Feb 2007 02:18:00 +0900,
> Park Ji-In wrote in [ruby-dev:30363]:
> > 何かinstance_evalの中ではちょっとivar2が違うような気がします
> > があれが間違ったとすれば、@__x__/Merong となるように直したら
> > Singletonも元のコードで動くと思います。
>
> ivar2が違うのは確かなのですが、単にそれだけではすまないのではな
> いかと思います。たぶん、Singletonが動くようになればその表示も期
> 待されるようにはなるでしょうが。
>
> とりあえず分かっていることは、
> * instance_eval中と特異メソッド中ではget_cref()の戻り値が違う
> * 前者ではlfp_get_special_cref()が有効だが後者では無効
> くらい。もしかしたら、特異メソッド定義の際にcrefをpushするだけ
> でもいいかもしれませんが、あるいは定数探索と共通にしていること
> が問題なのかも。
>
> --
> --- 僕の前にBugはない。
> --- 僕の後ろにBugはできる。
>     中田 伸悦
>
>

------=_Part_16712_24619848.1171692533235
Content-Type: text/html; charset=ISO-2022-JP
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

はじめまして。いなだと申します。<br><br>insntance_eval の方は調べてないんですが、特異クラスで定義されたメソッドから、クラスローカルインスタンス変数が見えません。サンプルコードを添付しておきました。1.9.0 2007-02-16 で動作確認しています。<br><br>オブジェクト独自のメソッドである特異メソッドは、オブジェクトのインスタンス変数のすべてにアクセスできるべきであるというのが正しいなら、クラスローカルインスタンス変数へもアクセスできるべきです。
<br>一方で、「クラスローカル」を字義どおりに解釈するなら、特異メソッドはオブジェクトの一部とはみなせてもクラスの一部とは見なせないので、クラスローカルインスタンス変数にアクセスできないというのも理屈です。<br>この二つは両立しないんですが、どちらの解釈が正しいんでしょうか？個人的には前者の方が直感的で好みです。<br><br><br>class C<br>&nbsp; def initialize<br>&nbsp;&nbsp;&nbsp; @_ccc = 47<br>&nbsp; end
<br>　def f<br>&nbsp;&nbsp;&nbsp; @_ccc<br>&nbsp; end<br>end<br><br>a = C.new<br><br>class &lt;&lt; a<br>&nbsp; def g<br>&nbsp;&nbsp;&nbsp; @_ccc<br>&nbsp; end<br>end<br><br>p a.f&nbsp;&nbsp;&nbsp; # &lt;-- 47<br>p a.g&nbsp;&nbsp; # &lt;-- nil<br><br><br><div><span class="gmail_quote">On 2/16/07, 
<b class="gmail_sendername">Nobuyoshi Nakada</b> &lt;<a href="mailto:nobu@ruby-lang.org">nobu@ruby-lang.org</a>&gt; wrote:</span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
なかだです。<br><br>At Sat, 17 Feb 2007 02:18:00 +0900,<br>Park Ji-In wrote in [ruby-dev:30363]:<br>&gt; 何かinstance_evalの中ではちょっとivar2が違うような気がします<br>&gt; があれが間違ったとすれば、@__x__/Merong となるように直したら<br>&gt; Singletonも元のコードで動くと思います。<br>
<br>ivar2が違うのは確かなのですが、単にそれだけではすまないのではな<br>いかと思います。たぶん、Singletonが動くようになればその表示も期<br>待されるようにはなるでしょうが。<br><br>とりあえず分かっていることは、<br>* instance_eval中と特異メソッド中ではget_cref()の戻り値が違う<br>* 前者ではlfp_get_special_cref()が有効だが後者では無効<br>くらい。もしかしたら、特異メソッド定義の際にcrefをpushするだけ
<br>でもいいかもしれませんが、あるいは定数探索と共通にしていること<br>が問題なのかも。<br><br>--<br>--- 僕の前にBugはない。<br>--- 僕の後ろにBugはできる。<br>&nbsp;&nbsp;&nbsp;&nbsp;中田 伸悦<br><br></blockquote></div><br>

------=_Part_16712_24619848.1171692533235--