ruby-list

まつもと ゆきひろです

In message "[ruby-list:18852] Re: Why Mix-in? (Re: [book] $*, etc.)"
    on 99/11/23, Toyofuku <toyofuku@juice.or.jp> writes:

|> Ruby本、p.175図4-5と、p.178図4-9の周辺ではいかが？
|
|  ダメです。:-)

そうですか。

|というか。多重継承も Mix-in も使ったことないので
|実感がわきません。

うーん、「使ったこと無いんで実感がわかない」んですから、使っ
てみていただかないことにはどのような説明も無効のように思いま
す。やっぱり経験によって学んでいただかないと。:-)

ともあれ、まず最初に理解していただきたいのはMix-inは多重継承
のサブセットだと言うことです。つまり、「多重継承にできないこ
とがMix-inにできる」というのではないということです。逆に「多
重継承ではまずい設計ができてしまう可能性があるが、Mix-inが強
制されればそれはできない(まずい設計になりにくい)」ということ
ですね。引き算の発想。

gotoであらゆる制御構造が構成できるが現代の言語の多くにgotoが
採用されていないようなものですね。

|どういう流れでこう出力されるのかよくわかって
|ないのですが多重継承にはこの仕掛は入れられ
|ないのでしょうか。またこの仕掛が入れている
|ことによる Mix-in のデメリットはないので
|しょうか。

仕掛けそのものは不可能ではないです、つーか、まったくおんなじ
やり方が可能です。繰り返しますがMix-inは多重継承のサブセット
ですから。が、多重継承はクラス関係の任意のDirected Acyclic
Graph構造を許しますから、この仕掛けが直感に沿う保証はどこに
もありません。一方、単純継承＋Mix-inはそのかなり小さなサブセッ
トですので、直感に沿わない可能性がかなり低いです。

Mix-inにおけるこの仕掛けのデメリットってのは思い付きませんね。
あるのかもしれませんが。

|  「複数回実行」以外の「クラスの挙動が予想しに
|くくなる」具体例とそれを Mix-in で書いたときの
|例の比較などもあるともっとぴんとくると思います。

うーん、実はかなり深いクラス階層が構成されないとこの問題は発
生しないのですが、この問題が発生するような深いクラス階層は、
ほとんどの場合そもそも問題のあるクラス設計ですから、Mix-inに
よって「クラスの挙動が予想しにくくなる具体例」ってのはなかな
か作りにくいんですね。

ちょっと無理矢理な例ですが

  Window
  TitledWindow
  ShadowedWindow
  TitledShadowedWindow
  TerminalWindow
  TitledTerminalWindow
  ShadowedTerminalWindow
  TitledShadowedTerminalWindow

というクラス階層を、Mix-inを使わないで

  Window<Object
  TitledWindow<Window
  ShadowedWindow<Window
  TitledShadowedWindow<TitledWindow,ShadowedWindow
  TerminalWindow<Window
  TitledTerminalWindow<TitledWindow,TerminalWindow
  ShadowedTerminalWindow<ShadowedWindow,TerminalWindow
  TitledShadowedTerminalWindow<TitledTerminalWindow,ShadowedTerminalWindow

と設計するのと、Mix-inを使って

  Window<Object
  Titled(モジュール)
  Shadowed(モジュール)
  TitledWindow<Window; include Titled
  ShadowedWindow<Window; include Shadowed
  TitledShadowedWindow<Window; include Titled, Shadowed
  TerminalWindow<Window
  TitledTerminalWindow<TerminalWindow; include Titled
  ShadowedTerminalWindow<TerminalWindow; include Shadowed
  TitledShadowedTerminalWindow<TerminalWindow; include Titled, Shadowed

と設計するのとどっちが良いかというような感じです。伝わるかな。
上の例でクラス図書いてみると良いかも。

「良い」というのは客観的に示せないのでちょっとつらいですけど。

|  それとクジラの Mix-in の例ですが、哺乳類を主
|に、海棲を従に考えていると思うのですが、別の
|ケースで哺乳類を従に考えることもあるかもしれない
|から module Mammalia にしておこうというように
|何でも module になってしまわないんでしょうか。

それは見方の問題(解決すべき問題のとらえ方)ですから、そうする
のが好ましいと思えばそうすれば良いと思います。が、それで使い
やすいかどうかはまた別の問題なので、結局はバランスのとれたと
ころで収束するのではないかと思います、普通は。

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

Thread

Prev Next

In This Thread

Prev Next

[#18226] Ruby 本ってば、うれしいなー — Atsuko Yoshida <atsuko@...>

[#18229] [book-bug]p.270,273,305 — "ISIHARA HIROSI" <ishihara-h@...>

[#18233] [book] blade.nagaokaut.ac.jp/ruby/ruby-list/ — Shin-ichiro Hara <sinara@...>

[#18235] [book-bug] p.261 — YOKOYAMA Takehiro <tac@...>

[#18236] Ruby AP 展示会出展 — Yoshida Masato <yoshidam@...>

[#18242] Re: i++ に見る性格の差 — toyofuku@...

[#18247] [book bug] 82, 186 — KIMURA Koichi <kbk@...>

[#18252] http-access.rb で state != :META — SETSURA <setsura@...>

[#18265] アクセス制御について — Tadashige Morii <m_tada@...>

[#18279] [book bug] p.557 — kenn@...

[#18293] [book] 新宿紀伊國屋売り上げ情報 — Noritsugu Nakamura <nnakamur@...>

[#18303] Float#step が欲しい・・・ — 伊藤 友裕 <j6398015@...>

[#18307] Re: <=> — Toyofuku <toyofuku@...>

[#18308] DRb|drb|druby + iterator — Masatoshi SEKI <m_seki@...>

[#18310] Re: 変数、代入 — "Takehiko Ueki" <takehiko@...>

[#18327] [book][]= メソッド — Noritsugu Nakamura <nnakamur@...>

[#18332] rubyTk の Tk は何がお勧めですか？ — Sakae Kobayashi <sakae@...>

[#18338] オブジェクトの非同一性判定 — Ayanosuke <aya@...>

[#18341] [book] missing prec.c — Minero Aoki <aamine@...>

[#18345] jsort — Koretsugu Daigoro <tmmcross@...>

[#18347] Re: <=> — Toyofuku <toyofuku@...>

[#18348] Is there ext/GD for gd-1.7.x — "OGAWA, Hiroshi Santa" <santa@...>

[#18354] Re: <=> — Toyofuku <toyofuku@...>

[#18356] [book] gets — KANEKO Naoshi <wbs01621@...>

[#18361] Proc in a loop — ttate@...

[#18371] [book] IO/Enumerable — Tadayoshi Funaba <tadf@...>

[#18374] regular pattern — Katsuya Tanaka <tanaka@...>

[#18375] コマンドラインベースの電卓 — Kouichi Isobe <isobe@...>

[#18402] bug of regexp and book errata — Yoshiki Wada <wada@...>

[#18404] ruby-1.4.2 for NetBSD/alpha — SHIROYAMA Takayuki <psi@...>

[#18406] ruby 1.4.2 for NeXTSTEP — SHIROYAMA Takayuki <psi@...>

[#18408] [BUG] debug.rb(?) — Chikanaga Tomoyuki <hekitou@...>

[#18413] document writer — Kazuhiro Yoshida <moriq.kazuhiro@...>

[#18417] Re: document writer — Kazuhiro Yoshida <moriq.kazuhiro@...>

[#18420] bindrv on oracle — 中村暁史 Nakamura Akifumi <BXQ04723@...>

[#18422] ruby-1.4.2-2.{i386,src}.rpm — Naoki Kawakami <knao@...>

[#18425] joke (Re: [ruby-dev:8247] Re: 例外を処理する 2 項演算子) — gotoken@... (GOTO Kentaro)

[#18429] ビット演算について — Tadashige Morii <m_tada@...>

[#18432] [GTK] signal_connect_after — gotoken@... (GOTO Kentaro)

[#18442] Re: <=> — toyofuku@...

[#18443] ruby とベンチマーク — Noritsugu Nakamura <nnakamur@...>

[#18447] mswin32 でのファイル名の大 / 小文字 — "U.Nakamura" <usa@...>

[#18451] [book-bug]p89 http get — KANEKO Naoshi <wbs01621@...>

[#18467] Array doesn't include Comparable — kjana@... (YANAGAWA Kazuhisa)

[#18469] rbdoc-0.0.3 — Kazuhiro Yoshida <moriq.kazuhiro@...>

[#18471] SMF class — Tadayoshi Funaba <tadf@...>

[#18474] オープンソースまつり — matz@... (Yukihiro Matsumoto)

[#18475] Re: オープンソースまつり — KIMURA Koichi <kbk@...>

[#18476] paramclass — gotoken@... (GOTO Kentaro)

[#18477] [book] csv_split — Kazuhiro Nishiyama <nishiyama@...1.tiki.ne.jp>

[#18478] [book] p.255 — とみたまさひろ <tommy@...>

[#18479] ruby 1.4.2 can't compile ?? — ゆうたん☆ <yu-tan@...>

[#18480] ruby 1.4.2 can't compile ?? — ゆうたん☆ <yu-tan@...>

[#18485] Linux magazine 12/1999 — WATANABE Tetsuya <tetsu@...>

[#18490] [CFV] icompetition — gotoken@... (GOTO Kentaro)

[#18494] `make test' failure on Cygwin build w/ --enable-shared — Mimpei MORISHITA <mimpei@...>

[#18501] 関数 ` の動作 — Keisuke CHIBA <chiba@...>

[#18502] TMail bug report — Shugo Maeda <shugo@...>

[#18517] 自分の IP を獲得する方法 — Suguru Kakishita <kakky@...>

[#18521] Is there errata? — Mimpei MORISHITA <mimpei@...>

[#18526] アイコンコンテスト（ファイル用） — Hoshino Hitoshi <zin@...>

[#18529] [book] — Toyofuku <toyofuku@...>

[#18533] cover animal for Ruby book — Koretsugu Daigoro <tmmcross@...>

[#18536] How to upload file*s* — Toyofuku <toyofuku@...>

[#18539] [book] $*, etc. — Yasuhiro Fukuma <yasuf@...>

[#18541] Ruby/*PDF* — kinneko <ydate@...>

[#18542] clone of Gtk+ widget — Takayuki YAMAGUCHI <tyamaguchi@...>

[#18544] Readline.readline and signal trap — Chikanaga Tomoyuki <chikanaga@...>

[#18545] 変数の型チェック — "Hideaki Takata" <hideakit@...3.dion.ne.jp>

[#18555] EUC to JIS by Kconv — nosuzuki@... (Norio Suzuki)

[#18560] [book] p.190 — とみたまさひろ <tommy@...>

[#18570] RubyUnit — Masaki Suketa<CQN02273@...>

[#18576] Re: ruby-1.4.2 NeXT Port — SHIROYAMA Takayuki <psi@...>

[#18580] — tokoma@... (中川 誠)

[#18582] Regexp source — Kazuhiro Nishiyama <nishiyama@...1.tiki.ne.jp>

[#18583] Re: How to upload file*s* — Toyofuku <toyofuku@...>

[#18584] [REQ] [].grep(pat) #=> [] — gotoken@... (GOTO Kentaro)

[#18589] icompetition closed — gotoken@... (GOTO Kentaro)

[#18603] coding style — Shugo Maeda <shugo@...>

[#18608] swigruby-0.3 — Masaki Fukushima <fukusima@...>

[#18303] Float#step が欲しい・・・ — 伊藤　友裕 <j6398015@...>

[#18536] How to upload files — Toyofuku <toyofuku@...>

[#18541] Ruby/PDF — kinneko <ydate@...>

[#18580] — tokoma@... (中川誠)

[#18583] Re: How to upload files — Toyofuku <toyofuku@...>

[#18664] Re: ruby から SQL Server — たむら　けんいち<ken-ichi.tamura@...>

[#18807] protected なメソッドの再定義 — YAMASHITA Junji (山下純司) <ys_jyunji@...>