[ruby-dev:1142] Re: Object#bind

前田です。

In message "[ruby-dev:1136] Re: Object#bind"
Yukihiro Matsumoto <[e-mail]> wrote:

||# たしか, この話しの元になったのが
||#
||#   (fset 'old-func (symbol-funcation 'method)
||#   (defun method ...)
||#
||# をrubyでも行ないたいって話しでしたので...
|
|とはいえ，もともとの前田さんのBoundMethodの実装が今私の話し
|ているようなBoundMethodでしたからねえ．

混乱させてしまったようで，すみません。

|問題なのはmix-inの関係でrubyは実装上は多重継承になっているの
|でsuperで呼ばれるメソッドが静的には決して決まらないことです．
|で，現在はレシーバのクラス階層から動的に探しているのですが，
|UnboundMethodによってメソッドが要求するクラス階層とレシーバ
|のクラス階層が異なると破綻しそうです．すくなくとも現在の実装
|では対応できません．

UnboundMethodにそのメソッドが定義されていたクラスも持たせれば
よいのではないでしょうか？

struct UNBOUND_METHOD {
    VALUE class;
    ID id;
    NODE *body;
};

/* UnboundMethod#apply 第一引数をレシーバとしてメソッドを呼び出す */
static VALUE unboundmethod_apply(int argc, VALUE *argv, VALUE method)
{
    VALUE result, recv;
    struct UNBOUND_METHOD *data;
    enum node_type type;

    if (argc == 0) ArgError("wrong # arguments");
    recv = *argv;
    argc--; argv++;
    Data_Get_Struct(method, struct UNBOUND_METHOD, data);
    type = nd_type(data->body);
    PUSH_ITER(iterator_p()?ITER_PRE:ITER_NOT);
    result = rb_call0(data->class, recv, data->id, data->id,
		      argc, argv, 1, data->body, type);
    POP_ITER();
    return result;
}

# 実際に試してないので変なところがあるかもしれません。

クラスにUnboundMethodをメソッドとして追加する方は，ちょっと
姑息ですが，

class Module
  def add_method(name, method)
    unless name.kind_of? String
      name = name.id2name
    end
    module_eval %!
      UNBOUND_METHODS__ = {} unless defined? UNBOUND_METHODS__
      UNBOUND_METHODS__["#{name}"] = method
      def #{name}(*args)
        UNBOUND_METHODS__["#{name}"].apply(self, *args)
      end
    !
  end
end

などとすれば，うまくいくように思います。

-- 
前田 修吾