ruby-dev

前田です。

ちょっと前にメソッドのオブジェクト化の話がありましたが，
レシーバと結合されたメソッドを，

obj.bind(:foo)

で取り出せるようにするのはどうでしょう。
試しにちょっと実装してみたのでメールの末尾に添付します。

前に例に出た

def function(func)
  proc { |*x| send(func, *x) }
end

と違って，

rbc0> def foo
rbc1>   puts "foo"
rbc1> end
nil
rbc0> foo
foo
nil
rbc0> $foo = bind(:foo)
#<BoundMethod:0x400f6038>
rbc0> def foo
rbc1>   puts "overriden"
rbc1> end
nil
rbc0> foo
overriden
nil
rbc0> $foo.call
foo
nil

のようにメソッドがオーバーライドされても，bindした時点での
メソッド定義が保存されるので，多少は意味があるような気がします。

# ちなみにbindという名前はちょっとbindingと紛らわしいような気もし
# ますが，Satherのbindから連想しました。

unbound methodも同様に取り出せそうですが，考えないといけない問題が
多そうですね。

-- 
前田 修吾

Attachments (1)

eval.c.diff (4.05 KB, text/x-diff)

--- eval.c.orig	Tue Dec  9 23:51:49 1997
+++ eval.c	Wed Dec 10 01:53:12 1997
@@ -484,6 +484,7 @@
 static NODE *compile();
 
 static VALUE rb_call();
+static VALUE rb_call0();
 VALUE rb_apply();
 VALUE rb_funcall2();
 
@@ -2929,14 +2930,11 @@
     VALUE *argv;		/* OK */
     int scope;
 {
-    NODE *body, *b2;		/* OK */
+    NODE *body;
     int    noex;
     ID     id = mid;
     struct cache_entry *ent;
-    volatile VALUE result = Qnil;
-    int itr;
     enum node_type type;
-    static int tick;
 
   again:
     /* is it in the method cache? */
@@ -2955,16 +2953,6 @@
     if (noex == NOEX_PRIVATE && scope == 0)
 	return rb_undefined(recv, mid, argc, argv, CSTAT_NOEX);
 
-    switch (the_iter->iter) {
-      case ITER_PRE:
-	itr = ITER_CUR;
-	break;
-      case ITER_CUR:
-      default:
-	itr = ITER_NOT;
-	break;
-    }
-
     type = nd_type(body);
     if (type == NODE_ZSUPER) {
 	/* for re-scoped/renamed method */
@@ -2987,6 +2975,34 @@
 	goto again;
     }
 
+    return rb_call0(class, recv, mid, id, argc, argv, scope, body, type);
+}
+
+static VALUE
+rb_call0(class, recv, mid, id, argc, argv, scope, body, type)
+    VALUE class, recv;
+    ID    mid, id;
+    int argc;			/* OK */
+    VALUE *argv;		/* OK */
+    int scope;
+    NODE *body;
+    enum node_type type;
+{
+    NODE *b2;		/* OK */
+    volatile VALUE result = Qnil;
+    int itr;
+    static int tick;
+
+    switch (the_iter->iter) {
+      case ITER_PRE:
+	itr = ITER_CUR;
+	break;
+      case ITER_CUR:
+      default:
+	itr = ITER_NOT;
+	break;
+    }
+
     if ((++tick & 0xfff) == 0 && stack_length() > STACK_LEVEL_MAX)
 	Fatal("stack level too deep");
 
@@ -4359,6 +4375,94 @@
     return result;
 }
 
+VALUE cBoundMethod;
+struct BOUND_METHOD {
+    VALUE class;
+    VALUE recv;
+    ID id;
+    NODE *body;
+};
+
+static void bm_mark(struct BOUND_METHOD *data)
+{
+    gc_mark(data->class);
+    gc_mark(data->recv);
+    gc_mark(data->body);
+}
+
+static VALUE obj_bind(VALUE obj, VALUE vid)
+{
+    VALUE method;
+    VALUE class = CLASS_OF(obj);
+    ID mid, id;
+    NODE *body;
+    int noex;
+    struct cache_entry *ent;
+    enum node_type type;
+    struct BOUND_METHOD *data;
+
+    if (TYPE(vid) == T_STRING) {
+	mid = rb_intern(RSTRING(vid)->ptr);
+    }
+    else {
+	mid = NUM2INT(vid);
+    }
+    id = mid;
+
+  again:
+    /* is it in the method cache? */
+    ent = cache + EXPR1(class, mid);
+    if (ent->mid == mid && ent->class == class) {
+	class = ent->origin;
+	id    = ent->mid0;
+	body  = ent->method;
+    }
+    else if ((body = rb_get_method_body(&class, &id, &noex)) == 0) {
+	return rb_undefined(obj, mid, 0, 0, 0);
+    }
+
+    type = nd_type(body);
+    if (type == NODE_ZSUPER) {
+	/* for re-scoped/renamed method */
+	mid = id;
+	if (RCLASS(class)->super == 0) {
+	    /* origin is the Module, so need to scan superclass hierarchy. */
+	    struct RClass *cl = RCLASS(class);
+
+	    class = RBASIC(obj)->class;
+	    while (class) {
+		if (RCLASS(class)->m_tbl == cl->m_tbl)
+		    break;
+		class = RCLASS(class)->super;
+	    }
+	}
+	else {
+	    class = RCLASS(class)->super;
+	}
+	goto again;
+    }
+
+    method = Data_Make_Struct(cBoundMethod, struct BOUND_METHOD,
+			      bm_mark, 0, data);
+    data->class = class;
+    data->recv = obj;
+    data->id = id;
+    data->body = body;
+
+    return method;
+}
+
+static VALUE bmethod_call(int argc, VALUE *argv, VALUE method)
+{
+    struct BOUND_METHOD *data;
+    enum node_type type;
+
+    Data_Get_Struct(method, struct BOUND_METHOD, data);
+    type = nd_type(data->body);
+    return rb_call0(data->class, data->recv, data->id, data->id,
+		    argc, argv, 1, data->body, type);
+}
+
 void
 Init_Proc()
 {
@@ -4371,6 +4475,11 @@
     rb_define_global_function("proc", f_lambda, 0);
     rb_define_global_function("lambda", f_lambda, 0);
     rb_define_global_function("binding", f_binding, 0);
+
+    cBoundMethod = rb_define_class("BoundMethod", cObject);
+    rb_undef_method(CLASS_OF(cBoundMethod), "new");
+    rb_define_method(cBoundMethod, "call", bmethod_call, -1);
+    rb_define_method(mKernel, "bind", obj_bind, 1);
 }
 
 #ifdef THREAD

Thread

Prev Next

In This Thread

Prev Next

[#950] ruby 1.1b0 released — matz@... (Yukihiro Matsumoto)

[#958] Strange Content-type header on ruby mailing lists — "YOSHIFUJI,Hideaki" <yoshfuji@...>

[#978] No subject given — toguchi_takanori@...

[#981] help — toguchi_takanori@...

[#982] No subject given — toguchi_takanori@...

[#983] Re: [ruby-list:5600] Re: tcltklib error (Re: wave viewer) — Takahiro Maebashi <maebashi@...>

[#985] Re: tcltklib error (Re: wave viewer) — akira yamada / やまだあきら <akira@...>

[#989] FreeLibrary — WATANABE Hirofumi <watanabe@...>

[#992] rbc.rb with ruby 1.1b0 — Masaki Suketa <masaki.suketa@...>

[#998] ruby 1.1b1 released — matz@... (Yukihiro Matsumoto)

[#1002] Object#bind — shugo@... (Shugo Maeda)

[#1018] [1.1b1] unnecessary backslash quote in tk.rb — Kikutani Makoto <kikutani@...>

[#1021] [1.1b1] tkdialog.rb — Kikutani Makoto <kikutani@...>

[#1052] [1.1b1] TkRadiobutton select — Kikutani Makoto <kikutani@...>

[#1057] Re: [ruby-list:5642] Re: bug in String#scan ?? — shugo@... (Shugo Maeda)

[#1060] Re: Postgres module — matz@... (Yukihiro Matsumoto)

[#1071] 1.0.971209 — KIMURA Koichi <kkimura@...>

[#1080] ruby1.1b0(cygwin32) — Masaki Suketa <masaki.suketa@...>

[#1081] Re: [ruby-list:5634] Platform Identification (was Re: ruby 1.0-971204 released) — Kazuhisa Yanagawa <katze@...>

[#1085] [Req] object refference — keiju@... (Keiju ISHITSUKA)

[#1105] String#include? — shugo@... (Shugo Maeda)

[#1110] Re: Regexp#operators (Re: ruby 1.1b1 released) — Shin-ichiro Hara <sinara@...>

[#1123] [BUG] mershal — keiju@... (Keiju ISHITSUKA)

[#1146] extconf.rb for socket — KIMURA Koichi <kkimura@...>

[#1148] RE: extconf.rb for socket — 助田 雅紀 <masaki.suketa@...>

[#1159] mswin32 patch for ruby-1.1b2 — KIMURA Koichi <kkimura@...>

[#1161] bug in missing/nt.c — KIMURA Koichi <kkimura@...>

[#1167] visibility (Re: ruby 1.1b2 released) — matz@... (Yukihiro Matsumoto)

[#1173] socket on ruby1.1b3 (mswin32) — 助田 雅紀 <masaki.suketa@...>

[#1175] Re: socket on ruby1.1b3 (mswin32) — 助田 雅紀 <masaki.suketa@...>

[#1177] Re: socket on ruby1.1b3 (mswin32) — Masaki Suketa <masaki.suketa@...>

[#1179] Re: socket on ruby1.1b3 (mswin32) — 助田 雅紀 <masaki.suketa@...>

[ruby-dev:1002] Object#bind

Attachments (1)

Thread

In This Thread

[#1148] RE: extconf.rb for socket — 助田　雅紀 <masaki.suketa@...>

[#1173] socket on ruby1.1b3 (mswin32) — 助田　雅紀 <masaki.suketa@...>

[#1175] Re: socket on ruby1.1b3 (mswin32) — 助田　雅紀 <masaki.suketa@...>

[#1179] Re: socket on ruby1.1b3 (mswin32) — 助田　雅紀 <masaki.suketa@...>