[ruby-list:33321] Re: " 差分ベースモジュール " in Ruby

In article <[e-mail]>,
  Tanaka Akira <[e-mail]> writes:

> いえ、あるファイル f からあるファイル g を require したときには g で定
> 義された名前を f から使えるようにすることを想定しています。
> 
> つまり namespace はファイルをノードとする DAG になります。

なんとなく、簡単なのを作ってみました。

% cat main.rb                
require 'left.rb'
require 'right.rb'

c = C.new
c.l
c.r
% cat left.rb 
class C
  def l; m end
  def m; p :left_m end
end
% cat right.rb 
class C
  def r; m end
  def m; p :right_m end
end

というように 3つのファイルがあったとします。これを普通に実行すると

% ruby main.rb
:right_m
:right_m

となります。

が、ここで(私の解釈による) selector namespace が導入して、require して
いないファイルのメソッドは見えないと考えると、left.rb と right.rb は
require 関係において子孫 - 祖先関係にはないので、m という名前のメソッ
ドは干渉しないと想像できます。つまり、l が呼び出す m は left.rb の m
になり、r が呼び出す m はright.rb の m になるだろう、というわけです。
つまり

% ruby -rnamespace.rb bottom.rb
:left_m
:right_m

というようなかんじです。

と、いうようなことを効率無視で実現した namespace.rb は次のようなもので
す。

% cat namespace.rb
Dependences = []
NameSpace = {}

def normalize_feature(feature)
  # xxx: this method should return absolute pathname including suffix.
  File.basename(feature, '.rb')
end

alias namespace_original_require require
def require(feature)
  depender = normalize_feature(caller.first.sub(/:.*/, ''))
  dependee = normalize_feature(feature)
  #p [:require, depender, dependee]
  Dependences << [depender, dependee]
  namespace_original_require feature
end

def search_method(file, klass, name)
  #p [:search_method, file, klass, name]
  #p Dependences
  #p NameSpace
  klass.ancestors.each {|mod|
    files = [file]
    # xxx: Dependences may have cycle.
    Dependences.each {|depender, dependee|
      next unless files.include? depender
      files << dependee
    }
    files.uniq!
    #p files
    qualified_names = []
    files.each {|f|
      if NameSpace.include? [f, mod, name]
        qualified_names << NameSpace[[f, mod, name]]
      end
    }
    qualified_names.uniq!
    case qualified_names.length
    when 0
      raise StandardError.new "internal error: no method found: #{file} #{klass} #{name}"
    when 1
      #p qualified_names.first
      return qualified_names.first
    else
      raise StandardError.new "method conflict: #{name}: #{qualified_names.join(' ')}"
    end
  }
end

class Module
  @@enable_namespace = false

  def disable_namespace
    @@enable_namespace = false
    begin
      yield
    ensure
      @@enable_namespace = true
    end
  end

  def method_added(name)
    return unless @@enable_namespace

    file = normalize_feature(caller.first.sub(/:.*/, ''))
    mod = self
    qualified_name = "_#{file}_#{mod}_#{name}"
    #p [:method_added, file, mod, name] 

    NameSpace[[file, mod, name]] = qualified_name

    disable_namespace {
      code = <<-"END"
        alias_method #{qualified_name.dump}, :#{name}
	def #{name}(*args, &block)
	  file = normalize_feature(caller.first.sub(/:.*/, ''))
	  #p [:call, file, :#{name}, args]
	  send(search_method(file, self.class, :#{name}), *args, &block)
	end
      END
      #print code
      mod.class_eval code
    }
  end

  @@enable_namespace = true
end

ちなみに、この namespace.rb では left.rb と right の両方を require し
ている場所から m を呼ぶと、曖昧なのでエラーになります。
(override を扱っていないのでエラーにしすぎですが。)

% ruby -rnamespace.rb -e 'require "left"; require "right"; C.new.m'
./namespace.rb:45:in `search_method': method conflict: m: _left_C_m _right_C_m (StandardError)
        from ./namespace.rb:22:in `each'
        from ./namespace.rb:22:in `search_method'
        from (eval):5:in `m'
        from -e:1
-- 
[田中 哲][たなか あきら][Tanaka Akira]
「ふえろ! わかめちゃん作戦です$(C⊇」(Little Worker, 桂遊生丸)