[ruby-dev:25866] Re: conflict method and local variable

永井@知能．九工大です．

From: Yukihiro Matsumoto <[e-mail]>
Subject: [ruby-dev:25865] Re: conflict method and local variable
Date: Fri, 11 Mar 2005 18:49:15 +0900
Message-ID: <[e-mail]>
> そうしてはどうかというアイディアを持っています。

サブクラスでの override を許してもいいようなメソッドを
呼び出している部分には，すべて self を付けておく必要がある
ということですね？
他の皆さんはどの程度の比率でサブクラスで置き換えられたくないような
メソッドを作られているのでしょうか．
私の場合は置き換えを防ぎたいものの比率が低いため，
まつもとさんの方針は「今後は self の省略を非推奨とする」と
言われているような印象を受けます．
そういう理解でよろしいでしょうか．

# Ruby/Tk では非常に多量に self を付けて回る必要がありそうです．(^_^;

以下は内部構造や言語デザインを理解していない素人の戯言です．
「馬鹿なことを」ということであれば笑って無視してください．

サブクラスなどを作っての再利用の際の利便性を考えると，
override を禁止したいものの比率の方が少なそうに感じます．

だとするなら，private_local というようなメソッドの可視クラスを用意して，
override を禁止したいもの，および上位クラスのメソッドの override とは
したくないものをこの可視クラスで定義するという方が私にはすっきりします．

その場合のメソッド検索順は以下の通りです．

あるメソッドを評価している際にレシーバを省略したメソッド M が
呼ばれたとします．

 (1) 評価しているメソッドが定義されているクラス/モジュールの
     private_local メソッドテーブルから M を検索する．
     見つかった場合は M をコール．

 (2) 現在メソッドを評価しているオブジェクトのクラスから順に
     上位のクラスに向かって private_local 以外のメソッドテーブルから
     メソッド M を検索する．
     見つかった場合は M をコール．

 (3) 見つからなければ undefined method の例外発生．

早い話が「定義したクラス/モジュールでのみ有効な (継承されない) 
プライベートメソッド」です．

lambda を代入したローカル変数も private_local として扱い，
instance_eval の中ではレシーバオブジェクトのクラスを
「評価しているメソッドが定義されているクラス」とすれば，
余計な (と私が感じている(^_^;) 影響を回避できると思います．
instance_eval の内部でどうしても呼びたければ，
ローカル変数としては見えているわけですから，
今までと同様に call すればいいですよね？

# 深くは考えてないんですが，ダメダメですかね？(^_^;
-- 
                                       永井 秀利 （九工大 知能情報）
                                           [e-mail]