[ruby-dev:1354] Re: [MethodIndex] Bug and question

けいじゅ＠日本ラショナルソフトウェアです.

In [ruby-dev :01353 ] the message: "[ruby-dev:1353] Re: [MethodIndex]
Bug and question ", on Jan/29 17:13(JST) Yukihiro Matsumoto writes:

>まつもと ゆきひろです

>パッチの追加があります．

パッチ当てました. けども...

>|4.2 クラス(モジュール)メソッドについて

>
>|#1, #2が違うのは良いんですが, なぜ #2, #3は異なっているのでしょう?
>|
>|それに, 最初の3,4個のClassは実際には何なんでしょうね? 気分的には:
>|
>|  Barの特異クラス < Fooの特異クラス < Objectの特異クラス <
>|    Class < Module < Object < Kernel
>|
>|となるべきかなと思うんですが?

rbc0> class Foo
rbc1> end
rbc0> class Bar < Foo
rbc1> end
rbc0> module Baz
rbc1> end
rbc0> class Foo
rbc1>   include Baz
rbc1> end
rbc0> Bar.ancestors
[Bar, Foo, Baz, Object, Kernel]
rbc0> Bar.type.ancestors
[Class, Module, Object, Kernel]
rbc0> f = eval("class << Bar; ancestors; end")
[Class, Module, Object, Kernel]


Bar.ancestors
Bar.type.ancestors

はこれで良いと思うのですが, ``class << Bar; ancestors; end ''の結果が
不満なんです. やはり:

  Barの特異クラス < Fooの特異クラス < Bazの特異クラス <Objectの特異クラス <
  Class < Module < Object < Kernel

となって欲しいんですが...

# MethodIndexはこうなっていることを前提として実装してしまいました(;_;

>|4.3 つぎに, incetance_of?に関する質問ですが.

>instance_of?は「そのクラスのインスタンスか？」という述語であ
>り，「そのクラスまたはそのサブクラスのインスタンスか？」とい
>う述語ではありません．そういう目的にはkind_of?を使って下さい．

というかですね...

# 前の続き
rbc0> BAR = eval("class << Bar; self; end")
Class
rbc0> Bar.instance_of?(BAR)
false
rbc0> Bar.instance_of?(Class)
false
rbc0> Bar.instance_of?(Bar.type)
false

こういう結果はおかしくないか? という意味です.

__
................................石塚 圭樹＠日本ラショナルソフトェア...
----------------------------------->> e-mail: [e-mail] <<---