[ruby-dev:15964] Re: [BUG?] include after module definition and extend module

In article <[e-mail]>,
  [e-mail] (Yukihiro Matsumoto) writes:

> includeした時点でのincludeした順です。

時刻順であって、構造とはあまり関係ないんですね。なるほど。

> で、逆転するのは考えていなかったのですが(というか、正直なと
> ころincludeされたモジュールに先祖が後から追加されたケースに
> は一般的に考察が不足)、これはやっぱり
> 
>   [C, B, A]
> 
> となるようにしたほうが良いんでしょうねえ。どういう具体的な手
> 順になるのか考えてみます。

少なくとも class/module のグラフ構造を topological sort した順番にはなっ
ているのが望ましいんじゃないかと思います。

ただ、topological sort 済みのリストを merge して topological sort 済み
のリストを生成するのは難しいのではないかと思います。かなり深く考察し、
うまい制約を見つけない限り不可能でないかという気がします。

従って、基本に従って direct super class/module のリストを保存して、変
更時に traverse しなおして ancestors を作りなおすのが妥当なところでは
ないか、と思います。

なお、気がついたのですが、今は

% ruby -e '
module A; end
module B; end
module C; include B; end
module B; include A; end
module A; include C; end
p A.ancestors, B.ancestors, C.ancestors 
'
[A, C, B]
[B, A]
[C, B]

というように cycle を発見できないこともあるようです。

あと、作りなおす方の話ですが、ObjectSpace.each_object(Module) だと特異
クラスが出てこないので、extend された Object は扱えないのですが、効率
的に特異クラスをリストアップする方法ってあるんでしょうか?
-- 
[田中 哲][たなか あきら][Tanaka Akira]
「ふえろ! わかめちゃん作戦です$(C⊇」(Little Worker, 桂遊生丸)