[ruby-dev:39761] Re: [Bug #2395] 可視性の変更による alias されたメソッドの無効化

遠藤です。

2009年11月24日11:29 _ wanabe <[e-mail]>:
> alias された元のメソッドを undef するとき、alias の前に可視性を変更する処理があると
> また元に戻しても alias 先のメソッドが呼べなくなります。
> rb_export_method() 中の rb_add_method() による現象のようです。


奇遇なことに、同じタイミングでほぼ同じ問題に悩んでいました。

  $ ruby19 -e 'public :eval; alias foo eval; foo "p 1"'
  -e:1:in `<main>': undefined method `foo' for main:Object (NoMethodError)


wanabe さんの提起している問題は 2 つに分けられると思います。

1) bar が foo の alias で、foo が ZSUPER だった際、foo ではなく bar を
   探してしまう (1.9 だけ、私が悩んでいたのはこっち)

  class C
    private
    def foo; "FOO"; end
    def bar; "BAR"; end
  end
  class D < C
    public :foo
    alias bar foo
  end
  p D.new.public_send(:bar)  #=> "BAR"
  # send だと最適化で正しく動いてしまう、public_send だと発症する

2) 同じクラスで alias を作ったらメソッド実体の実体がコピーされるのに
   継承先で alias を作ったら実体はコピーされない (1.8 も 1.9 も)

  class C
    private
    def foo; "foo"; end
    alias bar foo
    public :bar
  end
  class D < C
    public :foo
    alias baz foo
  end
  class C
    undef foo
  end
  p D.new.bar #=> "foo"
  p D.new.baz #=> NoMethodError


1) は 1.9 のバグだと思います。パッチをつけます (ただしまだテスト
してません) 。2) は仕様かどうか聞かないとわかりません。

Index: vm_eval.c
===================================================================
--- vm_eval.c	(revision 25898)
+++ vm_eval.c	(working copy)
@@ -105,6 +105,7 @@
       }
       case VM_METHOD_TYPE_ZSUPER: {
 	klass = RCLASS_SUPER(klass);
+	id = me->def->original_id;
 	if (!klass || !(me = rb_method_entry(klass, id))) {
 	    return method_missing(recv, id, argc, argv, NOEX_SUPER);
 	}
Index: vm_insnhelper.c
===================================================================
--- vm_insnhelper.c	(revision 25898)
+++ vm_insnhelper.c	(working copy)
@@ -548,6 +548,7 @@
 	      }
 	      case VM_METHOD_TYPE_ZSUPER:{
 		VALUE klass = RCLASS_SUPER(me->klass);
+		id = me->def->original_id;
 		me = rb_method_entry(klass, id);

 		if (me != 0) {

-- 
Yusuke ENDOH <[e-mail]>