[ruby-dev:46210] Module#refinements

まつもとさん

前田です。

trunkにModule#refinementsというメソッドを追加したのですが、ささださんから
入れない方がよいのではないかという指摘があったので相談させてください。

これは、レシーバのモジュールにrefineで定義されたrefinementを、キーをrefine対象のクラス、
値をrefineする匿名モジュール(refineのブロック中のself)とするハッシュで返すメソッドです。

例えば、

class C1; end
class C2; end

module M
  refine C1 do
    $c1_ext = self
  end

  refine C2 do
    $c2_ext = self
  end
end

M.refinements #=> {C1 => $c1_ext, C2 => $c2_ext}

のような動作をするものです。

導入の理由の一つは、上記の$c1_extなどは匿名モジュールなのでアクセスしにくいため
リフレクションAPIがあった方が便利ではないかということです。

もう一つの理由は、以下のようにprependと組み合わせると、refinementsをグローバルに
有効にできるということです(そのためにリフレクションAPIがほしいということなので
結局同じ理由ですが)。

M.refinements.each do |klass, refinement|
  klass.send(:prepend, refinement)
end

mathnをrefinementsで置き換えようとした時に、グローバルに有効にする方法がほしいと
むらけんさんに言われたことがきっかけです。
# prependしたモジュールはもとのクラスよりもメソッド探索時に優先されるので、まさに
# グローバルなrefinementのようなものだと思っています。

ささださんからは、実装に依存した機能なので、将来実装方法が変わったら困るのではないか
という指摘があったのですが、そもそもrefineのブロックで匿名モジュールをRubyレベルに
公開してしまっていますし、using Mでrefinementsを有効にできるためにはそれらの匿名
モジュールをMから辿れないといけないので、Module#refinementsを実装できなくなると
いうのは根本的に今の仕様とは別のものになるということだと考えています。

もちろん、そもそも今のrefinementsの仕様がどうなのかという話はあるでしょうし、今は
refinements自体がexperimentalという扱いなので、結局全部無かったことにする可能性も
あると思います。

-- 
Shugo Maeda