ruby-dev

まつもと ゆきひろです

In message "[ruby-dev:1609] Re: [BUG] String.dup"
    on 98/03/08, 石塚圭樹 <keiju@rational.com> writes:

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

|私はsuperが本質的な問題になっていると気づくまでだいぶかかってしまいま
|した. 構造の互換性をチェックする方法に目がいっていたもので(^^;;;

まず最初に「私が1.1b9以降にこの問題に関して行ったこと」を書
いておきます．まずクラスにインスタンスが通常のオブジェクトで
ないことを示す1bitのフラグを用意して，すべての組み込みオブジェ
クトに関してこのフラグを明示的にセットしました．

また，このフラグがセットされたクラスを継承したクラスはこのフ
ラグの状態も継承するようにしました．

更にdata_object_allocの引数として使われたクラスにもこのフラ
グをセットするようにしました．

そして最後にobj_alloc(通常オブジェクトの割り当てルーチン)で
このフラグが立っているクラスのインスタンスを通常オブジェクト
として生成しようとするとTypeErrorを上げるようにしました．

これらによって問題のほとんどが解消されます．

残る問題は

   拡張モジュールで
   T_DATAなインスタンスを作るクラスを
   Objectのサブクラスとして定義して
   そのクラスのインスタンスが一つも定義される前に
   例の方法(def new; super; end)を使って

インスタンスを生成されちゃった場合ですが，これは

  * ここまでされると仕方がない
  * T_DATAなクラスはDataのサブクラスにするよう指導する

の両面(？)で対応したいと思ってます．

|>そのクラスからのみスーパークラスのメソッドがundefされているように
|>見せるためには、クラスの中に各スーパークラスに対応したテーブルを
|>すべて持たせる必要がありますよね。
|
|テーブルというか, super_undefされたメソッドのハッシュ表が必要になりま
|すね(案1)

構造体の空間に余裕がないので案1は避けたい(それにすごくムダ)

|(案2) メソッドそのものの属性として super_undefされているかどうかの状態
|      を持たせる. 

まあ，これは無意味ではないですよね．実装もそんなに大変ではな
いです．

|(案3) 仮想的なモジュールをinclude(クラスメソッドならextend)して, そこ
|      でメソッドをundefする.  

これも簡単ですよね．かなり無駄ですけど．

|この方法は上記を見れば比較的簡単に実現できますが, すべてのPrimitiveク
|ラスが仮想的なモジュールを持つことになるのがちょっとって気がしますね.

ええ．

|(案4) クラスのViewを導入する. super_undefはそのクラスから上位のクラス
|      がどのように見えるメソッドを変更する手段です. クラスのviewを導入
|      して, 下位のクラスからはviewを通して見えるようにすれば良いかなと
|      思います. 

えーと，viewって？ ^^;;;

|(案4)のviewは, 松本君が大学時代やっていた研究課題でしたよね? ですので, 
|rubyに導入するのも悪くないかなと(^^;;; ただ, だいぶ追加機能が発生しま
|すが...

良く覚えてましたね．そんなこと．^^;;;

私の研究していたview(profileって名前でしたが)は静的型のある
言語におけるクラスの外部仕様のサブセットでしたから，ここでの
viewとはちょっと，というかだいぶん違いますよね．Javaにおける
インターフェースに近いイメージですか．もう10年くらいの話になっ
ちゃいますが．

|効果はないのですが, 元々の用途は上位クラスで定義されているメソッドを見
|えなくするための機能なので, undefをsuper_undefと再定義しても全然問題な
|いと思うのですが?
|
|# メソッドを消去するのはModule#remove_methodでした.

まずそもそもsuper_undefってナニ？ って疑問があるんですが…．
# 最初の例に出て来たのは super_redef だし

で，本来の話題に帰ると，元々の問題は一応の解決を見ちゃったん
で，今回提示されたfinalとsuper_undef/super_redefとviewがそれ
ぞれruby的にどのような意味を持つのか，採用すべきなのか，とい
う話に移りたいんですケド．

                                まつもと ゆきひろ /:|)

Thread

Prev Next

In This Thread

Prev Next

[#1553] [BUG] String.dup — keiju@... (Keiju ISHITSUKA)

[#1555] Re: extended regular expression — matz@... (Yukihiro Matsumoto)

[#1557] IO#putc/Kernel#putc/Kernel#putchar — shugo@... (Shugo Maeda)

[#1562] Re: monitor.rb — keiju@... (石塚圭樹 )

[#1563] def foo(a);end — keiju@... (Keiju ISHITSUKA)

[#1566] Email your AD to 57 MILLION People ONLY $99 — 29818412@...

[#1571] about reading source code — tateishi@... (Takaaki TATEISHI)

[#1585] Re: extended regular exp — 岡部 勝幸 <HGC02147@...>

[#1602] with — shugo@... (Shugo Maeda)

[#1610] [BUG] IO & Socket & Thread / Cygwin32 — sinara@...

[#1618] printf "%x", -1 — WATANABE Hirofumi <watanabe@...>

[#1620] File class bug? — IWAMURO Motonori <iwa@...>

[#1657] Re: [ruby-list:7057] Re: infinity — shugo@... (Shugo Maeda)

[#1658] Re: [ruby-list:7060] Re: infinity — keiju@... (Keiju ISHITSUKA)

[#1673] Re: [ruby-list:7066] Re: infinity — 助田 雅紀 <masaki.suketa@...>

[#1677] Re: [ruby-list:7066] Re: infinity — 助田 雅紀 <masaki.suketa@...>

[#1682] Re: infinity — toyofuku@...

[#1718] new coerce [Re: coerce] — keiju@... (Keiju ISHITSUKA)

[#1735] experimental release 1.1b9_01 — matz@... (Yukihiro Matsumoto)

[#1738] UBASIC — toyofuku@...

[#1752] WeakRef — keiju@... (Keiju ISHITSUKA)

[#1783] [Req] Comparable#min/max — keiju@... (Keiju ISHITSUKA)

[#1790] trap and throw problem — keiju@... (Keiju ISHITSUKA)

[#1791] Re: trap and throw problem — keiju@... (Keiju ISHITSUKA)

[#1815] Bigfloat [Re: MP [Re: infinity]] — keiju@... (石塚圭樹 )

[#1820] [Req] Float#frexp and Float.ldexp — keiju@... (Keiju ISHITSUKA)

[#1837] Re: [ruby-list:7131] Re: [REQUEST] Mathematical divmod (Re: calendar-html.rb) — Shin-ichiro HARA <sinara@...>

[#1845] [ANNOUNCE] grepsvr.rb (Re: [ruby-list:6471] Manual Server) — Shin-ichiro HARA <sinara@...>

[#1859] experimantal release 1.1b9_04 — matz@... (Yukihiro Matsumoto)

[#1860] [Request] FileTest.text?, test(?T, ) — Shin-ichiro HARA <sinara@...>

[#1866] [Req] __READLINE__, __FILE__ — keiju@... (Keiju ISHITSUKA)

[#1886] Re: [ruby-list:7182] Re: chomp! — WATANABE Hirofumi <eban@...>

[#1889] [Bug] autoload problem — keiju@... (Keiju ISHITSUKA)

[#1896] [Bug?] return in iterator — keiju@... (Keiju ISHITSUKA)

[#1897] [bug] tktext.rb — Takahiro Maebashi <maebashi@...>

[#1908] RUBYLIB and default path problem — keiju@... (Keiju ISHITSUKA)

[#1913] [Bug] Float#divmod, Float#% — keiju@... (Keiju ISHITSUKA)

[#1924] Re: coerce — toyofuku@...

[#1927] Re: [ruby-list:01924] test — matz@... (Yukihiro Matsumoto)

[#1928] protected methods (Re: sort-schedule.rb) — matz@... (Yukihiro Matsumoto)

[#1935] [Bug] iterator of delegator — keiju@... (Keiju ISHITSUKA)

[#1950] Re: new coerce — toyofuku@...

[#1959] experimantal release 1.1b9_05 — matz@... (Yukihiro Matsumoto)

[#1962] [Bug] closed? — keiju@... (Keiju ISHITSUKA)

[#1975] experimantal release 1.1b9_06 — matz@... (Yukihiro Matsumoto)

[#1977] [BUG] catch, throw — WATANABE Hirofumi <eban@...>

[#1979] [Bug] File.umask — keiju@... (Keiju ISHITSUKA)

[#1982] Re: new coerce — toyofuku@...

[#1991] READ_DATA_PENDING — WATANABE Hirofumi <watanabe@...>

[#1994] eval exp, bind, fn, ln — keiju@... (Keiju ISHITSUKA)

[#1996] anArray .uniq — Kazunori NISHI <kazunori@...>

[#2002] [Req] Binding.new — keiju@... (Keiju ISHITSUKA)

[#2005] Re: coerce — Toyofuku <toyofuku@...>

[#2006] Re: new coerce — Toyofuku <toyofuku@...>

[ruby-dev:1616] Re: [BUG] String.dup

Thread

In This Thread

[#1585] Re: extended regular exp — 岡部　勝幸 <HGC02147@...>

[#1673] Re: [ruby-list:7066] Re: infinity — 助田　雅紀 <masaki.suketa@...>

[#1677] Re: [ruby-list:7066] Re: infinity — 助田　雅紀 <masaki.suketa@...>

[#1866] [Req] READLINE, FILE — keiju@... (Keiju ISHITSUKA)